Index of /debian/pool/main/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_6.5.orig-books.tar.gz 149787442014-Aug-17 15:21
acl2_6.5.orig.tar.gz 61924342014-Aug-17 15:21
acl2-books-certs_6.5-2_all.deb 64993382014-Sep-08 14:35
acl2-books-source_6.5-2_all.deb 69568702014-Sep-08 14:35
acl2-emacs_6.5-2_all.deb 608742014-Sep-08 14:35
acl2-infix-source_6.5-2_all.deb 794562014-Sep-08 14:35
acl2-books_6.5-2_amd64.deb 231323722014-Sep-08 14:35
acl2-doc_6.5-2_all.deb 16718822014-Sep-08 14:35
acl2-infix_6.5-2_amd64.deb 1500202014-Sep-08 14:35
acl2_6.5-2.debian.tar.xz 1282682014-Sep-08 14:35
acl2_6.5-2.dsc 18072014-Sep-08 14:35
acl2_6.5-2_amd64.deb 163202882014-Sep-08 14:35
acl2-source_6.5-2_all.deb 27646722014-Sep-08 14:35
acl2-books_6.5-2_i386.deb 218049582014-Sep-08 21:44
acl2-infix_6.5-2_i386.deb 1515762014-Sep-08 21:44
acl2_6.5-2_i386.deb 140018782014-Sep-08 21:44
acl2-books_6.5-2_armel.deb 681176942014-Sep-09 11:25
acl2-infix_6.5-2_armel.deb 4123342014-Sep-09 11:25
acl2_6.5-2_armel.deb 137330282014-Sep-09 11:25
acl2-books_6.5-2_armhf.deb 699568642014-Sep-12 10:12
acl2-infix_6.5-2_armhf.deb 4345782014-Sep-12 10:12
acl2_6.5-2_armhf.deb 141588942014-Sep-12 10:12
acl2_7.2dfsg.orig.tar.gz 644117492016-Apr-14 13:54
acl2-books-certs_7.2dfsg-3_all.deb 547996782016-Oct-17 14:35
acl2-books-source_7.2dfsg-3_all.deb 108641882016-Oct-17 14:35
acl2-doc_7.2dfsg-3_all.deb 3811862016-Oct-17 14:35
acl2-emacs_7.2dfsg-3_all.deb 640702016-Oct-17 14:35
acl2-infix-source_7.2dfsg-3_all.deb 788402016-Oct-17 14:35
acl2-books_7.2dfsg-3_amd64.deb 1081118762016-Oct-17 14:35
acl2-infix_7.2dfsg-3_amd64.deb 4197402016-Oct-17 14:35
acl2-source_7.2dfsg-3_all.deb 28862042016-Oct-17 14:35
acl2_7.2dfsg-3.debian.tar.xz 2041722016-Oct-17 14:35
acl2_7.2dfsg-3.dsc 22312016-Oct-17 14:35
acl2_7.2dfsg-3_amd64.deb 181289402016-Oct-17 14:35
acl2-books_7.2dfsg-3_ppc64el.deb 1036218882016-Oct-17 22:34
acl2-infix_7.2dfsg-3_ppc64el.deb 4227902016-Oct-17 22:34
acl2_7.2dfsg-3_ppc64el.deb 163529702016-Oct-17 22:34
acl2-books_7.2dfsg-3_i386.deb 904459062016-Oct-17 23:35
acl2-infix_7.2dfsg-3_i386.deb 3901802016-Oct-17 23:35
acl2_7.2dfsg-3_i386.deb 156124462016-Oct-17 23:35
acl2-books_7.2dfsg-3_arm64.deb 1095533642016-Oct-18 05:59
acl2-infix_7.2dfsg-3_arm64.deb 4302782016-Oct-18 05:59
acl2_7.2dfsg-3_arm64.deb 156620642016-Oct-18 05:59
acl2-books_7.2dfsg-3_s390x.deb 1065246822016-Oct-18 07:30
acl2-infix_7.2dfsg-3_s390x.deb 4181202016-Oct-18 07:30
acl2_7.2dfsg-3_s390x.deb 160409302016-Oct-18 07:30
acl2-books_7.2dfsg-3_mips.deb 747744922016-Oct-18 15:12
acl2-infix_7.2dfsg-3_mips.deb 4176902016-Oct-18 15:12
acl2_7.2dfsg-3_mips.deb 157774222016-Oct-18 15:12
acl2-books_7.2dfsg-3_armhf.deb 963205162016-Oct-19 01:33
acl2-infix_7.2dfsg-3_armhf.deb 4102622016-Oct-19 01:33
acl2_7.2dfsg-3_armhf.deb 146672662016-Oct-19 01:33
acl2-books_7.2dfsg-3_armel.deb 904451182016-Oct-19 05:29
acl2-infix_7.2dfsg-3_armel.deb 3909202016-Oct-19 05:29
acl2_7.2dfsg-3_armel.deb 144489922016-Oct-19 05:29
acl2-books_7.2dfsg-3_mipsel.deb 778274222016-Oct-19 14:45
acl2-infix_7.2dfsg-3_mipsel.deb 4365022016-Oct-19 14:45
acl2_7.2dfsg-3_mipsel.deb 158622642016-Oct-19 14:45
acl2-books_7.2dfsg-3_mips64el.deb 1135065262016-Oct-20 00:31
acl2-infix_7.2dfsg-3_mips64el.deb 4338902016-Oct-20 00:31
acl2_7.2dfsg-3_mips64el.deb 156386342016-Oct-20 00:31
acl2_8.0dfsg-1.dsc 22452018-Jan-13 13:52
acl2-books-certs_8.0dfsg-1_all.deb 733068682018-Jan-13 13:52
acl2-books-source_8.0dfsg-1_all.deb 124733962018-Jan-13 13:52
acl2_8.0dfsg-1.debian.tar.xz 2047602018-Jan-13 13:52
acl2_8.0dfsg.orig.tar.gz 776355712018-Jan-13 13:52
acl2-books_8.0dfsg-1_amd64.deb 1379463762018-Jan-13 13:52
acl2-doc_8.0dfsg-1_all.deb 4015242018-Jan-13 13:52
acl2-emacs_8.0dfsg-1_all.deb 676082018-Jan-13 13:52
acl2-infix-source_8.0dfsg-1_all.deb 791882018-Jan-13 13:52
acl2-infix_8.0dfsg-1_amd64.deb 4320322018-Jan-13 13:52
acl2-source_8.0dfsg-1_all.deb 30813242018-Jan-13 13:52
acl2_8.0dfsg-1_amd64.deb 198558962018-Jan-13 13:52
acl2-books_8.0dfsg-1_ppc64el.deb 1368088762018-Jan-13 20:26
acl2-infix_8.0dfsg-1_ppc64el.deb 4445002018-Jan-13 20:26
acl2_8.0dfsg-1_ppc64el.deb 194440242018-Jan-13 20:26
acl2-books_8.0dfsg-1_s390x.deb 1277592642018-Jan-13 20:41
acl2-infix_8.0dfsg-1_s390x.deb 4065762018-Jan-13 20:41
acl2_8.0dfsg-1_s390x.deb 180819962018-Jan-13 20:41
acl2-books_8.0dfsg-1_i386.deb 1159980802018-Jan-13 21:26
acl2-infix_8.0dfsg-1_i386.deb 3993402018-Jan-13 21:26
acl2_8.0dfsg-1_i386.deb 169948082018-Jan-13 21:26
acl2-books_8.0dfsg-1_arm64.deb 1413496882018-Jan-14 02:47
acl2-infix_8.0dfsg-1_arm64.deb 4427962018-Jan-14 02:47
acl2_8.0dfsg-1_arm64.deb 178621082018-Jan-14 02:47
acl2-books_8.0dfsg-1_armhf.deb 1253719002018-Jan-15 08:46
acl2-infix_8.0dfsg-1_armhf.deb 4162562018-Jan-15 08:46
acl2_8.0dfsg-1_armhf.deb 161758242018-Jan-15 08:46
acl2-books_8.0dfsg-1_mips64el.deb 1468260202018-Jan-16 03:44
acl2-infix_8.0dfsg-1_mips64el.deb 4504042018-Jan-16 03:44
acl2_8.0dfsg-1_mips64el.deb 172483122018-Jan-16 03:44
acl2-books_8.0dfsg-1_mipsel.deb 1369276762018-Jan-16 05:14
acl2-infix_8.0dfsg-1_mipsel.deb 4523722018-Jan-16 05:14
acl2_8.0dfsg-1_mipsel.deb 174849282018-Jan-16 05:14
acl2-books_8.0dfsg-1_mips.deb 1321282002018-Jan-16 06:15
acl2-infix_8.0dfsg-1_mips.deb 4312402018-Jan-16 06:15
acl2_8.0dfsg-1_mips.deb 173335082018-Jan-16 06:15
acl2-books_8.0dfsg-1+b1_armel.deb 1334354802019-Feb-14 13:00
acl2-infix_8.0dfsg-1+b1_armel.deb 4421802019-Feb-14 13:00
acl2_8.0dfsg-1+b1_armel.deb 167261922019-Feb-14 13:00
acl2_8.3dfsg.orig.tar.gz 1172609022020-Aug-24 02:39
acl2_8.3dfsg-2.debian.tar.xz 2283202021-Jan-27 14:34
acl2_8.3dfsg-2.dsc 22752021-Jan-27 14:34
acl2-infix_8.3dfsg-2_amd64.deb 4902802021-Jan-27 21:57
acl2-books_8.3dfsg-2_amd64.deb 2528786842021-Jan-27 21:57
acl2_8.3dfsg-2_amd64.deb 214812922021-Jan-27 21:57
acl2-infix_8.3dfsg-2_i386.deb 4964802021-Jan-27 22:22
acl2-books_8.3dfsg-2_i386.deb 2138491482021-Jan-27 22:22
acl2_8.3dfsg-2_i386.deb 194870922021-Jan-27 22:22
acl2_8.3dfsg-2_ppc64el.deb 226097402021-Jan-27 23:44
acl2-infix_8.3dfsg-2_ppc64el.deb 5098042021-Jan-27 23:44
acl2-books_8.3dfsg-2_ppc64el.deb 2566431802021-Jan-27 23:44
acl2-emacs_8.3dfsg-2_all.deb 694122021-Jan-28 02:25
acl2-infix-source_8.3dfsg-2_all.deb 798802021-Jan-28 02:25
acl2-books-source_8.3dfsg-2_all.deb 195392522021-Jan-28 02:25
acl2-source_8.3dfsg-2_all.deb 33398962021-Jan-28 02:25
acl2-books-certs_8.3dfsg-2_all.deb 1453881482021-Jan-28 02:25
acl2-doc_8.3dfsg-2_all.deb 4476082021-Jan-28 02:25
acl2_8.3dfsg-2_s390x.deb 206692722021-Jan-28 02:35
acl2-infix_8.3dfsg-2_s390x.deb 4453762021-Jan-28 02:35
acl2-books_8.3dfsg-2_s390x.deb 2296303882021-Jan-28 02:35
acl2_8.3dfsg-2_armhf.deb 185760362021-Jan-28 06:42
acl2-books_8.3dfsg-2_armhf.deb 2337757002021-Jan-28 06:42
acl2-infix_8.3dfsg-2_armhf.deb 4897682021-Jan-28 06:42
acl2-books_8.3dfsg-2_armel.deb 2289770882021-Jan-28 07:13
acl2-infix_8.3dfsg-2_armel.deb 4740322021-Jan-28 07:13
acl2_8.3dfsg-2_armel.deb 184213242021-Jan-28 07:13
acl2-books_8.3dfsg-2_arm64.deb 2474615002021-Jan-28 15:43
acl2_8.3dfsg-2_arm64.deb 198922362021-Jan-28 15:43
acl2-infix_8.3dfsg-2_arm64.deb 4806682021-Jan-28 15:43
acl2_8.3dfsg-2_mipsel.deb 197159162021-Jan-29 09:42
acl2-books_8.3dfsg-2_mipsel.deb 2389860242021-Jan-29 09:42
acl2-infix_8.3dfsg-2_mipsel.deb 5211002021-Jan-29 09:42
acl2-infix_8.3dfsg-2_mips64el.deb 5154202021-Jan-30 19:12
acl2-books_8.3dfsg-2_mips64el.deb 2659194362021-Jan-30 19:12
acl2_8.3dfsg-2_mips64el.deb 192630522021-Jan-30 19:12
acl2_8.5dfsg-1.dsc 22812022-Jul-27 14:13
acl2_8.5dfsg.orig.tar.gz 2235465942022-Jul-27 14:13
acl2_8.5dfsg-1.debian.tar.xz 3123082022-Jul-27 14:13
acl2_8.5dfsg-1_s390x.deb 221269122022-Jul-28 00:58
acl2-books_8.5dfsg-1_s390x.deb 2848683682022-Jul-28 00:58
acl2-infix_8.5dfsg-1_s390x.deb 4501522022-Jul-28 00:58
acl2-doc_8.5dfsg-1_all.deb 4891562022-Jul-28 01:44
elpa-acl2_8.5dfsg-1_all.deb 784162022-Jul-28 01:44
acl2-books-certs_8.5dfsg-1_all.deb 1821270402022-Jul-28 01:44
acl2-books-source_8.5dfsg-1_all.deb 246780082022-Jul-28 01:44
acl2-infix-source_8.5dfsg-1_all.deb 800722022-Jul-28 01:44
acl2-source_8.5dfsg-1_all.deb 35956282022-Jul-28 01:44
acl2-books_8.5dfsg-1_amd64.deb 3068020482022-Jul-28 01:59
acl2-infix_8.5dfsg-1_amd64.deb 4830002022-Jul-28 01:59
acl2_8.5dfsg-1_amd64.deb 233820282022-Jul-28 01:59
acl2-books_8.5dfsg-1_ppc64el.deb 3158835442022-Jul-28 04:25
acl2_8.5dfsg-1_ppc64el.deb 228572722022-Jul-28 04:25
acl2-infix_8.5dfsg-1_ppc64el.deb 5165922022-Jul-28 04:25
acl2_8.5dfsg-1_i386.deb 199913002022-Jul-28 04:56
acl2-books_8.5dfsg-1_i386.deb 2651429042022-Jul-28 04:56
acl2-infix_8.5dfsg-1_i386.deb 4973162022-Jul-28 04:56
acl2_8.5dfsg-1_arm64.deb 213496322022-Jul-28 20:28
acl2-books_8.5dfsg-1_arm64.deb 3034239562022-Jul-28 20:28
acl2-infix_8.5dfsg-1_arm64.deb 4801362022-Jul-28 20:28
acl2-books_8.5dfsg-1_armhf.deb 2855342482022-Jul-29 08:42
acl2-infix_8.5dfsg-1_armhf.deb 4918682022-Jul-29 08:42
acl2_8.5dfsg-1_armhf.deb 192625482022-Jul-29 08:42
acl2-books_8.5dfsg-1_armel.deb 2814108242022-Jul-31 20:14
acl2-infix_8.5dfsg-1_armel.deb 4784482022-Jul-31 20:14
acl2_8.5dfsg-1_armel.deb 188266762022-Jul-31 20:14
acl2-books_8.5dfsg-1_mipsel.deb 2995983682022-Aug-02 04:15
acl2-infix_8.5dfsg-1_mipsel.deb 5250962022-Aug-02 04:15
acl2_8.5dfsg-1_mipsel.deb 204780122022-Aug-02 04:15
acl2-books_8.5dfsg-1_mips64el.deb 3258819162022-Aug-02 23:28
acl2-infix_8.5dfsg-1_mips64el.deb 5109682022-Aug-02 23:28
acl2_8.5dfsg-1_mips64el.deb 207874002022-Aug-02 23:28