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               29290
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               31391
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               31849
coq-deriving_0.2.2-1.debian.tar.xz                 30-Oct-2025 15:18                2304
coq-deriving_0.2.2-1.dsc                           30-Oct-2025 15:18                2125
coq-deriving_0.2.2-2.debian.tar.xz                 12-Nov-2025 03:47                2344
coq-deriving_0.2.2-2.dsc                           12-Nov-2025 03:47                2132
coq-deriving_0.2.2.orig.tar.gz                     30-Oct-2025 15:18               31954
libcoq-deriving_0.1.0-2+b1_amd64.deb               13-Feb-2023 15:28              423128
libcoq-deriving_0.2.0-1+b1_amd64.deb               16-Feb-2024 22:59              438568
libcoq-deriving_0.2.0-2+b1_amd64.deb               05-Jun-2024 07:37              463708
libcoq-deriving_0.2.0-2+b2_amd64.deb               15-Jun-2024 21:07              463692
libcoq-deriving_0.2.0-2_amd64.deb                  30-Apr-2024 23:06              463688
libcoq-deriving_0.2.0-3+b1_amd64.deb               09-Aug-2024 05:29              463764
libcoq-deriving_0.2.0-3+b2_amd64.deb               21-Aug-2024 15:59              463684
libcoq-deriving_0.2.0-3+b3_amd64.deb               31-Aug-2024 13:16              463760
libcoq-deriving_0.2.0-3+b4_amd64.deb               17-Sep-2024 19:38              463960
libcoq-deriving_0.2.0-3+b5_amd64.deb               13-Oct-2024 19:49              463900
libcoq-deriving_0.2.0-3+b7_amd64.deb               21-Nov-2024 08:03              446248
libcoq-deriving_0.2.0-3_amd64.deb                  05-Aug-2024 03:31              463828
libcoq-deriving_0.2.1-1+b10_amd64.deb              16-Sep-2025 19:37              494212
libcoq-deriving_0.2.1-1+b11_amd64.deb              24-Sep-2025 18:24              494180
libcoq-deriving_0.2.1-1+b12_amd64.deb              17-Oct-2025 20:46              493916
libcoq-deriving_0.2.1-1+b13_amd64.deb              29-Oct-2025 04:48              494240
libcoq-deriving_0.2.1-1+b15_amd64.deb              28-Dec-2025 14:17              494224
libcoq-deriving_0.2.1-1+b1_amd64.deb               20-Dec-2024 00:35              493688
libcoq-deriving_0.2.1-1+b2_amd64.deb               15-Jan-2025 14:42              493548
libcoq-deriving_0.2.1-1+b3_amd64.deb               29-Jan-2025 03:56              493752
libcoq-deriving_0.2.1-1+b6_amd64.deb               19-Mar-2025 02:46              494364
libcoq-deriving_0.2.1-1+b7_amd64.deb               15-Jun-2025 12:21              493732
libcoq-deriving_0.2.1-1+b8_amd64.deb               26-Aug-2025 20:06              494376
libcoq-deriving_0.2.1-1+b9_amd64.deb               12-Sep-2025 05:52              493896
libcoq-deriving_0.2.1-1_amd64.deb                  19-Dec-2024 00:38              447548
libcoq-deriving_0.2.2-1_amd64.deb                  30-Oct-2025 15:18              522268
libcoq-deriving_0.2.2-2_amd64.deb                  12-Nov-2025 03:47              655916