Dear Maintainers, Now, coq-iris is unbuildable by pbuilder in sid. This is due to an endless loop in aptitude. To reproduce, run the following commands in a clean sid chroot (pbuilder-satisfydepends-dummy.deb is attached): dpkg -i pbuilder-satisfydepends-dummy.deb aptitude -y -o "Aptitude::ProblemResolver::Hints::KeepDummy=reject pbuilder-satisfydepends-dummy :UNINST" install pbuilder-satisfydepends-dummy Cheers,
Le 18/06/2024 à 11:04, Stéphane Glondu a écrit : It's not even necessary to use a .deb. In a clean sid chroot: apt-get install -y devscripts aptitude install -y libtext-csv-xs-perl will trigger the endless loop. Cheers,