Package: libahven-dev Version: 1.6-2 Severity: normal The development package libahven-dev requires gnat-4.3; it is useless without it and will not work with any other version of gnat-x.y because of Ada's consistency rules. gnat implements these rules by means of the checksums in the .ali files shipped in libahven-dev, which depend on those in gnat-4.3.
The package should therefore encode this dependency in its control file. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org