general
- source
- coq-float (source, libdevel)
- version
- 1:8.3pl1-3
- maint
- Debian OCaml Maintainers, Samuel Mimram (u), Stéphane Glondu (u)
- 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).
news RSS
- [2012-04-09] coq-float 1:8.3pl1-3 MIGRATED to testing (Britney)
- [2012-03-30] Accepted 1:8.3pl1-3 in unstable (low) (Stéphane Glondu)
- [2012-03-17] coq-float 1:8.3pl1-2 MIGRATED to testing (Britney)
- [2012-03-06] Accepted 1:8.3pl1-2 in unstable (low) (Stéphane Glondu)
- [2012-01-20] coq-float 1:8.3pl1-1 MIGRATED to testing (Britney)
- [2012-01-09] Accepted 1:8.3pl1-1 in unstable (low) (Stéphane Glondu)
- [2012-01-07] coq-float 1:8.2-1.2-9 MIGRATED to testing (Britney)
- [2011-12-25] Accepted 1:8.2-1.2-9 in unstable (low) (Stéphane Glondu)
- [2011-11-09] coq-float 1:8.2-1.2-8 MIGRATED to testing (Britney)
- [2011-11-03] Accepted 1:8.2-1.2-8 in unstable (low) (Stéphane Glondu)
- [2011-04-30] coq-float 1:8.2-1.2-7 MIGRATED to testing (Britney)
- [2011-04-20] Accepted 1:8.2-1.2-7 in unstable (low) (Stéphane Glondu)
- [2011-03-21] coq-float 1:8.2-1.2-6 MIGRATED to testing (Britney)
- [2011-03-10] Accepted 1:8.2-1.2-6 in unstable (low) (Stéphane Glondu)
- [2010-08-01] coq-float 1:8.2-1.2-5 MIGRATED to testing (Britney)
- [2010-07-03] Accepted 1:8.2-1.2-5 in unstable (low) (Stéphane Glondu)
- [2010-02-25] coq-float 1:8.2-1.2-4 MIGRATED to testing (Britney)
- [2010-02-10] Accepted 1:8.2-1.2-4 in unstable (low) (Stéphane Glondu)
- [2009-08-04] coq-float 1:8.2-1.2-3 MIGRATED to testing (Britney)
- [2009-08-03] coq-float 1:8.2-1.2-3 MIGRATED to testing (Britney)
- [2009-07-04] Accepted 1:8.2-1.2-3 in unstable (low) (Stephane Glondu)
- [2009-07-01] Accepted 1:8.2-1.2-2 in unstable (low) (Stephane Glondu)
- [2009-04-06] coq-float 1:8.2-1.2-1 MIGRATED to testing (Britney)
- [2009-03-13] Accepted 1:8.2-1.2-1 in unstable (low) (Stephane Glondu)
- [2008-01-30] coq-float 1:8.1-1.0-4 MIGRATED to testing (Britney)
- [2008-01-19] Accepted 1:8.1-1.0-4 in unstable (low) (Samuel Mimram)
- [2007-11-29] coq-float 1:8.1-1.0-3 MIGRATED to testing (Britney)
- [2007-11-18] Accepted 1:8.1-1.0-3 in unstable (low) (Samuel Mimram)
- [2007-09-20] coq-float 1:8.1-1.0-2 MIGRATED to testing (Britney)
- [2007-09-10] coq-float 1:8.1-1.0-1 MIGRATED to testing (Britney)
|
|
Debian
Package Tracking System - Copyright ©
2002-2009 Raphaël Hertzog, Stefano Zacchiroli and
others. |
|