Parent directory/ | - | - |
acl2_6.5.orig-books.tar.gz | 14978744 | 2014-Aug-17 15:21 |
acl2_6.5.orig.tar.gz | 6192434 | 2014-Aug-17 15:21 |
acl2-books-certs_6.5-2_all.deb | 6499338 | 2014-Sep-08 14:35 |
acl2-books-source_6.5-2_all.deb | 6956870 | 2014-Sep-08 14:35 |
acl2-emacs_6.5-2_all.deb | 60874 | 2014-Sep-08 14:35 |
acl2-infix-source_6.5-2_all.deb | 79456 | 2014-Sep-08 14:35 |
acl2-books_6.5-2_amd64.deb | 23132372 | 2014-Sep-08 14:35 |
acl2-doc_6.5-2_all.deb | 1671882 | 2014-Sep-08 14:35 |
acl2-infix_6.5-2_amd64.deb | 150020 | 2014-Sep-08 14:35 |
acl2_6.5-2.debian.tar.xz | 128268 | 2014-Sep-08 14:35 |
acl2_6.5-2.dsc | 1807 | 2014-Sep-08 14:35 |
acl2_6.5-2_amd64.deb | 16320288 | 2014-Sep-08 14:35 |
acl2-source_6.5-2_all.deb | 2764672 | 2014-Sep-08 14:35 |
acl2-books_6.5-2_i386.deb | 21804958 | 2014-Sep-08 21:44 |
acl2-infix_6.5-2_i386.deb | 151576 | 2014-Sep-08 21:44 |
acl2_6.5-2_i386.deb | 14001878 | 2014-Sep-08 21:44 |
acl2-books_6.5-2_armel.deb | 68117694 | 2014-Sep-09 11:25 |
acl2-infix_6.5-2_armel.deb | 412334 | 2014-Sep-09 11:25 |
acl2_6.5-2_armel.deb | 13733028 | 2014-Sep-09 11:25 |
acl2-books_6.5-2_armhf.deb | 69956864 | 2014-Sep-12 10:12 |
acl2-infix_6.5-2_armhf.deb | 434578 | 2014-Sep-12 10:12 |
acl2_6.5-2_armhf.deb | 14158894 | 2014-Sep-12 10:12 |
acl2_7.2dfsg.orig.tar.gz | 64411749 | 2016-Apr-14 13:54 |
acl2-books-certs_7.2dfsg-3_all.deb | 54799678 | 2016-Oct-17 14:35 |
acl2-books-source_7.2dfsg-3_all.deb | 10864188 | 2016-Oct-17 14:35 |
acl2-doc_7.2dfsg-3_all.deb | 381186 | 2016-Oct-17 14:35 |
acl2-emacs_7.2dfsg-3_all.deb | 64070 | 2016-Oct-17 14:35 |
acl2-infix-source_7.2dfsg-3_all.deb | 78840 | 2016-Oct-17 14:35 |
acl2-books_7.2dfsg-3_amd64.deb | 108111876 | 2016-Oct-17 14:35 |
acl2-infix_7.2dfsg-3_amd64.deb | 419740 | 2016-Oct-17 14:35 |
acl2-source_7.2dfsg-3_all.deb | 2886204 | 2016-Oct-17 14:35 |
acl2_7.2dfsg-3.debian.tar.xz | 204172 | 2016-Oct-17 14:35 |
acl2_7.2dfsg-3.dsc | 2231 | 2016-Oct-17 14:35 |
acl2_7.2dfsg-3_amd64.deb | 18128940 | 2016-Oct-17 14:35 |
acl2-books_7.2dfsg-3_ppc64el.deb | 103621888 | 2016-Oct-17 22:34 |
acl2-infix_7.2dfsg-3_ppc64el.deb | 422790 | 2016-Oct-17 22:34 |
acl2_7.2dfsg-3_ppc64el.deb | 16352970 | 2016-Oct-17 22:34 |
acl2-books_7.2dfsg-3_i386.deb | 90445906 | 2016-Oct-17 23:35 |
acl2-infix_7.2dfsg-3_i386.deb | 390180 | 2016-Oct-17 23:35 |
acl2_7.2dfsg-3_i386.deb | 15612446 | 2016-Oct-17 23:35 |
acl2-books_7.2dfsg-3_arm64.deb | 109553364 | 2016-Oct-18 05:59 |
acl2-infix_7.2dfsg-3_arm64.deb | 430278 | 2016-Oct-18 05:59 |
acl2_7.2dfsg-3_arm64.deb | 15662064 | 2016-Oct-18 05:59 |
acl2-books_7.2dfsg-3_s390x.deb | 106524682 | 2016-Oct-18 07:30 |
acl2-infix_7.2dfsg-3_s390x.deb | 418120 | 2016-Oct-18 07:30 |
acl2_7.2dfsg-3_s390x.deb | 16040930 | 2016-Oct-18 07:30 |
acl2-books_7.2dfsg-3_mips.deb | 74774492 | 2016-Oct-18 15:12 |
acl2-infix_7.2dfsg-3_mips.deb | 417690 | 2016-Oct-18 15:12 |
acl2_7.2dfsg-3_mips.deb | 15777422 | 2016-Oct-18 15:12 |
acl2-books_7.2dfsg-3_armhf.deb | 96320516 | 2016-Oct-19 01:33 |
acl2-infix_7.2dfsg-3_armhf.deb | 410262 | 2016-Oct-19 01:33 |
acl2_7.2dfsg-3_armhf.deb | 14667266 | 2016-Oct-19 01:33 |
acl2-books_7.2dfsg-3_armel.deb | 90445118 | 2016-Oct-19 05:29 |
acl2-infix_7.2dfsg-3_armel.deb | 390920 | 2016-Oct-19 05:29 |
acl2_7.2dfsg-3_armel.deb | 14448992 | 2016-Oct-19 05:29 |
acl2-books_7.2dfsg-3_mipsel.deb | 77827422 | 2016-Oct-19 14:45 |
acl2-infix_7.2dfsg-3_mipsel.deb | 436502 | 2016-Oct-19 14:45 |
acl2_7.2dfsg-3_mipsel.deb | 15862264 | 2016-Oct-19 14:45 |
acl2-books_7.2dfsg-3_mips64el.deb | 113506526 | 2016-Oct-20 00:31 |
acl2-infix_7.2dfsg-3_mips64el.deb | 433890 | 2016-Oct-20 00:31 |
acl2_7.2dfsg-3_mips64el.deb | 15638634 | 2016-Oct-20 00:31 |
acl2_8.0dfsg-1.dsc | 2245 | 2018-Jan-13 13:52 |
acl2-books-certs_8.0dfsg-1_all.deb | 73306868 | 2018-Jan-13 13:52 |
acl2-books-source_8.0dfsg-1_all.deb | 12473396 | 2018-Jan-13 13:52 |
acl2_8.0dfsg-1.debian.tar.xz | 204760 | 2018-Jan-13 13:52 |
acl2_8.0dfsg.orig.tar.gz | 77635571 | 2018-Jan-13 13:52 |
acl2-books_8.0dfsg-1_amd64.deb | 137946376 | 2018-Jan-13 13:52 |
acl2-doc_8.0dfsg-1_all.deb | 401524 | 2018-Jan-13 13:52 |
acl2-emacs_8.0dfsg-1_all.deb | 67608 | 2018-Jan-13 13:52 |
acl2-infix-source_8.0dfsg-1_all.deb | 79188 | 2018-Jan-13 13:52 |
acl2-infix_8.0dfsg-1_amd64.deb | 432032 | 2018-Jan-13 13:52 |
acl2-source_8.0dfsg-1_all.deb | 3081324 | 2018-Jan-13 13:52 |
acl2_8.0dfsg-1_amd64.deb | 19855896 | 2018-Jan-13 13:52 |
acl2-books_8.0dfsg-1_ppc64el.deb | 136808876 | 2018-Jan-13 20:26 |
acl2-infix_8.0dfsg-1_ppc64el.deb | 444500 | 2018-Jan-13 20:26 |
acl2_8.0dfsg-1_ppc64el.deb | 19444024 | 2018-Jan-13 20:26 |
acl2-books_8.0dfsg-1_s390x.deb | 127759264 | 2018-Jan-13 20:41 |
acl2-infix_8.0dfsg-1_s390x.deb | 406576 | 2018-Jan-13 20:41 |
acl2_8.0dfsg-1_s390x.deb | 18081996 | 2018-Jan-13 20:41 |
acl2-books_8.0dfsg-1_i386.deb | 115998080 | 2018-Jan-13 21:26 |
acl2-infix_8.0dfsg-1_i386.deb | 399340 | 2018-Jan-13 21:26 |
acl2_8.0dfsg-1_i386.deb | 16994808 | 2018-Jan-13 21:26 |
acl2-books_8.0dfsg-1_arm64.deb | 141349688 | 2018-Jan-14 02:47 |
acl2-infix_8.0dfsg-1_arm64.deb | 442796 | 2018-Jan-14 02:47 |
acl2_8.0dfsg-1_arm64.deb | 17862108 | 2018-Jan-14 02:47 |
acl2-books_8.0dfsg-1_armhf.deb | 125371900 | 2018-Jan-15 08:46 |
acl2-infix_8.0dfsg-1_armhf.deb | 416256 | 2018-Jan-15 08:46 |
acl2_8.0dfsg-1_armhf.deb | 16175824 | 2018-Jan-15 08:46 |
acl2-books_8.0dfsg-1_mips64el.deb | 146826020 | 2018-Jan-16 03:44 |
acl2-infix_8.0dfsg-1_mips64el.deb | 450404 | 2018-Jan-16 03:44 |
acl2_8.0dfsg-1_mips64el.deb | 17248312 | 2018-Jan-16 03:44 |
acl2-books_8.0dfsg-1_mipsel.deb | 136927676 | 2018-Jan-16 05:14 |
acl2-infix_8.0dfsg-1_mipsel.deb | 452372 | 2018-Jan-16 05:14 |
acl2_8.0dfsg-1_mipsel.deb | 17484928 | 2018-Jan-16 05:14 |
acl2-books_8.0dfsg-1_mips.deb | 132128200 | 2018-Jan-16 06:15 |
acl2-infix_8.0dfsg-1_mips.deb | 431240 | 2018-Jan-16 06:15 |
acl2_8.0dfsg-1_mips.deb | 17333508 | 2018-Jan-16 06:15 |
acl2-books_8.0dfsg-1+b1_armel.deb | 133435480 | 2019-Feb-14 13:00 |
acl2-infix_8.0dfsg-1+b1_armel.deb | 442180 | 2019-Feb-14 13:00 |
acl2_8.0dfsg-1+b1_armel.deb | 16726192 | 2019-Feb-14 13:00 |
acl2_8.3dfsg.orig.tar.gz | 117260902 | 2020-Aug-24 02:39 |
acl2_8.3dfsg-2.debian.tar.xz | 228320 | 2021-Jan-27 14:34 |
acl2_8.3dfsg-2.dsc | 2275 | 2021-Jan-27 14:34 |
acl2-infix_8.3dfsg-2_amd64.deb | 490280 | 2021-Jan-27 21:57 |
acl2-books_8.3dfsg-2_amd64.deb | 252878684 | 2021-Jan-27 21:57 |
acl2_8.3dfsg-2_amd64.deb | 21481292 | 2021-Jan-27 21:57 |
acl2-infix_8.3dfsg-2_i386.deb | 496480 | 2021-Jan-27 22:22 |
acl2-books_8.3dfsg-2_i386.deb | 213849148 | 2021-Jan-27 22:22 |
acl2_8.3dfsg-2_i386.deb | 19487092 | 2021-Jan-27 22:22 |
acl2_8.3dfsg-2_ppc64el.deb | 22609740 | 2021-Jan-27 23:44 |
acl2-infix_8.3dfsg-2_ppc64el.deb | 509804 | 2021-Jan-27 23:44 |
acl2-books_8.3dfsg-2_ppc64el.deb | 256643180 | 2021-Jan-27 23:44 |
acl2-emacs_8.3dfsg-2_all.deb | 69412 | 2021-Jan-28 02:25 |
acl2-infix-source_8.3dfsg-2_all.deb | 79880 | 2021-Jan-28 02:25 |
acl2-books-source_8.3dfsg-2_all.deb | 19539252 | 2021-Jan-28 02:25 |
acl2-source_8.3dfsg-2_all.deb | 3339896 | 2021-Jan-28 02:25 |
acl2-books-certs_8.3dfsg-2_all.deb | 145388148 | 2021-Jan-28 02:25 |
acl2-doc_8.3dfsg-2_all.deb | 447608 | 2021-Jan-28 02:25 |
acl2_8.3dfsg-2_s390x.deb | 20669272 | 2021-Jan-28 02:35 |
acl2-infix_8.3dfsg-2_s390x.deb | 445376 | 2021-Jan-28 02:35 |
acl2-books_8.3dfsg-2_s390x.deb | 229630388 | 2021-Jan-28 02:35 |
acl2_8.3dfsg-2_armhf.deb | 18576036 | 2021-Jan-28 06:42 |
acl2-books_8.3dfsg-2_armhf.deb | 233775700 | 2021-Jan-28 06:42 |
acl2-infix_8.3dfsg-2_armhf.deb | 489768 | 2021-Jan-28 06:42 |
acl2-books_8.3dfsg-2_armel.deb | 228977088 | 2021-Jan-28 07:13 |
acl2-infix_8.3dfsg-2_armel.deb | 474032 | 2021-Jan-28 07:13 |
acl2_8.3dfsg-2_armel.deb | 18421324 | 2021-Jan-28 07:13 |
acl2-books_8.3dfsg-2_arm64.deb | 247461500 | 2021-Jan-28 15:43 |
acl2_8.3dfsg-2_arm64.deb | 19892236 | 2021-Jan-28 15:43 |
acl2-infix_8.3dfsg-2_arm64.deb | 480668 | 2021-Jan-28 15:43 |
acl2_8.3dfsg-2_mipsel.deb | 19715916 | 2021-Jan-29 09:42 |
acl2-books_8.3dfsg-2_mipsel.deb | 238986024 | 2021-Jan-29 09:42 |
acl2-infix_8.3dfsg-2_mipsel.deb | 521100 | 2021-Jan-29 09:42 |
acl2-infix_8.3dfsg-2_mips64el.deb | 515420 | 2021-Jan-30 19:12 |
acl2-books_8.3dfsg-2_mips64el.deb | 265919436 | 2021-Jan-30 19:12 |
acl2_8.3dfsg-2_mips64el.deb | 19263052 | 2021-Jan-30 19:12 |
acl2_8.5dfsg-1.dsc | 2281 | 2022-Jul-27 14:13 |
acl2_8.5dfsg.orig.tar.gz | 223546594 | 2022-Jul-27 14:13 |
acl2_8.5dfsg-1.debian.tar.xz | 312308 | 2022-Jul-27 14:13 |
acl2_8.5dfsg-1_s390x.deb | 22126912 | 2022-Jul-28 00:58 |
acl2-books_8.5dfsg-1_s390x.deb | 284868368 | 2022-Jul-28 00:58 |
acl2-infix_8.5dfsg-1_s390x.deb | 450152 | 2022-Jul-28 00:58 |
acl2-doc_8.5dfsg-1_all.deb | 489156 | 2022-Jul-28 01:44 |
elpa-acl2_8.5dfsg-1_all.deb | 78416 | 2022-Jul-28 01:44 |
acl2-books-certs_8.5dfsg-1_all.deb | 182127040 | 2022-Jul-28 01:44 |
acl2-books-source_8.5dfsg-1_all.deb | 24678008 | 2022-Jul-28 01:44 |
acl2-infix-source_8.5dfsg-1_all.deb | 80072 | 2022-Jul-28 01:44 |
acl2-source_8.5dfsg-1_all.deb | 3595628 | 2022-Jul-28 01:44 |
acl2-books_8.5dfsg-1_amd64.deb | 306802048 | 2022-Jul-28 01:59 |
acl2-infix_8.5dfsg-1_amd64.deb | 483000 | 2022-Jul-28 01:59 |
acl2_8.5dfsg-1_amd64.deb | 23382028 | 2022-Jul-28 01:59 |
acl2-books_8.5dfsg-1_ppc64el.deb | 315883544 | 2022-Jul-28 04:25 |
acl2_8.5dfsg-1_ppc64el.deb | 22857272 | 2022-Jul-28 04:25 |
acl2-infix_8.5dfsg-1_ppc64el.deb | 516592 | 2022-Jul-28 04:25 |
acl2_8.5dfsg-1_i386.deb | 19991300 | 2022-Jul-28 04:56 |
acl2-books_8.5dfsg-1_i386.deb | 265142904 | 2022-Jul-28 04:56 |
acl2-infix_8.5dfsg-1_i386.deb | 497316 | 2022-Jul-28 04:56 |
acl2_8.5dfsg-1_arm64.deb | 21349632 | 2022-Jul-28 20:28 |
acl2-books_8.5dfsg-1_arm64.deb | 303423956 | 2022-Jul-28 20:28 |
acl2-infix_8.5dfsg-1_arm64.deb | 480136 | 2022-Jul-28 20:28 |
acl2-books_8.5dfsg-1_armhf.deb | 285534248 | 2022-Jul-29 08:42 |
acl2-infix_8.5dfsg-1_armhf.deb | 491868 | 2022-Jul-29 08:42 |
acl2_8.5dfsg-1_armhf.deb | 19262548 | 2022-Jul-29 08:42 |
acl2-books_8.5dfsg-1_armel.deb | 281410824 | 2022-Jul-31 20:14 |
acl2-infix_8.5dfsg-1_armel.deb | 478448 | 2022-Jul-31 20:14 |
acl2_8.5dfsg-1_armel.deb | 18826676 | 2022-Jul-31 20:14 |
acl2-books_8.5dfsg-1_mipsel.deb | 299598368 | 2022-Aug-02 04:15 |
acl2-infix_8.5dfsg-1_mipsel.deb | 525096 | 2022-Aug-02 04:15 |
acl2_8.5dfsg-1_mipsel.deb | 20478012 | 2022-Aug-02 04:15 |
acl2-books_8.5dfsg-1_mips64el.deb | 325881916 | 2022-Aug-02 23:28 |
acl2-infix_8.5dfsg-1_mips64el.deb | 510968 | 2022-Aug-02 23:28 |
acl2_8.5dfsg-1_mips64el.deb | 20787400 | 2022-Aug-02 23:28 |