This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ acl2-books-certs_8.5dfsg-6_all.deb 28-Jul-2024 23:44 64M acl2-books-source_8.5dfsg-6_all.deb 28-Jul-2024 23:44 24M acl2-books_8.5dfsg-6_amd64.deb 28-Jul-2024 23:18 151M acl2-books_8.5dfsg-6_arm64.deb 28-Jul-2024 23:18 149M acl2-books_8.5dfsg-6_armel.deb 29-Jul-2024 00:25 142M acl2-books_8.5dfsg-6_armhf.deb 29-Jul-2024 07:35 144M acl2-books_8.5dfsg-6_i386.deb 28-Jul-2024 23:49 133M acl2-doc_8.5dfsg-6_all.deb 28-Jul-2024 23:44 470K acl2-infix-source_8.5dfsg-6_all.deb 28-Jul-2024 23:44 71K acl2-infix_8.5dfsg-6_amd64.deb 28-Jul-2024 23:18 465K acl2-infix_8.5dfsg-6_arm64.deb 28-Jul-2024 23:18 455K acl2-infix_8.5dfsg-6_armel.deb 29-Jul-2024 00:25 459K acl2-infix_8.5dfsg-6_armhf.deb 29-Jul-2024 07:35 475K acl2-infix_8.5dfsg-6_i386.deb 28-Jul-2024 23:49 475K acl2-source_8.5dfsg-6_all.deb 28-Jul-2024 23:44 3M acl2_8.5dfsg-6.debian.tar.xz 28-Jul-2024 16:31 306K acl2_8.5dfsg-6.dsc 28-Jul-2024 16:31 2268 acl2_8.5dfsg-6_amd64.deb 28-Jul-2024 23:18 22M acl2_8.5dfsg-6_arm64.deb 28-Jul-2024 23:18 20M acl2_8.5dfsg-6_armel.deb 29-Jul-2024 00:25 18M acl2_8.5dfsg-6_armhf.deb 29-Jul-2024 07:35 18M acl2_8.5dfsg-6_i386.deb 28-Jul-2024 23:49 19M acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 14:13 213M elpa-acl2_8.5dfsg-6_all.deb 28-Jul-2024 23:44 69K