Index of /rockos/trixie/rockos-base/pool/main/c/coq-deriving/

../
coq-deriving_0.2.1-1.debian.tar.xz                 04-Jan-2025 10:41    2220
coq-deriving_0.2.1-1.dsc                           04-Jan-2025 10:41    2125
coq-deriving_0.2.1.orig.tar.gz                     04-Jan-2025 10:41     31K
libcoq-deriving_0.2.1-1+b7_amd64.deb               21-Jun-2025 16:39    482K
libcoq-deriving_0.2.1-1+b7_riscv64.deb             21-Jun-2025 16:46    482K