Package: minisat2 Version: 1:2.2.1-5 Severity: normal user: qa.debian....@packages.debian.org usertags: transitional
Please drop the transitional package minisat2 for buster, as it has been released with wheezy, jessie and stretch already. Thanks for maintaining minisat2! -- cheers, Holger
signature.asc
Description: PGP signature