|
2018-01-18 23:34:00 UTC |
Obsolete |
Ubuntu Vivid arm64
|
release |
universe |
math |
Optional |
|
7.0-1
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2018-01-19 06:10:09 UTC |
Deleted |
Ubuntu Vivid arm64
|
proposed |
universe |
math |
Optional |
|
7.0-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2015-01-28 03:59:11 UTC |
Superseded |
Ubuntu Vivid arm64
|
release |
universe |
math |
Optional |
|
6.5-5
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of acl2 7.0-1 in ubuntu vivid PROPOSED
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2015-01-29 06:10:11 UTC |
Deleted |
Ubuntu Vivid arm64
|
proposed |
universe |
math |
Optional |
|
6.5-5
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2014-10-28 05:48:29 UTC |
Superseded |
Ubuntu Vivid arm64
|
proposed |
universe |
math |
Optional |
|
6.5-4
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of acl2 6.5-5 in ubuntu vivid PROPOSED
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2014-12-11 00:15:07 UTC |
Superseded |
Ubuntu Vivid arm64
|
proposed |
universe |
math |
Optional |
|
6.5-3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of acl2 6.5-5 in ubuntu vivid PROPOSED
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2014-12-11 01:25:33 UTC |
Superseded |
Ubuntu Vivid arm64
|
release |
universe |
math |
Optional |
|
6.5-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of acl2 6.5-5 in ubuntu vivid PROPOSED
-
Published
-
Copied from
ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
|
|
2014-12-12 06:10:10 UTC |
Deleted |
Ubuntu Vivid arm64
|
proposed |
universe |
math |
Optional |
|
6.5-2
|
-
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 10:07:15 UTC |
Superseded |
Ubuntu Vivid arm64
|
release |
universe |
math |
Optional |
|
6.4-4
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of acl2 6.5-2 in ubuntu vivid PROPOSED
-
Published
-
Copied from
ubuntu utopic-proposed i386 in Primary Archive for Ubuntu
|