cvc4 is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Sat Jun 9 05:39:07 BST 2018

Previous message (by thread): Bug#901111: (no subject)
Next message (by thread): pytango 9.2.3-1 MIGRATED to testing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

cvc4 1.5-1 is marked for autoremoval from testing on 2018-07-15

It (build-)depends on packages with these RC bugs:
900601: libantlr3c: [src:libantlr3c] Non free file : unicode

Previous message (by thread): Bug#901111: (no subject)
Next message (by thread): pytango 9.2.3-1 MIGRATED to testing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the debian-science-maintainers mailing list