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.

Index of /raspbian/raspbian/pool/main/c/camlp5/

../
camlp5_7.01-1+b1_armhf.deb                         08-Jan-2018 04:08             3285744
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_armhf.deb                         08-Nov-2020 10:08             3993892
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.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-1_armhf.deb                         25-Jan-2023 10:08             4794680
camlp5_8.00.04.orig.tar.gz                         20-Jan-2023 11:55             1232659
camlp5_8.02.01-2+b1_armhf.deb                      28-Feb-2024 10:08             5297792
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.