|
2019-07-29 22:48:41 UTC |
Superseded |
Eoan
|
release |
universe |
devel |
8.6-5build1
|
-
Removal requested
.
-
Superseded
by coq - 8.9.0-1build1
-
Published
-
Copied from
ubuntu bionic in
Primary Archive for Ubuntu
|
|
2020-07-14 06:39:25 UTC |
Obsolete |
Disco
|
release |
universe |
devel |
8.6-5build1
|
-
Removal requested
.
-
Published
-
Copied from
ubuntu bionic in
Primary Archive for Ubuntu
|
|
2020-07-13 02:35:12 UTC |
Obsolete |
Cosmic
|
release |
universe |
devel |
8.6-5build1
|
-
Removal requested
.
-
Published
-
Copied from
ubuntu bionic in
Primary Archive for Ubuntu
|
|
2017-11-05 02:23:46 UTC |
Published |
Bionic
|
release |
universe |
devel |
8.6-5build1
|
|
|
|
Deleted |
Bionic
|
proposed |
universe |
devel |
8.6-5build1
|
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|