Index of /debian/pool/main/c/coq-deriving/

../
coq-deriving_0.1.0-2.debian.tar.xz                 26-Jan-2023 07:44    1968
coq-deriving_0.1.0-2.dsc                           26-Jan-2023 07:44    2113
coq-deriving_0.1.0.orig.tar.gz                     16-Jul-2022 02:56     29K
coq-deriving_0.2.0-1.debian.tar.xz                 22-Dec-2023 06:07    2104
coq-deriving_0.2.0-1.dsc                           22-Dec-2023 06:07    2113
coq-deriving_0.2.0-2.debian.tar.xz                 26-Apr-2024 09:06    2136
coq-deriving_0.2.0-2.dsc                           26-Apr-2024 09:06    2113
coq-deriving_0.2.0.orig.tar.gz                     22-Dec-2023 06:07     31K
libcoq-deriving_0.1.0-2+b1_amd64.deb               13-Feb-2023 02:28    413K
libcoq-deriving_0.1.0-2+b1_arm64.deb               13-Feb-2023 02:28    413K
libcoq-deriving_0.1.0-2+b1_armhf.deb               13-Feb-2023 02:28    412K
libcoq-deriving_0.1.0-2+b1_i386.deb                13-Feb-2023 02:08    412K
libcoq-deriving_0.1.0-2+b1_ppc64el.deb             13-Feb-2023 18:55    413K
libcoq-deriving_0.1.0-2+b1_s390x.deb               13-Feb-2023 05:15    413K
libcoq-deriving_0.2.0-1+b1_amd64.deb               16-Feb-2024 09:59    428K
libcoq-deriving_0.2.0-1+b1_arm64.deb               16-Feb-2024 12:36    428K
libcoq-deriving_0.2.0-1+b1_i386.deb                16-Feb-2024 10:04    428K
libcoq-deriving_0.2.0-1+b1_ppc64el.deb             16-Feb-2024 10:20    428K
libcoq-deriving_0.2.0-1+b1_s390x.deb               16-Feb-2024 10:04    428K
libcoq-deriving_0.2.0-1+b2_armhf.deb               31-Mar-2024 18:29    428K
libcoq-deriving_0.2.0-2+b1_amd64.deb               04-Jun-2024 18:37    453K
libcoq-deriving_0.2.0-2+b1_arm64.deb               05-Jun-2024 05:16    453K
libcoq-deriving_0.2.0-2+b1_armhf.deb               15-Jun-2024 08:17    452K
libcoq-deriving_0.2.0-2+b1_i386.deb                04-Jun-2024 18:32    453K
libcoq-deriving_0.2.0-2+b1_ppc64el.deb             07-Jun-2024 06:38    453K
libcoq-deriving_0.2.0-2+b1_riscv64.deb             05-Jun-2024 09:59    453K
libcoq-deriving_0.2.0-2+b1_s390x.deb               15-Jun-2024 19:43    453K
libcoq-deriving_0.2.0-2+b2_amd64.deb               15-Jun-2024 08:07    453K
libcoq-deriving_0.2.0-2+b2_arm64.deb               15-Jun-2024 10:18    453K
libcoq-deriving_0.2.0-2+b2_i386.deb                15-Jun-2024 08:01    452K
libcoq-deriving_0.2.0-2+b2_ppc64el.deb             15-Jun-2024 08:12    453K
libcoq-deriving_0.2.0-2+b2_riscv64.deb             15-Jun-2024 19:58    453K
libcoq-deriving_0.2.0-2_armhf.deb                  07-Jun-2024 05:42    452K
libcoq-deriving_0.2.0-2_s390x.deb                  07-Jun-2024 04:41    453K