|
2020-12-29 14:18:15 UTC |
Obsolete |
Ubuntu Eoan i386
|
release |
universe |
libdevel |
Optional |
|
8.9.1-1
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
ubuntu eoan-proposed i386 in Primary Archive for Ubuntu
|
|
2020-12-29 18:10:09 UTC |
Deleted |
Ubuntu Eoan i386
|
proposed |
universe |
libdevel |
Optional |
|
8.9.1-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2019-08-20 11:43:24 UTC |
Superseded |
Ubuntu Eoan i386
|
proposed |
universe |
libdevel |
Optional |
|
8.9.0-1build2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by i386 build of coq 8.9.1-1 in ubuntu eoan PROPOSED
-
Published
|
|
2019-09-02 20:58:57 UTC |
Superseded |
Ubuntu Eoan i386
|
release |
universe |
libdevel |
Optional |
|
8.9.0-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by i386 build of coq 8.9.1-1 in ubuntu eoan PROPOSED
-
Published
-
Copied from
ubuntu eoan-proposed i386 in Primary Archive for Ubuntu
|
|
2019-09-04 00:10:09 UTC |
Deleted |
Ubuntu Eoan i386
|
proposed |
universe |
libdevel |
Optional |
|
8.9.0-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2019-07-26 21:13:20 UTC |
Superseded |
Ubuntu Eoan i386
|
proposed |
universe |
libdevel |
Optional |
|
8.9.0-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by i386 build of coq 8.9.0-1build1 in ubuntu eoan PROPOSED
-
Published
-
Copied from
ubuntu disco-proposed i386 in Primary Archive for Ubuntu
|
|
2019-07-29 22:48:41 UTC |
Superseded |
Ubuntu Eoan i386
|
release |
universe |
libdevel |
Optional |
|
8.6-5build1
|
-
Removal requested
.
-
Superseded
by i386 build of coq 8.9.0-1build1 in ubuntu eoan PROPOSED
-
Published
-
Copied from
ubuntu bionic-proposed i386 in Primary Archive for Ubuntu
|