general
- source
- eprover (optional, misc)
- version
- 3.1.0+ds-1
- maint
- Debian Math Team, Julien Puydt (u)
- std-ver
- 4.7.0
- VCS
- Git (browse)
todo
- Lintian reports 25 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 1 warning about this package.
news RSS
- [2024-05-08] eprover 3.1.0+ds-1 MIGRATED to testing (Britney)
- [2024-05-02] Accepted 3.1.0+ds-1 in unstable (medium) (Debian FTP Masters)
- [2023-12-18] eprover 3.0.03+ds-1 MIGRATED to testing (Britney)
- [2023-12-12] Accepted 3.0.03+ds-1 in unstable (medium) (Debian FTP Masters)
- [2022-07-20] eprover 2.6+ds-3 MIGRATED to testing (Britney)
- [2022-07-13] Accepted 2.6+ds-3 in unstable (medium) (Debian FTP Masters)
- [2022-07-11] Accepted 2.6+ds-2 in unstable (medium) (Debian FTP Masters)
- [2011-12-15] Removed 1.0.004-1 from unstable (Alexander Reichle-Schmehl)
- [2009-03-29] Accepted 1.0.004-1 in unstable (low) (Petr Pudlak)
links
- homepage
- changelog / copyright
- buildd: logs, checks, clang
- lintian (0, 25)
- popcon
- debtags
- screenshots
-
RDF meta-data
- browse source code