|
2018-01-18 23:34:00 UTC |
Obsolete |
Ubuntu Vivid arm64
|
release |
multiverse |
doc |
Optional |
|
8.4pl4-1
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2018-01-22 06:10:09 UTC |
Deleted |
Ubuntu Vivid arm64
|
proposed |
multiverse |
doc |
Optional |
|
8.4pl4-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2014-10-25 05:14:54 UTC |
Superseded |
Ubuntu Vivid arm64
|
release |
multiverse |
doc |
Optional |
|
8.4pl2-1
|
-
Removal requested
.
-
Superseded
by amd64 build of coq-doc 8.4pl4-1 in ubuntu vivid PROPOSED
-
Published
-
Copied from
ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
|