|
2022-03-02 17:45:17 UTC |
Published |
Ubuntu Jammy ppc64el
|
release |
universe |
math |
Optional |
|
8.15.0+dfsg-2
|
-
Published
-
Copied from
ubuntu jammy-proposed ppc64el in Primary Archive for Ubuntu
|
|
|
Deleted |
Ubuntu Jammy ppc64el
|
proposed |
universe |
math |
Optional |
|
8.15.0+dfsg-2
|
|
|
2022-02-05 23:54:00 UTC |
Superseded |
Ubuntu Jammy ppc64el
|
proposed |
universe |
math |
Optional |
|
8.15.0+dfsg-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq 8.15.0+dfsg-2 in ubuntu jammy PROPOSED
-
Published
|
|
2022-01-25 15:34:37 UTC |
Superseded |
Ubuntu Jammy ppc64el
|
proposed |
universe |
math |
Optional |
|
8.15.0+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq 8.15.0+dfsg-1build1 in ubuntu jammy PROPOSED
-
Published
|
|
2022-01-17 23:54:46 UTC |
Superseded |
Ubuntu Jammy ppc64el
|
proposed |
universe |
math |
Optional |
|
8.14.1+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq 8.15.0+dfsg-1 in ubuntu jammy PROPOSED
-
Published
|
|
2022-03-02 18:00:59 UTC |
Superseded |
Ubuntu Jammy ppc64el
|
release |
universe |
math |
Optional |
|
8.14.1+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq 8.15.0+dfsg-2 in ubuntu jammy PROPOSED
-
Published
-
Copied from
ubuntu jammy-proposed ppc64el in Primary Archive for Ubuntu
|
|
2022-03-03 18:10:09 UTC |
Deleted |
Ubuntu Jammy ppc64el
|
proposed |
universe |
math |
Optional |
|
8.14.1+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2021-12-11 17:39:57 UTC |
Superseded |
Ubuntu Jammy ppc64el
|
proposed |
universe |
math |
Optional |
|
8.14.0+dfsg-6
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq 8.14.1+dfsg-1 in ubuntu jammy PROPOSED
-
Published
|
|
2021-11-16 11:50:22 UTC |
Superseded |
Ubuntu Jammy ppc64el
|
proposed |
universe |
math |
Optional |
|
8.14.0+dfsg-4
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq 8.14.0+dfsg-6 in ubuntu jammy PROPOSED
-
Published
|
|
2021-11-15 12:09:32 UTC |
Superseded |
Ubuntu Jammy ppc64el
|
proposed |
universe |
math |
Optional |
|
8.14.0+dfsg-3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq 8.14.0+dfsg-4 in ubuntu jammy PROPOSED
-
Published
|
|
2021-12-15 03:29:45 UTC |
Superseded |
Ubuntu Jammy ppc64el
|
release |
universe |
math |
Optional |
|
8.12.0-3build3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by ppc64el build of coq 8.14.1+dfsg-1 in ubuntu jammy PROPOSED
-
Published
-
Copied from
ubuntu hirsute-proposed ppc64el in Primary Archive for Ubuntu
|