|
2022-02-06 12:10:09 UTC |
Deleted |
Ubuntu Jammy amd64
|
proposed |
universe |
math |
Optional |
|
8.15.0+dfsg-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Matthias Klose
-
Published
|
|
2022-01-25 15:34:37 UTC |
Superseded |
Ubuntu Jammy amd64
|
proposed |
universe |
math |
Optional |
|
8.15.0+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of coq 8.15.0+dfsg-1build1 in ubuntu jammy PROPOSED
-
Published
|
|
2022-01-17 23:54:46 UTC |
Superseded |
Ubuntu Jammy amd64
|
proposed |
universe |
math |
Optional |
|
8.14.1+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of coq 8.15.0+dfsg-1 in ubuntu jammy PROPOSED
-
Published
|
|
2022-03-03 00:10:08 UTC |
Deleted |
Ubuntu Jammy amd64
|
release |
universe |
math |
Optional |
|
8.14.1+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Colin Watson
-
Published
-
Copied from
ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
|
|
2022-03-03 00:10:08 UTC |
Deleted |
Ubuntu Jammy amd64
|
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 amd64
|
proposed |
universe |
math |
Optional |
|
8.14.0+dfsg-6
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of coq 8.14.1+dfsg-1 in ubuntu jammy PROPOSED
-
Published
|
|
2021-11-16 11:50:22 UTC |
Superseded |
Ubuntu Jammy amd64
|
proposed |
universe |
math |
Optional |
|
8.14.0+dfsg-4
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of coq 8.14.0+dfsg-6 in ubuntu jammy PROPOSED
-
Published
|
|
2021-11-15 11:54:41 UTC |
Superseded |
Ubuntu Jammy amd64
|
proposed |
universe |
math |
Optional |
|
8.14.0+dfsg-3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of coq 8.14.0+dfsg-4 in ubuntu jammy PROPOSED
-
Published
|
|
2021-12-15 03:29:45 UTC |
Superseded |
Ubuntu Jammy amd64
|
release |
universe |
math |
Optional |
|
8.12.0-3build3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of coq 8.14.1+dfsg-1 in ubuntu jammy PROPOSED
-
Published
-
Copied from
ubuntu hirsute-proposed amd64 in Primary Archive for Ubuntu
|