|
2013-05-24 22:27:36 UTC |
Superseded |
Sid
|
release |
main |
math |
6.1-2
|
-
Superseded
by acl2 - 6.1-3
-
Published
|
|
2013-08-30 04:23:20 UTC |
Superseded |
Sid
|
release |
main |
math |
6.1-1
|
-
Superseded
by acl2 - 6.2-6
-
Published
|
|
2013-09-11 04:29:25 UTC |
Superseded |
Jessie
|
release |
main |
math |
6.0-2
|
-
Superseded
by acl2 - 6.2-7
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2014-05-03 10:31:30 UTC |
Superseded |
Sid
|
release |
main |
math |
6.0-2
|
-
Superseded
by acl2 - 6.3-6
-
Published
|
|
2013-01-15 16:27:00 UTC |
Superseded |
Sid
|
release |
main |
math |
6.0-1
|
-
Superseded
by acl2 - 6.0-2
-
Published
|
|
2013-01-15 16:27:00 UTC |
Superseded |
Sid
|
release |
main |
math |
5.0-1
|
-
Superseded
by acl2 - 6.0-2
-
Published
|
|
2012-05-05 09:26:47 UTC |
Published |
Wheezy
|
release |
main |
math |
4.3-3
|
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2012-08-30 04:24:24 UTC |
Superseded |
Sid
|
release |
main |
math |
4.3-3
|
-
Superseded
by acl2 - 5.0-1
-
Published
|
|
2012-05-05 09:36:42 UTC |
Superseded |
Wheezy
|
release |
main |
math |
4.3-2
|
-
Superseded
by acl2 - 4.3-3
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2012-08-26 04:42:05 UTC |
Superseded |
Sid
|
release |
main |
math |
4.3-2
|
-
Superseded
by acl2 - 4.3-3
-
Published
|
|
2012-01-24 03:31:19 UTC |
Superseded |
Sid
|
release |
main |
math |
4.3-1
|
-
Superseded
by acl2 - 4.3-2
-
Published
|
|
2012-02-01 21:37:19 UTC |
Superseded |
Wheezy
|
release |
main |
math |
4.2-1
|
-
Superseded
by acl2 - 4.3-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2012-02-01 09:33:14 UTC |
Superseded |
Sid
|
release |
main |
math |
4.2-1
|
-
Superseded
by acl2 - 4.3-2
-
Published
|
|
2011-09-21 08:09:15 UTC |
Superseded |
Wheezy
|
release |
main |
math |
4.1-5
|
-
Superseded
by acl2 - 4.2-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
4.1-5
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
4.1-4
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
4.1-3
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
4.1-2
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
4.1-1
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2010-07-24 14:09:46 UTC |
Published |
Squeeze
|
release |
main |
math |
4.0-3
|
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
4.0-3
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
4.0-2
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
4.0-1
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-13 09:25:23 UTC |
Superseded |
Squeeze
|
release |
main |
math |
3.6.1-2
|
-
Superseded
by acl2 - 4.0-3
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
3.6.1-2
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
3.6.1-1
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-13 09:25:23 UTC |
Superseded |
Squeeze
|
release |
main |
math |
3.6-4
|
-
Superseded
by acl2 - 4.0-3
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
3.6-4
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
3.6-3
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
3.6-2
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
3.6-1
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-13 09:25:23 UTC |
Superseded |
Squeeze
|
release |
main |
math |
3.4-2
|
-
Superseded
by acl2 - 4.0-3
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
3.4-2
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
2011-09-20 16:30:42 UTC |
Superseded |
Sid
|
release |
main |
math |
3.4-1
|
-
Superseded
by acl2 - 4.2-1
-
Published
|
|
|
Deleted |
Lenny
|
release |
main |
math |
3.1-1
|
-
Deleted
by
-
Published
|