Package: debci Hello,
ci.debian.net has never succeeded in running the testsuite of the minisat+ package. In the summary table for that package, the version is only displayed as n/a. Furthermore, the test log says : adt-run [05:21:43]: @@@@@@@@@@@@@@@@@@@@ apt-source minisat+ E: Version '1:2.2.1-5+b1' for 'minisat+' was not found E: No packages found blame: minisat+ However, 1:2.2.1-5+b1 is not the version of the "minisat+" package in sid - it rather is the version of the package "minisat2" in sid ! I suppose that debci gets confused by the "+ in the package name. Cheers -Ralf.
