|
2024-04-10 09:32:36 UTC |
Published |
Ubuntu Noble ppc64el
|
release |
universe |
ocaml |
Optional |
|
1.19.3-2build4
|
-
Published
-
Copied from
ubuntu noble-proposed ppc64el in Primary Archive for Ubuntu
|
|
|
Deleted |
Ubuntu Noble ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
1.19.3-2build4
|
|
|
2024-04-08 07:57:58 UTC |
Superseded |
Ubuntu Noble ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
1.19.3-2build3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
-
Published
|
|
2024-04-10 00:10:21 UTC |
Deleted |
Ubuntu Noble ppc64el
|
updates |
universe |
ocaml |
Optional |
|
1.19.3-2build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Steve Langasek
-
Published
-
Copied from
ubuntu noble-proposed ppc64el in Primary Archive for Ubuntu
|
|
2024-04-10 09:33:10 UTC |
Superseded |
Ubuntu Noble ppc64el
|
release |
universe |
ocaml |
Optional |
|
1.19.3-2build2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
-
Published
-
Copied from
ubuntu noble-proposed ppc64el in Primary Archive for Ubuntu
|
|
2024-04-11 12:10:19 UTC |
Deleted |
Ubuntu Noble ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
1.19.3-2build2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2024-03-29 03:56:46 UTC |
Superseded |
Ubuntu Noble ppc64el
|
release |
universe |
ocaml |
Optional |
|
1.19.3-2build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
-
Published
-
Copied from
ubuntu noble-proposed ppc64el in Primary Archive for Ubuntu
|
|
2024-04-10 00:10:21 UTC |
Deleted |
Ubuntu Noble ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
1.19.3-2build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2024-02-24 00:25:36 UTC |
Superseded |
Ubuntu Noble ppc64el
|
release |
universe |
ocaml |
Optional |
|
1.19.3-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
-
Published
-
Copied from
ubuntu noble-proposed ppc64el in Primary Archive for Ubuntu
|
|
2024-02-25 00:10:14 UTC |
Deleted |
Ubuntu Noble ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
1.19.3-2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2024-01-03 18:30:13 UTC |
Superseded |
Ubuntu Noble ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
1.19.3-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
-
Published
|
|
2024-01-30 03:30:24 UTC |
Superseded |
Ubuntu Noble ppc64el
|
release |
universe |
ocaml |
Optional |
|
1.17.1-1build10
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
-
Published
-
Copied from
ubuntu noble-proposed ppc64el in Primary Archive for Ubuntu
|
|
2024-01-31 06:10:17 UTC |
Deleted |
Ubuntu Noble ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
1.17.1-1build10
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2023-11-23 00:06:07 UTC |
Superseded |
Ubuntu Noble ppc64el
|
proposed |
universe |
ocaml |
Optional |
|
1.17.1-1build9
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
-
Published
|
|
2023-11-25 08:38:20 UTC |
Superseded |
Ubuntu Noble ppc64el
|
release |
universe |
ocaml |
Optional |
|
1.17.1-1build8
|
-
Removal requested
.
-
Superseded
by ppc64el build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
-
Published
-
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
|