|
2024-06-17 14:43:42 UTC |
Published |
Ubuntu Oracular amd64
|
release |
universe |
math |
Optional |
|
3.2.0+ds-1
|
-
Published
-
Copied from
ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
|
|
|
Deleted |
Ubuntu Oracular amd64
|
proposed |
universe |
math |
Optional |
|
3.2.0+ds-1
|
|
|
2024-06-17 14:44:51 UTC |
Superseded |
Ubuntu Oracular amd64
|
release |
universe |
math |
Optional |
|
3.1.0+ds-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of eprover 3.2.0+ds-1 in ubuntu oracular PROPOSED
-
Published
-
Copied from
ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
|
|
2024-06-18 18:10:17 UTC |
Deleted |
Ubuntu Oracular amd64
|
proposed |
universe |
math |
Optional |
|
3.1.0+ds-2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2024-06-11 20:18:50 UTC |
Superseded |
Ubuntu Oracular amd64
|
release |
universe |
math |
Optional |
|
3.1.0+ds-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of eprover 3.1.0+ds-2 in ubuntu oracular PROPOSED
-
Published
-
Copied from
ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
|
|
2024-06-13 00:10:18 UTC |
Deleted |
Ubuntu Oracular amd64
|
proposed |
universe |
math |
Optional |
|
3.1.0+ds-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2024-05-06 11:14:21 UTC |
Superseded |
Ubuntu Oracular amd64
|
release |
universe |
math |
Optional |
|
3.0.03+ds-1
|
-
Removal requested
.
-
Superseded
by amd64 build of eprover 3.1.0+ds-1 in ubuntu oracular PROPOSED
-
Published
-
Copied from
ubuntu noble-proposed amd64 in Primary Archive for Ubuntu
|