Index of /loongnix/25/pool/main/c/coq-deriving/

../
coq-deriving_0.2.0-3.debian.tar.xz                 15-Nov-2024 13:48                2208
coq-deriving_0.2.0-3.dsc                           15-Nov-2024 13:48                1885
coq-deriving_0.2.0.orig.tar.gz                     15-Nov-2024 13:48               31391
libcoq-deriving_0.2.0-3_loong64.deb                29-Oct-2024 22:16              463672