Thanks for reporting. I found what I believe is a corresponding bug report in Debian, which contains some discussion on this header file. See the attached bug watch for more details.
Btw, when reporting bugs in the future please use apport by using 'ubuntu-bug' and the name of the package affected. This will automatically add debug information such as package version numbers. You can learn more about this functionality at https://wiki.ubuntu.com/ReportingBugs. ** Bug watch added: Debian Bug tracker #984946 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=984946 ** Also affects: pigpio (Debian) via https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=984946 Importance: Unknown Status: Unknown ** Tags added: packaging -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1951627 Title: libpigpiod-if-dev does not include pigpio.h To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/pigpio/+bug/1951627/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
