Register
|
Log in
News for package
eprover
[
2024-10-24
]
eprover 3.2.5+ds-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-10-18
]
Accepted eprover 3.2.5+ds-1 (source) into unstable
(
Julien Puydt
)
[
2024-06-22
]
eprover 3.2.0+ds-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-06-17
]
Accepted eprover 3.2.0+ds-1 (source) into unstable
(
Julien Puydt
)
[
2024-06-16
]
eprover 3.1.0+ds-2 MIGRATED to testing
(
Debian testing watch
)
[
2024-06-11
]
Accepted eprover 3.1.0+ds-2 (source) into unstable
(
Julien Puydt
)
[
2024-05-08
]
eprover 3.1.0+ds-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-05-02
]
Accepted eprover 3.1.0+ds-1 (source) into unstable
(
Julien Puydt
)
[
2023-12-18
]
eprover 3.0.03+ds-1 MIGRATED to testing
(
Debian testing watch
)
[
2023-12-12
]
Accepted eprover 3.0.03+ds-1 (source) into unstable
(
Julien Puydt
)
[
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
)
