Index of /pardus/pool/main/c/coq-relation-algebra/

../
coq-relation-algebra_1.7.11-1.debian.tar.xz        13-Aug-2025 05:02    2232
coq-relation-algebra_1.7.11-1.dsc                  13-Aug-2025 05:02    2251
coq-relation-algebra_1.7.11.orig.tar.gz            13-Aug-2025 05:02    192K
coq-relation-algebra_1.7.8-2.debian.tar.xz         10-Feb-2023 17:27    1656
coq-relation-algebra_1.7.8-2.dsc                   10-Feb-2023 17:27    2234
coq-relation-algebra_1.7.8.orig.tar.gz             28-Nov-2022 15:47    192K
libcoq-relation-algebra_1.7.11-1+b7_amd64.deb      13-Aug-2025 01:20      2M
libcoq-relation-algebra_1.7.11-1+b7_arm64.deb      13-Aug-2025 05:27      2M
libcoq-relation-algebra_1.7.8-2+b1_amd64.deb       28-Apr-2023 18:02      2M
libcoq-relation-algebra_1.7.8-2+b1_arm64.deb       28-Apr-2023 18:41      2M
libcoq-relation-algebra_1.7.8-2+b1_i386.deb        28-Apr-2023 19:10      2M