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-ext-lib/


../
coq-ext-lib_0.11.7-2build2.debian.tar.xz           16-Feb-2023 18:50                2120
coq-ext-lib_0.11.7-2build2.dsc                     16-Feb-2023 18:50                2088
coq-ext-lib_0.11.7.orig.tar.gz                     14-Aug-2022 06:04               82956
coq-ext-lib_0.12.0-1build4.debian.tar.xz           08-Apr-2024 07:57                2492
coq-ext-lib_0.12.0-1build4.dsc                     08-Apr-2024 07:57                2167
coq-ext-lib_0.12.0.orig.tar.gz                     22-Dec-2023 17:26               83450
coq-ext-lib_0.12.1-2build4.debian.tar.xz           07-Sep-2024 15:43                2512
coq-ext-lib_0.12.1-2build4.dsc                     07-Sep-2024 15:43                2088
coq-ext-lib_0.12.1.orig.tar.gz                     02-May-2024 11:53               84299
coq-ext-lib_0.12.2-1.debian.tar.xz                 20-Nov-2024 18:47                2348
coq-ext-lib_0.12.2-1.dsc                           20-Nov-2024 18:47                2089
coq-ext-lib_0.12.2-1build1.debian.tar.xz           21-Nov-2024 03:11                2416
coq-ext-lib_0.12.2-1build1.dsc                     21-Nov-2024 03:11                2088
coq-ext-lib_0.12.2.orig.tar.gz                     20-Nov-2024 18:47               85093
libcoq-ext-lib_0.11.7-2build2_amd64.deb            16-Feb-2023 18:50              848834
libcoq-ext-lib_0.12.0-1build4_amd64.deb            08-Apr-2024 07:57              842022
libcoq-ext-lib_0.12.1-2build4_amd64.deb            07-Sep-2024 15:44              869474
libcoq-ext-lib_0.12.2-1_amd64.deb                  20-Nov-2024 23:31              854158
libcoq-ext-lib_0.12.2-1build1_amd64.deb            21-Nov-2024 03:11              854260

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.