ubuntu/pool/universe/a/acl2 • Public Open Source Mirror

Home / ubuntu / pool / universe / a / acl2

File Name

Size

Date

..

—

—
acl2-books-certs_6.3-5_all.deb

11.10MB

2013-10-24 19:36:23

acl2-books-certs_7.1-1_all.deb

12.58MB

2015-06-27 16:48:34

acl2-books-certs_8.0dfsg-1_all.deb

70.00MB

2018-01-14 05:08:17

acl2-books-certs_8.2dfsg-3build1_all.deb

65.78MB

2020-03-23 15:24:07

acl2-books-certs_8.4dfsg-2_all.deb

221.09MB

2021-12-19 03:10:18

acl2-books-certs_8.5dfsg-5build3_all.deb

215.75MB

2024-04-02 11:03:00

acl2-books-certs_8.5dfsg-6_all.deb

78.65MB

2024-07-29 07:20:24

acl2-books-source_6.3-5_all.deb

9.13MB

2013-10-24 19:36:24

acl2-books-source_7.1-1_all.deb

9.85MB

2015-06-27 16:48:39

acl2-books-source_8.0dfsg-1_all.deb

11.89MB

2018-01-14 05:08:16

acl2-books-source_8.2dfsg-3build1_all.deb

13.63MB

2020-03-23 15:24:10

acl2-books-source_8.4dfsg-2_all.deb

21.11MB

2021-12-19 03:10:25

acl2-books-source_8.5dfsg-5build3_all.deb

22.70MB

2024-04-02 11:02:58

acl2-books-source_8.5dfsg-6_all.deb

22.71MB

2024-07-29 07:20:22

acl2-books_6.3-5_amd64.deb

40.12MB

2013-10-24 19:36:25

acl2-books_6.3-5_i386.deb

35.81MB

2013-10-24 19:36:44

acl2-books_7.1-1_amd64.deb

18.70MB

2015-06-27 16:48:35

acl2-books_7.1-1_i386.deb

17.74MB

2015-06-02 05:43:16

acl2-books_8.0dfsg-1_amd64.deb

131.69MB

2018-01-14 05:08:15

acl2-books_8.0dfsg-1_i386.deb

114.06MB

2018-01-14 06:49:27

acl2-books_8.2dfsg-3build1_amd64.deb

163.36MB

2020-03-23 15:24:09

acl2-books_8.4dfsg-2_amd64.deb

337.55MB

2021-12-19 03:09:59

acl2-books_8.5dfsg-5build3_amd64.deb

330.50MB

2024-04-02 11:03:05

acl2-books_8.5dfsg-6_amd64.deb

170.51MB

2024-07-29 07:20:26

acl2-doc_6.3-5_all.deb

12.14MB

2013-10-24 19:36:25

acl2-doc_7.1-1_all.deb

353.30KB

2015-06-27 16:48:36

acl2-doc_8.0dfsg-1_all.deb

385.12KB

2018-01-14 05:08:13

acl2-doc_8.2dfsg-3build1_all.deb

418.07KB

2020-03-23 15:24:10

acl2-doc_8.4dfsg-2_all.deb

441.07KB

2021-12-19 03:09:59

acl2-doc_8.5dfsg-5build3_all.deb

473.93KB

2024-04-02 11:02:57

acl2-doc_8.5dfsg-6_all.deb

473.80KB

2024-07-29 07:20:21

acl2-emacs_6.3-5_all.deb

54.98KB

2013-10-24 19:36:24

acl2-emacs_7.1-1_all.deb

55.20KB

2015-06-27 16:48:38

acl2-emacs_8.0dfsg-1_all.deb

58.93KB

2018-01-14 05:08:17

acl2-emacs_8.2dfsg-3build1_all.deb

59.10KB

2020-03-23 15:24:10

acl2-infix-source_6.3-5_all.deb

85.97KB

2013-10-24 19:36:24

acl2-infix-source_7.1-1_all.deb

70.33KB

2015-06-27 16:48:40

acl2-infix-source_8.0dfsg-1_all.deb

70.20KB

2018-01-14 05:08:12

acl2-infix-source_8.2dfsg-3build1_all.deb

70.23KB

2020-03-23 15:24:07

acl2-infix-source_8.4dfsg-2_all.deb

71.95KB

2021-12-19 03:10:26

acl2-infix-source_8.5dfsg-5build3_all.deb

72.41KB

2024-04-02 11:02:57

acl2-infix-source_8.5dfsg-6_all.deb

72.29KB

2024-07-29 07:20:21

acl2-infix_6.3-5_amd64.deb

200.32KB

2013-10-24 19:36:25

acl2-infix_6.3-5_i386.deb

189.04KB

2013-10-24 19:36:43

acl2-infix_7.1-1_amd64.deb

140.19KB

