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

../
coq-deriving_0.1.0-2.debian.tar.xz                 20-Jan-2026 02:22    1968
coq-deriving_0.1.0-2.dsc                           20-Jan-2026 02:22    2113
coq-deriving_0.1.0.orig.tar.gz                     20-Jan-2026 02:22     29K
coq-deriving_0.2.1-1.debian.tar.xz                 18-Jan-2026 09:21    2220
coq-deriving_0.2.1-1.dsc                           18-Jan-2026 09:21    2125
coq-deriving_0.2.1.orig.tar.gz                     18-Jan-2026 09:21     31K
libcoq-deriving_0.1.0-2+b1_amd64.deb               20-Jan-2026 09:03    413K
libcoq-deriving_0.1.0-2+b1_i386.deb                20-Jan-2026 09:03    412K
libcoq-deriving_0.2.1-1+b7_amd64.deb               18-Jan-2026 19:52    482K