Index of /ubuntu/pool/universe/c/coq-ext-lib/
../
coq-ext-lib_0.11.7-2build2.debian.tar.xz 17-Feb-2023 01:50 2120
coq-ext-lib_0.11.7-2build2.dsc 17-Feb-2023 01:50 2088
coq-ext-lib_0.11.7.orig.tar.gz 14-Aug-2022 13:04 81K
coq-ext-lib_0.11.8-1build1.debian.tar.xz 26-Jul-2023 12:19 2140
coq-ext-lib_0.11.8-1build1.dsc 26-Jul-2023 12:19 2088
coq-ext-lib_0.11.8-1build2.debian.tar.xz 06-Nov-2023 23:14 2172
coq-ext-lib_0.11.8-1build2.dsc 06-Nov-2023 23:14 2088
coq-ext-lib_0.11.8-1build3.debian.tar.xz 23-Nov-2023 07:05 2180
coq-ext-lib_0.11.8-1build3.dsc 23-Nov-2023 07:05 2088
coq-ext-lib_0.11.8.orig.tar.gz 13-Jun-2023 12:30 81K
coq-ext-lib_0.12.0-1.debian.tar.xz 23-Dec-2023 00:26 2248
coq-ext-lib_0.12.0-1.dsc 23-Dec-2023 00:26 2089
coq-ext-lib_0.12.0-1build1.debian.tar.xz 23-Dec-2023 08:42 2320
coq-ext-lib_0.12.0-1build1.dsc 23-Dec-2023 08:42 2088
coq-ext-lib_0.12.0-1build2.debian.tar.xz 24-Mar-2024 07:53 2408
coq-ext-lib_0.12.0-1build2.dsc 24-Mar-2024 07:53 2204
coq-ext-lib_0.12.0-1build3.debian.tar.xz 01-Apr-2024 01:36 2448
coq-ext-lib_0.12.0-1build3.dsc 01-Apr-2024 01:36 2204
coq-ext-lib_0.12.0-1build4.debian.tar.xz 08-Apr-2024 14:57 2492
coq-ext-lib_0.12.0-1build4.dsc 08-Apr-2024 14:57 2167
coq-ext-lib_0.12.0.orig.tar.gz 23-Dec-2023 00:26 81K
coq-ext-lib_0.12.1-1.debian.tar.xz 02-May-2024 18:53 2260
coq-ext-lib_0.12.1-1.dsc 02-May-2024 18:53 2089
coq-ext-lib_0.12.1-1build1.debian.tar.xz 03-May-2024 03:28 2336
coq-ext-lib_0.12.1-1build1.dsc 03-May-2024 03:28 2088
coq-ext-lib_0.12.1-1build2.debian.tar.xz 14-May-2024 01:39 2352
coq-ext-lib_0.12.1-1build2.dsc 14-May-2024 01:39 2088
coq-ext-lib_0.12.1-1build3.debian.tar.xz 15-Jun-2024 21:43 2364
coq-ext-lib_0.12.1-1build3.dsc 15-Jun-2024 21:43 2088
coq-ext-lib_0.12.1-2.debian.tar.xz 04-Aug-2024 01:22 2328
coq-ext-lib_0.12.1-2.dsc 04-Aug-2024 01:22 1861
coq-ext-lib_0.12.1-2build1.debian.tar.xz 04-Aug-2024 23:09 2408
coq-ext-lib_0.12.1-2build1.dsc 04-Aug-2024 23:09 2088
coq-ext-lib_0.12.1-2build2.debian.tar.xz 15-Aug-2024 14:47 2452
coq-ext-lib_0.12.1-2build2.dsc 15-Aug-2024 14:47 2088
coq-ext-lib_0.12.1-2build3.debian.tar.xz 07-Sep-2024 06:05 2504
coq-ext-lib_0.12.1-2build3.dsc 07-Sep-2024 06:05 2088
coq-ext-lib_0.12.1-2build4.debian.tar.xz 07-Sep-2024 22:43 2512
coq-ext-lib_0.12.1-2build4.dsc 07-Sep-2024 22:43 2088
coq-ext-lib_0.12.1.orig.tar.gz 02-May-2024 18:53 82K
coq-ext-lib_0.12.2-1.debian.tar.xz 21-Nov-2024 01:47 2348
coq-ext-lib_0.12.2-1.dsc 21-Nov-2024 01:47 2089
coq-ext-lib_0.12.2-1build1.debian.tar.xz 21-Nov-2024 10:11 2416
coq-ext-lib_0.12.2-1build1.dsc 21-Nov-2024 10:11 2088
coq-ext-lib_0.12.2.orig.tar.gz 21-Nov-2024 01:47 83K
coq-ext-lib_0.13.0-1.debian.tar.xz 10-Jan-2025 07:33 2368
coq-ext-lib_0.13.0-1.dsc 10-Jan-2025 07:33 2101
coq-ext-lib_0.13.0-1build1.debian.tar.xz 02-Feb-2025 09:04 2444
coq-ext-lib_0.13.0-1build1.dsc 02-Feb-2025 09:04 2088
coq-ext-lib_0.13.0-1build2.debian.tar.xz 14-Feb-2025 06:33 2500
coq-ext-lib_0.13.0-1build2.dsc 14-Feb-2025 06:33 2088
coq-ext-lib_0.13.0-1build3.debian.tar.xz 19-Feb-2025 04:25 2540
coq-ext-lib_0.13.0-1build3.dsc 19-Feb-2025 04:25 2088
coq-ext-lib_0.13.0-1build4.debian.tar.xz 20-Jun-2025 20:22 2568
coq-ext-lib_0.13.0-1build4.dsc 20-Jun-2025 20:22 2088
coq-ext-lib_0.13.0.orig.tar.gz 10-Jan-2025 07:33 83K
libcoq-ext-lib_0.11.7-2build2_amd64.deb 17-Feb-2023 01:50 829K
libcoq-ext-lib_0.11.8-1build1_amd64.deb 26-Jul-2023 13:22 829K
libcoq-ext-lib_0.11.8-1build2_amd64.deb 06-Nov-2023 23:14 829K
libcoq-ext-lib_0.11.8-1build3_amd64.deb 23-Nov-2023 07:05 829K
libcoq-ext-lib_0.12.0-1_amd64.deb 23-Dec-2023 00:27 1M
libcoq-ext-lib_0.12.0-1build1_amd64.deb 23-Dec-2023 08:42 1M
libcoq-ext-lib_0.12.0-1build2_amd64.deb 24-Mar-2024 07:53 822K
libcoq-ext-lib_0.12.0-1build3_amd64.deb 01-Apr-2024 02:32 822K
libcoq-ext-lib_0.12.0-1build4_amd64.deb 08-Apr-2024 14:57 822K
libcoq-ext-lib_0.12.1-1_amd64.deb 02-May-2024 18:53 822K
libcoq-ext-lib_0.12.1-1build1_amd64.deb 03-May-2024 03:28 850K
libcoq-ext-lib_0.12.1-1build2_amd64.deb 14-May-2024 01:40 850K
libcoq-ext-lib_0.12.1-1build3_amd64.deb 15-Jun-2024 21:43 849K
libcoq-ext-lib_0.12.1-2_amd64.deb 04-Aug-2024 01:22 849K
libcoq-ext-lib_0.12.1-2build1_amd64.deb 04-Aug-2024 23:09 849K
libcoq-ext-lib_0.12.1-2build2_amd64.deb 15-Aug-2024 14:47 849K
libcoq-ext-lib_0.12.1-2build3_amd64.deb 07-Sep-2024 06:05 849K
libcoq-ext-lib_0.12.1-2build4_amd64.deb 07-Sep-2024 22:44 849K
libcoq-ext-lib_0.12.2-1_amd64.deb 21-Nov-2024 06:31 834K
libcoq-ext-lib_0.12.2-1build1_amd64.deb 21-Nov-2024 10:11 834K
libcoq-ext-lib_0.13.0-1_amd64.deb 10-Jan-2025 07:36 834K
libcoq-ext-lib_0.13.0-1build1_amd64.deb 02-Feb-2025 09:04 834K
libcoq-ext-lib_0.13.0-1build2_amd64.deb 14-Feb-2025 07:54 834K
libcoq-ext-lib_0.13.0-1build3_amd64.deb 19-Feb-2025 04:25 834K
libcoq-ext-lib_0.13.0-1build4_amd64.deb 20-Jun-2025 20:23 831K