Index of /livecdroom/source/wattos/universe/a/acl2
Name
Last modified
Size
Description
Parent Directory
-
acl2_3.3-1ubuntu1.diff.gz
2012-01-27 08:18
13K
acl2_3.3-1ubuntu1.dsc
2012-01-27 08:18
1.0K
acl2_3.3.orig.tar.gz
2012-01-27 08:18
7.0M
acl2_3.6-4.diff.gz
2012-01-27 08:18
15K
acl2_3.6-4.dsc
2012-01-27 08:18
1.1K
acl2_3.6.orig.tar.gz
2012-01-27 08:18
10M
acl2_4.0-3.diff.gz
2012-01-27 08:18
16K
acl2_4.0-3.dsc
2012-01-27 08:18
1.1K
acl2_4.0.orig.tar.gz
2012-01-27 08:18
11M
acl2_4.1-5.debian.tar.gz
2012-01-27 08:18
17K
acl2_4.1-5.dsc
2012-01-27 08:18
1.2K
acl2_4.1.orig.tar.gz
2012-01-27 08:18
11M
acl2_4.2-1.debian.tar.gz
2012-01-27 08:18
17K
acl2_4.2-1.dsc
2012-01-27 08:18
1.2K
acl2_4.2.orig.tar.gz
2012-01-27 08:18
11M
acl2_4.3-3.debian.tar.gz
2013-05-18 15:49
18K
acl2_4.3-3.dsc
2013-05-18 15:49
1.5K
acl2_4.3.orig.tar.gz
2013-05-18 15:49
15M
acl2_6.0-2.debian.tar.gz
2013-05-18 15:48
155K
acl2_6.0-2.dsc
2013-05-18 15:48
1.7K
acl2_6.0.orig-books.tar.gz
2013-05-18 15:49
10M
acl2_6.0.orig.tar.gz
2013-05-18 15:48
6.5M
acl2_6.1-1.debian.tar.gz
2013-05-18 15:48
156K
acl2_6.1-1.dsc
2013-05-18 15:48
1.7K
acl2_6.1.orig-books.tar.gz
2013-05-18 15:48
11M
acl2_6.1.orig.tar.gz
2013-05-18 15:48
6.5M
acl2_6.3-5.debian.tar.gz
2015-07-21 10:30
158K
acl2_6.3-5.dsc
2017-08-05 19:26
1.7K
acl2_6.3.orig-books.tar.gz
2015-07-21 10:30
13M
acl2_6.3.orig.tar.gz
2015-07-21 10:29
6.7M
acl2_6.4-4.debian.tar.xz
2015-07-21 10:29
124K
acl2_6.4.orig-books.tar.gz
2015-07-21 10:29
14M
acl2_6.4.orig.tar.gz
2015-07-21 10:28
5.8M
acl2_7.0-1.debian.tar.xz
2015-07-21 10:28
126K
acl2_7.0-1.dsc
2017-08-05 19:26
2.2K
acl2_7.0.orig.tar.gz
2015-07-21 10:28
56M
acl2_7.1-1.debian.tar.xz
2015-07-21 10:26
126K
acl2_7.1-1.dsc
2017-08-05 19:26
2.2K
acl2_7.1.orig.tar.gz
2015-07-21 10:26
60M
acl2_7.2dfsg-2.debian.tar.xz
2017-08-05 19:26
199K
acl2_7.2dfsg-2.dsc
2017-08-05 19:26
2.2K
acl2_7.2dfsg.orig.tar.gz
2017-08-05 19:26
61M
acl2_7.4dfsg-3.debian.tar.xz
2017-08-05 19:26
200K
acl2_7.4dfsg-3.dsc
2017-08-05 19:25
2.2K
acl2_7.4dfsg.orig.tar.gz
2017-08-05 19:26
62M
acl2_8.0dfsg-1.debian.tar.xz
2018-05-30 14:41
200K
acl2_8.0dfsg-1.dsc
2018-05-30 14:41
2.2K
acl2_8.0dfsg.orig.tar.gz
2018-05-30 14:42
74M
acl2_8.1dfsg-3.debian.tar.xz
2020-05-27 09:01
200K
acl2_8.1dfsg-3.dsc
2020-05-27 09:01
2.2K
acl2_8.1dfsg.orig.tar.gz
2020-05-27 09:01
75M
acl2_8.2dfsg-3build1.debian.tar.xz
2020-05-27 08:59
201K
acl2_8.2dfsg-3build1.dsc
2020-05-27 08:59
2.2K
acl2_8.2dfsg.orig.tar.gz
2020-05-27 08:59
77M
acl2_8.3dfsg-2.debian.tar.xz
2022-05-10 00:58
223K
acl2_8.3dfsg-2.dsc
2022-05-10 00:58
2.2K
acl2_8.3dfsg.orig.tar.gz
2022-05-10 00:58
112M
acl2_8.4dfsg-2.debian.tar.xz
2022-05-10 00:54
304K
acl2_8.4dfsg-2.dsc
2022-05-10 00:54
2.2K
acl2_8.4dfsg.orig.tar.gz
2022-05-10 00:54
194M
acl2_8.5dfsg-5.debian.tar.xz
2024-05-15 23:41
306K
acl2_8.5dfsg-5.dsc
2024-05-15 23:41
2.2K
acl2_8.5dfsg-5build3.debian.tar.xz
2024-05-15 23:41
306K
acl2_8.5dfsg-5build3.dsc
2024-05-15 23:41
2.3K
acl2_8.5dfsg.orig.tar.gz
2024-05-15 23:41
213M
Apache/2.4.56 (Debian) Server at simosnet.com Port 80