|
2018-01-18 23:34:00 UTC |
Obsolete |
Ubuntu Vivid amd64
|
release |
universe |
editors |
Optional |
|
4.3~pre131011-0.2
|
-
Removal requested
.
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
|
Deleted |
Ubuntu Vivid amd64
|
proposed |
universe |
editors |
Optional |
|
4.3~pre131011-0.2
|
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2014-11-17 00:08:56 UTC |
Superseded |
Ubuntu Vivid amd64
|
release |
universe |
editors |
Optional |
|
4.3~pre131011-0.1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of proofgeneral 4.3~pre131011-0.2 in ubuntu vivid PROPOSED
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2014-11-18 00:10:10 UTC |
Deleted |
Ubuntu Vivid amd64
|
proposed |
universe |
editors |
Optional |
|
4.3~pre131011-0.1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2014-10-26 08:58:01 UTC |
Superseded |
Ubuntu Vivid amd64
|
release |
universe |
editors |
Optional |
|
4.3~pre130510-1.1
|
-
Removal requested
.
-
Superseded
by amd64 build of proofgeneral 4.3~pre131011-0.1 in ubuntu vivid PROPOSED
-
Published
-
Copied from
ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
|