The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.

Index of /ubuntu/pool/universe/x/xstrp4/


../
libxstrp4-camlp4-dev_1.8-4build1_all.deb           23-Dec-2013 17:28               14062
libxstrp4-camlp4-dev_1.8.1-3build1_all.deb         03-Nov-2015 21:40               14380
libxstrp4-camlp4-dev_1.8.1-4build1_all.deb         28-Oct-2017 10:19               14332
libxstrp4-camlp4-dev_1.8.2-2build1_all.deb         21-Feb-2020 08:18               29948
libxstrp4-camlp4-dev_1.8.2-5_all.deb               25-Jan-2022 23:44               38708
libxstrp4-camlp4-dev_1.8.2-7_amd64.deb             03-Nov-2023 04:19               40978
libxstrp4-camlp4-dev_1.8.2-7build1_amd64.deb       10-Aug-2024 16:06               36544
xstrp4_1.8-4build1.debian.tar.gz                   23-Dec-2013 16:48               27673
xstrp4_1.8-4build1.dsc                             23-Dec-2013 16:48                1345
xstrp4_1.8.1-3build1.debian.tar.xz                 03-Nov-2015 21:39               24876
xstrp4_1.8.1-3build1.dsc                           03-Nov-2015 21:39                1640
xstrp4_1.8.1-4build1.debian.tar.xz                 28-Oct-2017 10:18               24808
xstrp4_1.8.1-4build1.dsc                           28-Oct-2017 10:18                1970
xstrp4_1.8.1.orig.tar.gz                           06-May-2015 12:50                7547
xstrp4_1.8.2-2build1.debian.tar.xz                 21-Feb-2020 07:53                3072
xstrp4_1.8.2-2build1.dsc                           21-Feb-2020 07:53                2076
xstrp4_1.8.2-5.debian.tar.xz                       25-Jan-2022 23:23                3040
xstrp4_1.8.2-5.dsc                                 25-Jan-2022 23:23                1681
xstrp4_1.8.2-7.debian.tar.xz                       26-Oct-2023 17:19                3124
xstrp4_1.8.2-7.dsc                                 26-Oct-2023 17:19                1705
xstrp4_1.8.2-7build1.debian.tar.xz                 09-Aug-2024 13:49                3188
xstrp4_1.8.2-7build1.dsc                           09-Aug-2024 13:49                1938
xstrp4_1.8.2.orig.tar.gz                           11-May-2018 17:43                7583
xstrp4_1.8.orig.tar.gz                             04-May-2011 14:04                7513

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.