|
2023-07-31 08:38:31 UTC |
Published |
Ubuntu Mantic ppc64el
|
release |
universe |
ocaml |
Optional |
|
2.0-2build1
|
-
Published
-
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
|
|
|
Deleted |
Ubuntu Mantic ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
2.0-2build1
|
|
|
2023-07-31 08:41:13 UTC |
Superseded |
Ubuntu Mantic ppc64el
|
release |
universe |
ocaml |
Optional |
|
2.0-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
-
Published
-
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
|
|
2023-08-01 12:10:09 UTC |
Deleted |
Ubuntu Mantic ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
2.0-2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2023-07-13 08:30:48 UTC |
Superseded |
Ubuntu Mantic ppc64el
|
release |
universe |
ocaml |
Optional |
|
2.0-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
-
Published
-
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
|
|
2023-07-14 12:10:11 UTC |
Deleted |
Ubuntu Mantic ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
2.0-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2023-06-25 17:24:49 UTC |
Superseded |
Ubuntu Mantic ppc64el
|
release |
universe |
ocaml |
Optional |
|
1.6.4-3build3
|
-
Removal requested
.
-
Superseded
by ppc64el build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
-
Published
-
Copied from
ubuntu lunar-proposed ppc64el in Primary Archive for Ubuntu
|