|
2019-07-28 00:10:10 UTC |
Deleted |
Ubuntu Disco amd64
|
proposed |
universe |
math |
Optional |
|
8.9.0-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Adam Conrad
-
Published
|
|
2019-02-07 08:09:15 UTC |
Superseded |
Ubuntu Disco amd64
|
proposed |
universe |
math |
Optional |
|
8.8.2-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of coq 8.9.0-1 in ubuntu disco PROPOSED
-
Published
|
|
2020-07-14 06:39:25 UTC |
Obsolete |
Ubuntu Disco amd64
|
release |
universe |
math |
Optional |
|
8.6-5build1
|
-
Removal requested
.
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|