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-ports/pool/universe/c/coq-quickchick/

../
coq-quickchick_1.6.4-3build3.debian.tar.xz         17-Feb-2023 07:29                2812
coq-quickchick_1.6.4-3build3.dsc                   17-Feb-2023 07:29                2260
coq-quickchick_1.6.4.orig.tar.gz                   15-Aug-2022 11:39              388461
coq-quickchick_2.0-2build1.debian.tar.xz           24-Jul-2023 17:37                2964
coq-quickchick_2.0-2build1.dsc                     24-Jul-2023 17:37                2260
coq-quickchick_2.0.2-1build5.debian.tar.xz         08-Apr-2024 07:57                3300
coq-quickchick_2.0.2-1build5.dsc                   08-Apr-2024 07:57                2353
coq-quickchick_2.0.2.orig.tar.gz                   20-Jan-2024 23:35              415619
coq-quickchick_2.0.3-2build6.debian.tar.xz         15-Jun-2024 14:43                2920
coq-quickchick_2.0.3-2build6.dsc                   15-Jun-2024 14:43                2274
coq-quickchick_2.0.3.orig.tar.gz                   02-May-2024 11:53              411625
coq-quickchick_2.0.orig.tar.gz                     14-Jun-2023 23:24              409785
libcoq-quickchick_1.6.4-3build3_arm64.deb          17-Feb-2023 07:29             1864406
libcoq-quickchick_1.6.4-3build3_armhf.deb          17-Feb-2023 07:29             1822652
libcoq-quickchick_2.0-2build1_arm64.deb            26-Jul-2023 09:58             2150838
libcoq-quickchick_2.0-2build1_armhf.deb            26-Jul-2023 09:58             2095626
libcoq-quickchick_2.0.2-1build5_arm64.deb          08-Apr-2024 14:36             2005084
libcoq-quickchick_2.0.2-1build5_armhf.deb          08-Apr-2024 14:36             1950766
libcoq-quickchick_2.0.3-2build6_arm64.deb          16-Jun-2024 02:13             3815666
libcoq-quickchick_2.0.3-2build6_armhf.deb          15-Jun-2024 23:58             3786764
quickchick_1.6.4-3build3_arm64.deb                 17-Feb-2023 07:29               63418
quickchick_1.6.4-3build3_armhf.deb                 17-Feb-2023 07:29               63416
quickchick_2.0-2build1_arm64.deb                   26-Jul-2023 09:58               63790
quickchick_2.0-2build1_armhf.deb                   26-Jul-2023 09:58               63792
quickchick_2.0.2-1build5_arm64.deb                 08-Apr-2024 14:36               66526
quickchick_2.0.2-1build5_armhf.deb                 08-Apr-2024 14:36               66526
quickchick_2.0.3-2build6_arm64.deb                 16-Jun-2024 02:13              527474
quickchick_2.0.3-2build6_armhf.deb                 15-Jun-2024 23:58              434432

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.