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/p/polyml/


../
libpolyml-dev_5.7.1-2_armhf.deb                    03-Jul-2018 10:08              196204
libpolyml-dev_5.7.1-4+b3_armhf.deb                 30-Nov-2020 10:08              198420
libpolyml-dev_5.7.1-5_armhf.deb                    08-Feb-2023 10:08              193008
libpolyml9_5.7.1-2_armhf.deb                       03-Jul-2018 10:08              163764
libpolyml9_5.7.1-4+b3_armhf.deb                    30-Nov-2020 10:08              166252
libpolyml9_5.7.1-5_armhf.deb                       08-Feb-2023 10:08              162724
polyml-modules_5.7.1-2_armhf.deb                   03-Jul-2018 10:08              472400
polyml-modules_5.7.1-4+b3_armhf.deb                30-Nov-2020 10:08              474640
polyml-modules_5.7.1-5_armhf.deb                   08-Feb-2023 10:08              465760
polyml_5.7.1-2.debian.tar.xz                       30-Jun-2018 16:38               21024
polyml_5.7.1-2.dsc                                 30-Jun-2018 16:38                2117
polyml_5.7.1-2_armhf.deb                           03-Jul-2018 10:08              895332
polyml_5.7.1-4+b3_armhf.deb                        30-Nov-2020 10:08              896384
polyml_5.7.1-4.debian.tar.xz                       19-Jan-2020 15:29               21596
polyml_5.7.1-4.dsc                                 19-Jan-2020 15:29                2142
polyml_5.7.1-5.debian.tar.xz                       03-Feb-2023 00:54               22388
polyml_5.7.1-5.dsc                                 03-Feb-2023 00:54                2119
polyml_5.7.1-5_armhf.deb                           08-Feb-2023 10:08              892892
polyml_5.7.1.orig.tar.gz                           08-Dec-2017 16:56             7278435

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.