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 !
../ cbmc_6.1.1-2.debian.tar.xz 02-Aug-2024 12:57 18K cbmc_6.1.1-2.dsc 02-Aug-2024 12:57 3048 cbmc_6.1.1-2_amd64.deb 02-Aug-2024 14:49 21M cbmc_6.1.1-2_arm64.deb 02-Aug-2024 16:21 17M cbmc_6.1.1-2_armel.deb 02-Aug-2024 15:50 16M cbmc_6.1.1-2_armhf.deb 02-Aug-2024 14:13 16M cbmc_6.1.1-2_i386.deb 02-Aug-2024 14:24 22M cbmc_6.1.1.orig-java-cprover-api.tar.gz 02-Jun-2023 19:14 14K cbmc_6.1.1.orig-java-models-library.tar.gz 02-Jun-2023 19:14 292K cbmc_6.1.1.orig.tar.gz 01-Aug-2024 21:13 9M jbmc_6.1.1-2_amd64.deb 02-Aug-2024 14:49 8M jbmc_6.1.1-2_arm64.deb 02-Aug-2024 16:21 7M jbmc_6.1.1-2_armel.deb 02-Aug-2024 15:50 7M jbmc_6.1.1-2_armhf.deb 02-Aug-2024 14:13 6M jbmc_6.1.1-2_i386.deb 02-Aug-2024 14:24 9M