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/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.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-3build5.debian.tar.xz         17-Sep-2024 16:56                3008
coq-quickchick_2.0.3-3build5.dsc                   17-Sep-2024 16:56                2274
coq-quickchick_2.0.3-3build6.debian.tar.xz         20-Nov-2024 10:28                3036
coq-quickchick_2.0.3-3build6.dsc                   20-Nov-2024 10:28                2274
coq-quickchick_2.0.3.orig.tar.gz                   02-May-2024 11:53              411625
coq-quickchick_2.0.4-1.debian.tar.xz               20-Nov-2024 18:47                2876
coq-quickchick_2.0.4-1.dsc                         20-Nov-2024 18:47                2275
coq-quickchick_2.0.4-1build1.debian.tar.xz         21-Nov-2024 14:00                2944
coq-quickchick_2.0.4-1build1.dsc                   21-Nov-2024 14:00                2274
coq-quickchick_2.0.4.orig.tar.gz                   20-Nov-2024 18:47              412923
libcoq-quickchick_1.6.4-3build3_amd64.deb          17-Feb-2023 07:29             1822488
libcoq-quickchick_2.0.2-1build5_amd64.deb          08-Apr-2024 14:36             1950450
libcoq-quickchick_2.0.3-3build5_amd64.deb          19-Sep-2024 23:39             4546582
libcoq-quickchick_2.0.3-3build6_amd64.deb          20-Nov-2024 10:29             4546816
libcoq-quickchick_2.0.4-1_amd64.deb                20-Nov-2024 18:48             4558202
libcoq-quickchick_2.0.4-1build1_amd64.deb          21-Nov-2024 14:01             4527098
quickchick_1.6.4-3build3_amd64.deb                 17-Feb-2023 07:29               63418
quickchick_2.0.2-1build5_amd64.deb                 08-Apr-2024 14:36               66526
quickchick_2.0.3-3build5_amd64.deb                 19-Sep-2024 23:39              529564
quickchick_2.0.3-3build6_amd64.deb                 20-Nov-2024 10:29              529856
quickchick_2.0.4-1_amd64.deb                       20-Nov-2024 18:48              529864
quickchick_2.0.4-1build1_amd64.deb                 21-Nov-2024 14:01              529662

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.