Index of /raspbian/pool/main/c/coq-ext-lib/

../
coq-ext-lib_0.11.6-1.debian.tar.xz                 28-Jun-2022 06:22                1948
coq-ext-lib_0.11.6-1.dsc                           28-Jun-2022 06:22                2084
coq-ext-lib_0.11.6-2.debian.tar.xz                 16-Jul-2022 11:23                1956
coq-ext-lib_0.11.6-2.dsc                           16-Jul-2022 11:23                2084
coq-ext-lib_0.11.6.orig.tar.gz                     28-Jun-2022 06:22               82555
coq-ext-lib_0.11.7-1.debian.tar.xz                 13-Aug-2022 22:02                1988
coq-ext-lib_0.11.7-1.dsc                           13-Aug-2022 22:02                2084
coq-ext-lib_0.11.7-2.debian.tar.xz                 25-Jan-2023 07:06                2036
coq-ext-lib_0.11.7-2.dsc                           25-Jan-2023 07:06                2089
coq-ext-lib_0.11.7.orig.tar.gz                     13-Aug-2022 22:02               82956
coq-ext-lib_0.11.8-1.debian.tar.xz                 12-Jun-2023 20:28                2072
coq-ext-lib_0.11.8-1.dsc                           12-Jun-2023 20:28                2089
coq-ext-lib_0.11.8.orig.tar.gz                     12-Jun-2023 20:28               83119
coq-ext-lib_0.12.0-1.debian.tar.xz                 22-Dec-2023 10:16                2248
coq-ext-lib_0.12.0-1.dsc                           22-Dec-2023 10:16                2089
coq-ext-lib_0.12.0.orig.tar.gz                     22-Dec-2023 10:16               83450
coq-ext-lib_0.12.1-1.debian.tar.xz                 26-Apr-2024 13:46                2260
coq-ext-lib_0.12.1-1.dsc                           26-Apr-2024 13:46                2089
coq-ext-lib_0.12.1-2.debian.tar.xz                 03-Aug-2024 08:03                2328
coq-ext-lib_0.12.1-2.dsc                           03-Aug-2024 08:03                1861
coq-ext-lib_0.12.1.orig.tar.gz                     26-Apr-2024 13:46               84299
coq-ext-lib_0.12.2-1.debian.tar.xz                 20-Nov-2024 09:57                2348
coq-ext-lib_0.12.2-1.dsc                           20-Nov-2024 09:57                2089
coq-ext-lib_0.12.2.orig.tar.gz                     20-Nov-2024 09:57               85093
coq-ext-lib_0.13.0-1.debian.tar.xz                 09-Jan-2025 19:11                2368
coq-ext-lib_0.13.0-1.dsc                           09-Jan-2025 19:11                2101
coq-ext-lib_0.13.0.orig.tar.gz                     09-Jan-2025 19:11               85306
libcoq-ext-lib_0.11.6-1_armhf.deb                  10-Jul-2022 06:51              762832
libcoq-ext-lib_0.11.6-2_armhf.deb                  18-Jul-2022 10:08              762656
libcoq-ext-lib_0.11.7-1+b1_armhf.deb               17-Sep-2022 16:08              757328
libcoq-ext-lib_0.11.7-1+b2_armhf.deb               02-Dec-2022 16:08              757228
libcoq-ext-lib_0.11.7-1_armhf.deb                  17-Aug-2022 16:08              762884
libcoq-ext-lib_0.11.7-2+b1_armhf.deb               03-Feb-2023 02:54              757320
libcoq-ext-lib_0.11.7-2+b2_armhf.deb               21-May-2023 01:16              757448
libcoq-ext-lib_0.11.7-2_armhf.deb                  30-Jan-2023 22:08              757016
libcoq-ext-lib_0.11.8-1+b1_armhf.deb               20-Oct-2023 16:08              757592
libcoq-ext-lib_0.11.8-1_armhf.deb                  14-Sep-2023 19:36              759464
libcoq-ext-lib_0.12.0-1+b1_armhf.deb               24-Jan-2024 04:08              752288
libcoq-ext-lib_0.12.0-1+b2_armhf.deb               18-Jun-2024 10:56              752188
libcoq-ext-lib_0.12.1-1+b1_armhf.deb               24-Jun-2024 22:08              778296
libcoq-ext-lib_0.12.1-1_armhf.deb                  24-Jun-2024 10:08              751940
libcoq-ext-lib_0.12.1-2_armhf.deb                  04-Sep-2024 22:08              777996