Processed: adding fixes, package still doesn't build
Debian Bug Tracking System
owner at bugs.debian.org
Thu Jan 25 13:09:05 GMT 2024
Processing control commands:
> tags -1 + patch
Bug #1054688 [src:gringo] gringo: FTBFS: main.cc:2:10: fatal error: catch2/catch.hpp: No such file or directory
Added tag(s) patch.
--
1054688: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1054688
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the debian-science-maintainers
mailing list