|
2023-12-23 14:14:37 UTC |
Published |
Ubuntu Noble amd64
|
release |
universe |
math |
Optional |
|
3.0.03+ds-1
|
-
Published
-
Copied from
ubuntu noble-proposed amd64 in Primary Archive for Ubuntu
|
|
|
Deleted |
Ubuntu Noble amd64
|
proposed |
universe |
math |
Optional |
|
3.0.03+ds-1
|
|
|
2023-12-23 14:17:05 UTC |
Superseded |
Ubuntu Noble amd64
|
release |
universe |
math |
Optional |
|
2.6+ds-3
|
-
Removal requested
.
-
Superseded
by amd64 build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
-
Published
-
Copied from
ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
|