eprover - Debian Package Tracker

general

versioned links

2.6+ds-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

action needed

A new upstream version is available: 3.0pre008 high

A new upstream version 3.0pre008 is available, you should consider packaging it.

Created: 2022-07-12 Last update: 2023-03-26 01:01

debian/patches: 4 patches with invalid metadata high

Among the 4 debian patches available in version 2.6+ds-3 of the package, we noticed the following issues:

Created: 2023-02-26 Last update: 2023-02-27 20:59

lintian reports 24 warnings normal

Lintian reports 24 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2022-07-30 Last update: 2022-07-30 12:12

Build log checks report 1 warning low

Build log checks report 1 warning

Created: 2022-07-12 Last update: 2022-07-12 04:07

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 4.6.1).

Created: 2022-12-17 Last update: 2022-12-17 19:17

[2022-07-20] eprover 2.6+ds-3 MIGRATED to testing (Debian testing watch)
[2022-07-20] eprover 2.6+ds-3 MIGRATED to testing (Debian testing watch)
[2022-07-20] eprover 2.6+ds-3 MIGRATED to testing (Debian testing watch)
[2022-07-13] Accepted eprover 2.6+ds-3 (source) into unstable (Julien Puydt)
[2022-07-11] Accepted eprover 2.6+ds-2 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)
[2011-12-15] Bug#651971: Removed package(s) from unstable (Debian FTP Masters)
[2009-03-29] Accepted eprover 1.0.004-1 (source all i386) (Petr Pudlak)

bugs [bug history graph]

links

ubuntu