|
2023-07-31 08:38:31 UTC |
Published |
Ubuntu Mantic arm64
|
release |
universe |
ocaml |
Optional |
|
8.17.0+dfsg-1build1
|
-
Published
-
Copied from
ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu
|
|
|
Deleted |
Ubuntu Mantic arm64
|
proposed |
universe |
ocaml |
Optional |
|
8.17.0+dfsg-1build1
|
|
|
2023-07-31 08:41:13 UTC |
Superseded |
Ubuntu Mantic arm64
|
release |
universe |
ocaml |
Optional |
|
8.17.0+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by arm64 build of coq 8.17.0+dfsg-1build1 in ubuntu mantic PROPOSED
-
Published
-
Copied from
ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu
|
|
2023-08-01 12:10:09 UTC |
Deleted |
Ubuntu Mantic arm64
|
proposed |
universe |
ocaml |
Optional |
|
8.17.0+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2023-06-25 17:24:49 UTC |
Superseded |
Ubuntu Mantic arm64
|
release |
universe |
ocaml |
Optional |
|
8.16.1+dfsg-1build2
|
-
Removal requested
.
-
Superseded
by arm64 build of coq 8.17.0+dfsg-1 in ubuntu mantic PROPOSED
-
Published
-
Copied from
ubuntu lunar-proposed arm64 in Primary Archive for Ubuntu
|