|
2015-04-24 11:19:49 UTC |
Obsolete |
Ubuntu Quantal i386
|
release |
universe |
math |
Optional |
|
8.3.pl4+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Published
|
|
2012-06-08 18:04:51 UTC |
Superseded |
Ubuntu Quantal i386
|
release |
universe |
math |
Optional |
|
8.3.pl4+dfsg-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by i386 build of coq 8.3.pl4+dfsg-2 in ubuntu quantal RELEASE
-
Published
|
|
2012-05-16 03:04:12 UTC |
Superseded |
Ubuntu Quantal i386
|
release |
universe |
math |
Optional |
|
8.3.pl4+dfsg-1
|
-
Removal requested
.
-
Superseded
by i386 build of coq 8.3.pl4+dfsg-1build1 in ubuntu quantal RELEASE
-
Published
-
Copied from
ubuntu precise-release i386 in Primary Archive for Ubuntu
|