general
- source
- ssreflect (source, math)
- version
- 1.3pl2-4
- maint
- Debian OCaml Maintainers, Stéphane Glondu (u)
- arch
- any all
- std-ver
- 3.9.2
- VCS
- Git (browse)
todo
- Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 3.9.3 instead of 3.9.2).
- A new upstream version is available: 1.3pl4, you should consider packaging it.
problems
- There were override disparities found in suite unstable:
- libssreflect-ocaml-dev: Override says ocaml - extra, .deb says ocaml - optional
- libssreflect-coq: Override says math - extra, .deb says math - optional
news RSS
- [2012-04-09] ssreflect 1.3pl2-4 MIGRATED to testing (Britney)
- [2012-04-01] Accepted 1.3pl2-4 in unstable (medium) (Stéphane Glondu)
- [2012-03-17] ssreflect 1.3pl2-3 MIGRATED to testing (Britney)
- [2012-03-06] Accepted 1.3pl2-3 in unstable (low) (Stéphane Glondu)
- [2012-01-07] ssreflect 1.3pl2-2 MIGRATED to testing (Britney)
- [2011-12-25] Accepted 1.3pl2-2 in unstable (low) (Stéphane Glondu)
- [2011-12-02] ssreflect 1.3pl2-1 MIGRATED to testing (Britney)
- [2011-11-22] Accepted 1.3pl2-1 in unstable (low) (Stéphane Glondu)
- [2011-11-09] ssreflect 1.3pl1-5 MIGRATED to testing (Britney)
- [2011-11-03] Accepted 1.3pl1-5 in unstable (low) (Stéphane Glondu)
- [2011-04-30] ssreflect 1.3pl1-4 MIGRATED to testing (Britney)
- [2011-04-24] Accepted 1.3pl1-4 in unstable (low) (Stéphane Glondu)
- [2011-04-21] Accepted 1.3pl1-3 in unstable (low) (Stéphane Glondu)
- [2011-04-21] Accepted 1.3pl1-2 in experimental (low) (Stéphane Glondu)
- [2011-03-31] Accepted 1.3pl1-1 in experimental (low) (Stéphane Glondu)
- [2011-03-15] ssreflect 1.2+dfsg-7 MIGRATED to testing (Britney)
- [2011-03-15] Accepted 1.3-1 in experimental (low) (Stéphane Glondu)
- [2011-02-22] Accepted 1.2+dfsg-7 in unstable (low) (Stéphane Glondu)
- [2010-08-01] ssreflect 1.2+dfsg-6 MIGRATED to testing (Britney)
- [2010-07-15] Accepted 1.2+dfsg-6 in unstable (low) (Stéphane Glondu)
- [2010-07-14] Accepted 1.2+dfsg-5 in unstable (low) (Stéphane Glondu)
- [2010-02-25] ssreflect 1.2+dfsg-4 MIGRATED to testing (Britney)
- [2010-02-11] Accepted 1.2+dfsg-4 in unstable (low) (Stéphane Glondu)
- [2010-01-06] ssreflect 1.2+dfsg-3 MIGRATED to testing (Britney)
- [2009-12-20] Accepted 1.2+dfsg-3 in unstable (low) (Stéphane Glondu)
- [2009-09-14] ssreflect 1.2+dfsg-2 MIGRATED to testing (Britney)
- [2009-09-02] Accepted 1.2+dfsg-2 in unstable (low) (Stéphane Glondu)
- [2009-08-31] Accepted 1.2+dfsg-1 in unstable (low) (Stéphane Glondu)
|
|
Debian
Package Tracking System - Copyright ©
2002-2009 Raphaël Hertzog, Stefano Zacchiroli and
others. |
|