2015-06-27 16:48:37

acl2-infix_7.1-1_i386.deb

142.15KB

2015-06-02 05:43:17

acl2-infix_8.0dfsg-1_amd64.deb

414.21KB

2018-01-14 05:08:13

acl2-infix_8.0dfsg-1_i386.deb

381.12KB

2018-01-14 06:49:27

acl2-infix_8.2dfsg-3build1_amd64.deb

469.87KB

2020-03-23 15:24:10

acl2-infix_8.4dfsg-2_amd64.deb

550.79KB

2021-12-19 03:09:06

acl2-infix_8.5dfsg-5build3_amd64.deb

538.13KB

2024-04-02 11:02:57

acl2-infix_8.5dfsg-6_amd64.deb

533.04KB

2024-07-29 07:20:21

acl2-source_6.3-5_all.deb

3.62MB

2013-10-24 19:36:22

acl2-source_7.1-1_all.deb

2.71MB

2015-06-27 16:48:41

acl2-source_8.0dfsg-1_all.deb

2.93MB

2018-01-14 05:08:13

acl2-source_8.2dfsg-3build1_all.deb

3.12MB

2020-03-23 15:24:10

acl2-source_8.4dfsg-2_all.deb

3.37MB

2021-12-19 03:10:00

acl2-source_8.5dfsg-5build3_all.deb

3.48MB

2024-04-02 11:02:57

acl2-source_8.5dfsg-6_all.deb

3.48MB

2024-07-29 07:20:21

acl2_6.3-5.debian.tar.gz

157.70KB

2013-10-21 16:09:58

acl2_6.3-5.dsc

1.71KB

2013-10-21 16:09:59

acl2_6.3-5_amd64.deb

26.59MB

2013-10-24 19:36:26

acl2_6.3-5_i386.deb

22.90MB

2013-10-24 19:36:43

acl2_6.3.orig-books.tar.gz

12.97MB

2013-10-21 16:09:59

acl2_6.3.orig.tar.gz

6.74MB

2013-10-21 16:09:59

acl2_7.1-1.debian.tar.xz

125.88KB

2015-06-02 02:24:15

acl2_7.1-1.dsc

2.15KB

2015-06-02 02:24:18

acl2_7.1-1_amd64.deb

16.48MB

2015-06-27 16:48:40

acl2_7.1-1_i386.deb

15.70MB

2015-06-02 05:43:17

acl2_7.1.orig.tar.gz

60.41MB

2015-06-02 02:24:18

acl2_8.0dfsg-1.debian.tar.xz

199.96KB

2018-01-14 01:08:21

acl2_8.0dfsg-1.dsc

2.19KB

2018-01-14 01:08:20

acl2_8.0dfsg-1_amd64.deb

18.79MB

2018-01-14 05:08:15

acl2_8.0dfsg-1_i386.deb

16.21MB

2018-01-14 06:49:27

acl2_8.0dfsg.orig.tar.gz

74.04MB

2018-01-14 01:08:21

acl2_8.2dfsg-3build1.debian.tar.xz

201.20KB

2020-03-23 09:00:04

acl2_8.2dfsg-3build1.dsc

2.24KB

2020-03-23 09:00:05

acl2_8.2dfsg-3build1_amd64.deb

20.92MB

2020-03-23 15:24:11

acl2_8.2dfsg.orig.tar.gz

76.92MB

2019-12-20 01:13:26

acl2_8.4dfsg-2.debian.tar.xz

304.32KB

2021-11-02 01:24:22

acl2_8.4dfsg-2.dsc

2.23KB

2021-11-02 01:24:20

acl2_8.4dfsg-2_amd64.deb

24.92MB

2021-12-19 03:10:20

acl2_8.4dfsg.orig.tar.gz

193.59MB

2021-10-29 02:18:50

acl2_8.5dfsg-5build3.debian.tar.xz

305.70KB

2024-04-01 08:43:39

acl2_8.5dfsg-5build3.dsc

2.32KB

2024-04-01 08:43:39

acl2_8.5dfsg-5build3_amd64.deb

25.61MB

2024-04-02 11:03:05

acl2_8.5dfsg-6.debian.tar.xz

305.52KB

2024-07-29 02:59:18

acl2_8.5dfsg-6.dsc

2.21KB

2024-07-29 02:59:17

acl2_8.5dfsg-6_amd64.deb

25.26MB

2024-07-29 07:20:27

acl2_8.5dfsg.orig.tar.gz

213.19MB

2022-07-28 02:33:59

elpa-acl2_8.4dfsg-2_all.deb

69.13KB

2021-12-19 03:09:07

elpa-acl2_8.5dfsg-5build3_all.deb

70.73KB

2024-04-02 11:02:57

elpa-acl2_8.5dfsg-6_all.deb

70.81KB

2024-07-29 07:20:20