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

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-13 14:52:5769.9Mapplication/octet-stream
acl2-books-certs_8.3dfsg-2_all.deb2021-Jan-28 03:25:23138.6Mapplication/octet-stream
acl2-books-certs_8.5dfsg-5_all.deb2023-Jan-16 15:55:57170.1Mapplication/octet-stream
acl2-books-certs_8.5dfsg-6_all.deb2024-Jul-29 01:44:1664.1Mapplication/octet-stream
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:5711.9Mapplication/octet-stream
acl2-books-source_8.3dfsg-2_all.deb2021-Jan-28 03:25:2318.6Mapplication/octet-stream
acl2-books-source_8.5dfsg-5_all.deb2023-Jan-16 15:55:5723.5Mapplication/octet-stream
acl2-books-source_8.5dfsg-6_all.deb2024-Jul-29 01:44:1723.5Mapplication/octet-stream
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:59131.5Mapplication/octet-stream
acl2-books_8.0dfsg-1_i386.deb2018-Jan-13 22:26:14110.6Mapplication/octet-stream
acl2-books_8.3dfsg-2_amd64.deb2021-Jan-27 22:57:13241.1Mapplication/octet-stream
acl2-books_8.3dfsg-2_i386.deb2021-Jan-27 23:22:26203.9Mapplication/octet-stream
acl2-books_8.5dfsg-5_amd64.deb2023-Jan-16 21:15:10286.9Mapplication/octet-stream
acl2-books_8.5dfsg-5_i386.deb2023-Jan-16 16:16:26247.5Mapplication/octet-stream
acl2-books_8.5dfsg-6_amd64.deb2024-Jul-29 01:18:52151.0Mapplication/octet-stream
acl2-books_8.5dfsg-6_i386.deb2024-Jul-29 01:49:19132.8Mapplication/octet-stream
acl2-books_8.5dfsg-6_riscv64.deb2024-Jul-31 15:49:26369.7Mapplication/octet-stream
acl2-doc_8.0dfsg-1_all.deb2018-Jan-13 14:52:59392.1Kapplication/octet-stream
acl2-doc_8.3dfsg-2_all.deb2021-Jan-28 03:25:23437.1Kapplication/octet-stream
acl2-doc_8.5dfsg-5_all.deb2023-Jan-16 15:55:57470.0Kapplication/octet-stream
acl2-doc_8.5dfsg-6_all.deb2024-Jul-29 01:44:17470.1Kapplication/octet-stream
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-13 14:52:5966.0Kapplication/octet-stream
acl2-emacs_8.3dfsg-2_all.deb2021-Jan-28 03:25:2367.8Kapplication/octet-stream
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:5977.3Kapplication/octet-stream
acl2-infix-source_8.3dfsg-2_all.deb2021-Jan-28 03:25:2378.0Kapplication/octet-stream
acl2-infix-source_8.5dfsg-5_all.deb2023-Jan-16 15:55:5770.6Kapplication/octet-stream
acl2-infix-source_8.5dfsg-6_all.deb2024-Jul-29 01:44:1770.7Kapplication/octet-stream
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:59421.9Kapplication/octet-stream
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-13 22:26:14389.9Kapplication/octet-stream
acl2-infix_8.3dfsg-2_amd64.deb2021-Jan-27 22:57:13478.8Kapplication/octet-stream
acl2-infix_8.3dfsg-2_i386.deb2021-Jan-27 23:22:26484.8Kapplication/octet-stream
acl2-infix_8.5dfsg-5_amd64.deb2023-Jan-16 21:15:10464.1Kapplication/octet-stream
acl2-infix_8.5dfsg-5_i386.deb2023-Jan-16 16:16:26477.4Kapplication/octet-stream
acl2-infix_8.5dfsg-6_amd64.deb2024-Jul-29 01:18:52465.1Kapplication/octet-stream
acl2-infix_8.5dfsg-6_i386.deb2024-Jul-29 01:49:19475.2Kapplication/octet-stream
acl2-infix_8.5dfsg-6_riscv64.deb2024-Jul-31 15:49:260.9Mapplication/octet-stream
acl2-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:592.9Mapplication/octet-stream
acl2-source_8.3dfsg-2_all.deb2021-Jan-28 03:25:233.1Mapplication/octet-stream
acl2-source_8.5dfsg-5_all.deb2023-Jan-16 15:55:573.4Mapplication/octet-stream
acl2-source_8.5dfsg-6_all.deb2024-Jul-29 01:44:173.4Mapplication/octet-stream
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-13 14:52:57199.9Kapplication/octet-stream
acl2_8.0dfsg-1.dsc2018-Jan-13 14:52:562.1Kapplication/octet-stream
acl2_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:5918.9Mapplication/octet-stream
acl2_8.0dfsg-1_i386.deb2018-Jan-13 22:26:1416.2Mapplication/octet-stream
acl2_8.0dfsg.orig.tar.gz2018-Jan-13 14:52:5774.0Mapplication/octet-stream
acl2_8.3dfsg-2.debian.tar.xz2021-Jan-27 15:34:22222.9Kapplication/octet-stream
acl2_8.3dfsg-2.dsc2021-Jan-27 15:34:222.2Kapplication/octet-stream
acl2_8.3dfsg-2_amd64.deb2021-Jan-27 22:57:1320.4Mapplication/octet-stream
acl2_8.3dfsg-2_i386.deb2021-Jan-27 23:22:2718.5Mapplication/octet-stream
acl2_8.3dfsg.orig.tar.gz2020-Aug-24 04:39:38111.8Mapplication/octet-stream
acl2_8.5dfsg-5.debian.tar.xz2023-Jan-16 03:00:06305.5Kapplication/octet-stream
acl2_8.5dfsg-5.dsc2023-Jan-16 03:00:062.2Kapplication/octet-stream
acl2_8.5dfsg-5_amd64.deb2023-Jan-16 21:15:1022.3Mapplication/octet-stream
acl2_8.5dfsg-5_i386.deb2023-Jan-16 16:16:2619.4Mapplication/octet-stream
acl2_8.5dfsg-6.debian.tar.xz2024-Jul-28 18:31:09305.5Kapplication/octet-stream
acl2_8.5dfsg-6.dsc2024-Jul-28 18:31:092.2Kapplication/octet-stream
acl2_8.5dfsg-6_amd64.deb2024-Jul-29 01:18:5222.0Mapplication/octet-stream
acl2_8.5dfsg-6_i386.deb2024-Jul-29 01:49:1919.1Mapplication/octet-stream
acl2_8.5dfsg-6_riscv64.deb2024-Jul-31 15:49:2621.1Mapplication/octet-stream
acl2_8.5dfsg.orig.tar.gz2022-Jul-27 16:13:36213.1Mapplication/octet-stream
elpa-acl2_8.5dfsg-5_all.deb2023-Jan-16 15:55:5768.9Kapplication/octet-stream
elpa-acl2_8.5dfsg-6_all.deb2024-Jul-29 01:44:1769.0Kapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences