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 /ubuntu/pool/universe/p/polyml/


../
libpolyml-dev_5.2.1-1.1_amd64.deb                  01-May-2012 15:14              243528
libpolyml-dev_5.2.1-1.1_i386.deb                   01-May-2012 12:36              222134
libpolyml-dev_5.6-3_amd64.deb                      16-Mar-2016 10:18              221984
libpolyml-dev_5.6-3_i386.deb                       16-Mar-2016 10:19              240152
libpolyml-dev_5.7.1-1_amd64.deb                    09-Dec-2017 11:08              217816
libpolyml-dev_5.7.1-1_i386.deb                     09-Dec-2017 11:08              239440
libpolyml-dev_5.7.1-4build1_amd64.deb              22-Mar-2020 18:10              221976
libpolyml-dev_5.7.1-4ubuntu1_amd64.deb             12-Sep-2021 12:44              252412
libpolyml-dev_5.7.1-5_amd64.deb                    03-Feb-2023 23:50              250142
libpolyml-dev_5.7.1-5build1_amd64.deb              22-Apr-2024 10:49              252424
libpolyml1_5.2.1-1.1_amd64.deb                     01-May-2012 15:14              173356
libpolyml1_5.2.1-1.1_i386.deb                      01-May-2012 12:36              168574
libpolyml7_5.6-3_amd64.deb                         16-Mar-2016 10:18              184068
libpolyml7_5.6-3_i386.deb                          16-Mar-2016 10:19              196912
libpolyml9_5.7.1-1_amd64.deb                       09-Dec-2017 11:08              182808
libpolyml9_5.7.1-1_i386.deb                        09-Dec-2017 11:08              196232
libpolyml9_5.7.1-4build1_amd64.deb                 22-Mar-2020 18:10              185796
libpolyml9_5.7.1-4ubuntu1_amd64.deb                12-Sep-2021 12:44              202328
libpolyml9_5.7.1-5_amd64.deb                       03-Feb-2023 23:50              200360
libpolyml9_5.7.1-5build1_amd64.deb                 22-Apr-2024 10:49              201150
polyml-modules_5.7.1-1_amd64.deb                   09-Dec-2017 11:08              502512
polyml-modules_5.7.1-1_i386.deb                    09-Dec-2017 11:08              472900
polyml-modules_5.7.1-4build1_amd64.deb             22-Mar-2020 18:10              501160
polyml-modules_5.7.1-4ubuntu1_amd64.deb            12-Sep-2021 12:44              678436
polyml-modules_5.7.1-5_amd64.deb                   03-Feb-2023 23:50              687250
polyml-modules_5.7.1-5build1_amd64.deb             22-Apr-2024 10:49              634058
polyml_5.2.1-1.1.diff.gz                           30-Apr-2012 23:51              475532
polyml_5.2.1-1.1.dsc                               30-Apr-2012 23:51                2087
polyml_5.2.1-1.1_amd64.deb                         01-May-2012 15:14             1326108
polyml_5.2.1-1.1_i386.deb                          01-May-2012 12:36             1181536
polyml_5.2.1.orig.tar.gz                           20-Nov-2009 20:04             4114551
polyml_5.6-3.debian.tar.xz                         16-Mar-2016 10:18               28008
polyml_5.6-3.dsc                                   16-Mar-2016 10:18                2049
polyml_5.6-3_amd64.deb                             16-Mar-2016 10:18             1764836
polyml_5.6-3_i386.deb                              16-Mar-2016 10:19             1122390
polyml_5.6.orig.tar.gz                             29-Jan-2016 05:24             5989514
polyml_5.7.1-1.debian.tar.xz                       08-Dec-2017 23:38               14028
polyml_5.7.1-1.dsc                                 08-Dec-2017 23:38                2155
polyml_5.7.1-1_amd64.deb                           09-Dec-2017 11:08             1994536
polyml_5.7.1-1_i386.deb                            09-Dec-2017 11:08             1226684
polyml_5.7.1-4build1.debian.tar.xz                 22-Mar-2020 17:19               21672
polyml_5.7.1-4build1.dsc                           22-Mar-2020 17:19                2166
polyml_5.7.1-4build1_amd64.deb                     22-Mar-2020 18:10             1994456
polyml_5.7.1-4ubuntu1.debian.tar.xz                12-Sep-2021 12:44               22156
polyml_5.7.1-4ubuntu1.dsc                          12-Sep-2021 12:44                2249
polyml_5.7.1-4ubuntu1_amd64.deb                    12-Sep-2021 12:44             2565580
polyml_5.7.1-5.debian.tar.xz                       03-Feb-2023 23:49               22388
polyml_5.7.1-5.dsc                                 03-Feb-2023 23:49                2119
polyml_5.7.1-5_amd64.deb                           03-Feb-2023 23:50             2465350
polyml_5.7.1-5build1.debian.tar.xz                 22-Apr-2024 10:48               22512
polyml_5.7.1-5build1.dsc                           22-Apr-2024 10:48                2251
polyml_5.7.1-5build1_amd64.deb                     22-Apr-2024 10:49             2464886
polyml_5.7.1.orig.tar.gz                           08-Dec-2017 23:38             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.