The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ camlp5_7.01-1+b1_amd64.deb 18-Sep-2017 12:55 3174794 camlp5_7.01-1+b1_arm64.deb 18-Sep-2017 12:45 3465048 camlp5_7.01-1+b1_i386.deb 18-Sep-2017 12:55 3077826 camlp5_7.01-1.debian.tar.xz 13-Jul-2017 03:10 7780 camlp5_7.01-1.dsc 13-Jul-2017 03:10 2009 camlp5_7.01.orig.tar.gz 13-Jul-2017 03:10 757118 camlp5_7.13-1+b1_amd64.deb 13-Oct-2020 01:28 3870756 camlp5_7.13-1+b1_arm64.deb 13-Oct-2020 01:28 4193144 camlp5_7.13-1+b1_i386.deb 13-Oct-2020 01:28 3839956 camlp5_7.13-1.debian.tar.xz 04-Sep-2020 06:58 7896 camlp5_7.13-1.dsc 04-Sep-2020 06:58 1713 camlp5_7.13.orig.tar.gz 04-Sep-2020 06:58 1020432 camlp5_8.00.04-1+b1_amd64.deb 12-Feb-2023 15:43 4667892 camlp5_8.00.04-1+b1_arm64.deb 12-Feb-2023 15:43 5119448 camlp5_8.00.04-1+b1_i386.deb 12-Feb-2023 15:38 4562712 camlp5_8.00.04-1.debian.tar.xz 20-Jan-2023 11:55 8148 camlp5_8.00.04-1.dsc 20-Jan-2023 11:55 1832 camlp5_8.00.04.orig.tar.gz 20-Jan-2023 11:55 1232659 camlp5_8.02.01-2+b5_amd64.deb 19-Feb-2024 02:49 5562836 camlp5_8.02.01-2+b5_arm64.deb 19-Feb-2024 02:54 6098120 camlp5_8.02.01-2+b5_i386.deb 19-Feb-2024 02:49 5226436 camlp5_8.02.01-2.debian.tar.xz 06-Sep-2023 08:28 7576 camlp5_8.02.01-2.dsc 06-Sep-2023 08:28 2014 camlp5_8.02.01.orig.tar.gz 06-Sep-2023 07:07 1260482
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.