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


../
coq-deriving_0.1.0-2.debian.tar.xz                 26-Jan-2023 20:44    1968
coq-deriving_0.1.0-2.dsc                           26-Jan-2023 20:44    2113
coq-deriving_0.1.0.orig.tar.gz                     16-Jul-2022 15:56     29K
coq-deriving_0.2.0-1.debian.tar.xz                 22-Dec-2023 19:07    2104
coq-deriving_0.2.0-1.dsc                           22-Dec-2023 19:07    2113
coq-deriving_0.2.0-2.debian.tar.xz                 26-Apr-2024 22:06    2136
coq-deriving_0.2.0-2.dsc                           26-Apr-2024 22:06    2113
coq-deriving_0.2.0-3.debian.tar.xz                 04-Aug-2024 14:22    2208
coq-deriving_0.2.0-3.dsc                           04-Aug-2024 14:22    1885
coq-deriving_0.2.0.orig.tar.gz                     22-Dec-2023 19:07     31K
coq-deriving_0.2.1-1.debian.tar.xz                 19-Dec-2024 00:08    2220
coq-deriving_0.2.1-1.dsc                           19-Dec-2024 00:08    2125
coq-deriving_0.2.1.orig.tar.gz                     19-Dec-2024 00:08     31K
libcoq-deriving_0.1.0-2+b1_amd64.deb               13-Feb-2023 15:28    413K
libcoq-deriving_0.1.0-2+b1_arm64.deb               13-Feb-2023 15:28    413K
libcoq-deriving_0.1.0-2+b1_armhf.deb               13-Feb-2023 15:28    412K
libcoq-deriving_0.1.0-2+b1_i386.deb                13-Feb-2023 15:08    412K
libcoq-deriving_0.1.0-2+b1_ppc64el.deb             14-Feb-2023 07:55    413K
libcoq-deriving_0.1.0-2+b1_s390x.deb               13-Feb-2023 18:15    413K
libcoq-deriving_0.2.0-1+b1_amd64.deb               16-Feb-2024 22:59    428K
libcoq-deriving_0.2.0-1+b1_arm64.deb               17-Feb-2024 01:36    428K
libcoq-deriving_0.2.0-1+b1_i386.deb                16-Feb-2024 23:04    428K
libcoq-deriving_0.2.0-1+b1_ppc64el.deb             16-Feb-2024 23:20    428K
libcoq-deriving_0.2.0-1+b1_s390x.deb               16-Feb-2024 23:04    428K
libcoq-deriving_0.2.0-1+b2_armhf.deb               01-Apr-2024 07:29    428K
libcoq-deriving_0.2.0-2+b1_amd64.deb               05-Jun-2024 07:37    453K
libcoq-deriving_0.2.0-2+b1_arm64.deb               05-Jun-2024 18:16    453K
libcoq-deriving_0.2.0-2+b1_armhf.deb               15-Jun-2024 21:17    452K
libcoq-deriving_0.2.0-2+b1_i386.deb                05-Jun-2024 07:32    453K
libcoq-deriving_0.2.0-2+b1_ppc64el.deb             07-Jun-2024 19:38    453K
libcoq-deriving_0.2.0-2+b1_riscv64.deb             05-Jun-2024 22:59    453K
libcoq-deriving_0.2.0-2+b1_s390x.deb               16-Jun-2024 08:43    453K
libcoq-deriving_0.2.0-2+b2_amd64.deb               15-Jun-2024 21:07    453K
libcoq-deriving_0.2.0-2+b2_arm64.deb               15-Jun-2024 23:18    453K
libcoq-deriving_0.2.0-2+b2_i386.deb                15-Jun-2024 21:01    452K
libcoq-deriving_0.2.0-2+b2_ppc64el.deb             15-Jun-2024 21:12    453K
libcoq-deriving_0.2.0-2+b2_riscv64.deb             16-Jun-2024 08:58    453K
libcoq-deriving_0.2.0-2_armhf.deb                  07-Jun-2024 18:42    452K
libcoq-deriving_0.2.0-2_s390x.deb                  07-Jun-2024 17:41    453K
libcoq-deriving_0.2.0-3+b1_amd64.deb               09-Aug-2024 05:29    453K
libcoq-deriving_0.2.0-3+b1_arm64.deb               09-Aug-2024 06:07    453K
libcoq-deriving_0.2.0-3+b1_riscv64.deb             09-Aug-2024 22:40    453K
libcoq-deriving_0.2.0-3+b1_s390x.deb               12-Aug-2024 15:00    453K
libcoq-deriving_0.2.0-3+b2_amd64.deb               21-Aug-2024 15:59    453K
libcoq-deriving_0.2.0-3+b2_arm64.deb               21-Aug-2024 17:36    453K
libcoq-deriving_0.2.0-3+b2_riscv64.deb             22-Aug-2024 10:14    453K
libcoq-deriving_0.2.0-3+b2_s390x.deb               21-Aug-2024 16:46    453K
libcoq-deriving_0.2.0-3+b3_amd64.deb               31-Aug-2024 13:16    453K
libcoq-deriving_0.2.0-3+b3_arm64.deb               31-Aug-2024 13:16    453K
libcoq-deriving_0.2.0-3+b3_ppc64el.deb             31-Aug-2024 11:39    453K
libcoq-deriving_0.2.0-3+b3_riscv64.deb             01-Sep-2024 03:36    453K
libcoq-deriving_0.2.0-3+b3_s390x.deb               31-Aug-2024 14:11    453K
libcoq-deriving_0.2.0-3+b4_amd64.deb               17-Sep-2024 19:38    453K
libcoq-deriving_0.2.0-3+b4_arm64.deb               17-Sep-2024 19:38    453K
libcoq-deriving_0.2.0-3+b4_ppc64el.deb             17-Sep-2024 19:38    453K
libcoq-deriving_0.2.0-3+b4_riscv64.deb             18-Sep-2024 13:08    453K
libcoq-deriving_0.2.0-3+b4_s390x.deb               17-Sep-2024 19:38    453K
libcoq-deriving_0.2.0-3+b5_amd64.deb               13-Oct-2024 19:49    453K
libcoq-deriving_0.2.0-3+b5_arm64.deb               13-Oct-2024 20:25    453K
libcoq-deriving_0.2.0-3+b5_ppc64el.deb             13-Oct-2024 20:45    454K
libcoq-deriving_0.2.0-3+b5_riscv64.deb             14-Oct-2024 09:35    453K
libcoq-deriving_0.2.0-3+b5_s390x.deb               13-Oct-2024 20:04    453K
libcoq-deriving_0.2.0-3+b6_arm64.deb               21-Nov-2024 04:10    435K
libcoq-deriving_0.2.0-3+b6_ppc64el.deb             21-Nov-2024 02:43    436K
libcoq-deriving_0.2.0-3+b6_riscv64.deb             21-Nov-2024 14:41    436K
libcoq-deriving_0.2.0-3+b6_s390x.deb               21-Nov-2024 10:40    440K
libcoq-deriving_0.2.0-3+b7_amd64.deb               21-Nov-2024 08:03    436K
libcoq-deriving_0.2.0-3+b7_s390x.deb               22-Nov-2024 16:36    436K
libcoq-deriving_0.2.0-3_amd64.deb                  05-Aug-2024 03:31    453K
libcoq-deriving_0.2.0-3_arm64.deb                  05-Aug-2024 03:36    453K
libcoq-deriving_0.2.0-3_armhf.deb                  05-Aug-2024 05:47    452K
libcoq-deriving_0.2.0-3_i386.deb                   05-Aug-2024 03:51    452K
libcoq-deriving_0.2.0-3_ppc64el.deb                05-Aug-2024 05:02    453K
libcoq-deriving_0.2.0-3_riscv64.deb                05-Aug-2024 15:38    453K
libcoq-deriving_0.2.0-3_s390x.deb                  05-Aug-2024 08:45    453K
libcoq-deriving_0.2.1-1+b1_amd64.deb               20-Dec-2024 00:35    482K
libcoq-deriving_0.2.1-1+b1_arm64.deb               20-Dec-2024 02:16    482K
libcoq-deriving_0.2.1-1+b1_ppc64el.deb             20-Dec-2024 00:50    482K
libcoq-deriving_0.2.1-1+b1_riscv64.deb             20-Dec-2024 02:36    483K
libcoq-deriving_0.2.1-1+b1_s390x.deb               22-Dec-2024 09:59    482K
libcoq-deriving_0.2.1-1+b2_amd64.deb               15-Jan-2025 14:42    482K
libcoq-deriving_0.2.1-1+b2_arm64.deb               15-Jan-2025 16:14    482K
libcoq-deriving_0.2.1-1+b2_ppc64el.deb             15-Jan-2025 15:17    482K
libcoq-deriving_0.2.1-1+b2_riscv64.deb             16-Jan-2025 04:21    483K
libcoq-deriving_0.2.1-1+b2_s390x.deb               15-Jan-2025 19:01    482K
libcoq-deriving_0.2.1-1+b3_amd64.deb               29-Jan-2025 03:56    482K
libcoq-deriving_0.2.1-1+b3_arm64.deb               29-Jan-2025 08:25    483K
libcoq-deriving_0.2.1-1+b3_ppc64el.deb             29-Jan-2025 03:05    482K
libcoq-deriving_0.2.1-1+b3_riscv64.deb             29-Jan-2025 23:29    483K
libcoq-deriving_0.2.1-1+b3_s390x.deb               30-Jan-2025 18:09    482K
libcoq-deriving_0.2.1-1+b4_amd64.deb               14-Feb-2025 01:31    482K
libcoq-deriving_0.2.1-1+b4_arm64.deb               14-Feb-2025 02:27    482K
libcoq-deriving_0.2.1-1+b4_ppc64el.deb             14-Feb-2025 02:07    482K
libcoq-deriving_0.2.1-1+b4_riscv64.deb             14-Feb-2025 14:35    482K
libcoq-deriving_0.2.1-1+b4_s390x.deb               15-Feb-2025 01:41    482K
libcoq-deriving_0.2.1-1+b5_amd64.deb               18-Feb-2025 10:58    482K
libcoq-deriving_0.2.1-1+b5_arm64.deb               18-Feb-2025 13:49    482K
libcoq-deriving_0.2.1-1+b5_ppc64el.deb             18-Feb-2025 09:37    482K
libcoq-deriving_0.2.1-1+b5_riscv64.deb             18-Feb-2025 23:29    482K
libcoq-deriving_0.2.1-1+b5_s390x.deb               19-Feb-2025 04:05    483K
libcoq-deriving_0.2.1-1+b6_amd64.deb               19-Mar-2025 02:46    483K
libcoq-deriving_0.2.1-1+b6_arm64.deb               19-Mar-2025 03:12    483K
libcoq-deriving_0.2.1-1+b6_ppc64el.deb             19-Mar-2025 03:06    483K
libcoq-deriving_0.2.1-1+b6_riscv64.deb             19-Mar-2025 14:47    482K
libcoq-deriving_0.2.1-1+b6_s390x.deb               19-Mar-2025 07:58    483K
libcoq-deriving_0.2.1-1+b7_amd64.deb               15-Jun-2025 12:21    482K
libcoq-deriving_0.2.1-1+b7_arm64.deb               15-Jun-2025 15:38    482K
libcoq-deriving_0.2.1-1+b7_ppc64el.deb             15-Jun-2025 16:49    482K
libcoq-deriving_0.2.1-1+b7_riscv64.deb             18-Jun-2025 05:20    482K
libcoq-deriving_0.2.1-1+b7_s390x.deb               18-Jun-2025 06:47    482K
libcoq-deriving_0.2.1-1_amd64.deb                  19-Dec-2024 00:38    437K
libcoq-deriving_0.2.1-1_arm64.deb                  19-Dec-2024 00:38    437K
libcoq-deriving_0.2.1-1_ppc64el.deb                19-Dec-2024 00:33    437K
libcoq-deriving_0.2.1-1_riscv64.deb                19-Dec-2024 00:59    437K
libcoq-deriving_0.2.1-1_s390x.deb                  19-Dec-2024 00:38    437K