|
2022-02-06 12:10:09 UTC |
Deleted |
Ubuntu Jammy arm64
|
proposed |
universe |
libdevel |
Optional |
|
8.15.0+dfsg-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Matthias Klose
-
Published
|
|
2022-01-25 16:19:22 UTC |
Superseded |
Ubuntu Jammy arm64
|
proposed |
universe |
libdevel |
Optional |
|
8.15.0+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by arm64 build of coq 8.15.0+dfsg-1build1 in ubuntu jammy PROPOSED
-
Published
|
|
2022-01-18 00:14:06 UTC |
Superseded |
Ubuntu Jammy arm64
|
proposed |
universe |
libdevel |
Optional |
|
8.14.1+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by arm64 build of coq 8.15.0+dfsg-1 in ubuntu jammy PROPOSED
-
Published
|
|
2022-03-07 18:10:09 UTC |
Deleted |
Ubuntu Jammy arm64
|
release |
universe |
libdevel |
Optional |
|
8.14.1+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Steve Langasek
-
Published
-
Copied from
ubuntu jammy-proposed arm64 in Primary Archive for Ubuntu
|
|
2022-03-07 18:10:09 UTC |
Deleted |
Ubuntu Jammy arm64
|
proposed |
universe |
libdevel |
Optional |
|
8.14.1+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2021-12-11 18:27:05 UTC |
Superseded |
Ubuntu Jammy arm64
|
proposed |
universe |
libdevel |
Optional |
|
8.14.0+dfsg-6
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by arm64 build of coq 8.14.1+dfsg-1 in ubuntu jammy PROPOSED
-
Published
|
|
2021-11-16 12:24:35 UTC |
Superseded |
Ubuntu Jammy arm64
|
proposed |
universe |
libdevel |
Optional |
|
8.14.0+dfsg-4
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by arm64 build of coq 8.14.0+dfsg-6 in ubuntu jammy PROPOSED
-
Published
|
|
2021-11-15 12:49:31 UTC |
Superseded |
Ubuntu Jammy arm64
|
proposed |
universe |
libdevel |
Optional |
|
8.14.0+dfsg-3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by arm64 build of coq 8.14.0+dfsg-4 in ubuntu jammy PROPOSED
-
Published
|
|
2021-12-15 03:29:45 UTC |
Superseded |
Ubuntu Jammy arm64
|
release |
universe |
libdevel |
Optional |
|
8.12.0-3build3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by arm64 build of coq 8.14.1+dfsg-1 in ubuntu jammy PROPOSED
-
Published
-
Copied from
ubuntu hirsute-proposed arm64 in Primary Archive for Ubuntu
|