Filename Modification time Size coq-relation-algebra_1.7.9-2build5.debian.tar.xz 2024-04-08 09:57 CEST 2564 B coq-relation-algebra_1.7.9-2build5.dsc 2024-04-08 09:57 CEST 2322 B coq-relation-algebra_1.7.9.orig.tar.gz 2023-06-15 01:24 CEST 192 KiB coq-relation-algebra_1.7.10-4build6.debian.tar.xz 2024-09-17 18:56 CEST 2388 B coq-relation-algebra_1.7.10-4build6.dsc 2024-09-17 18:56 CEST 2250 B coq-relation-algebra_1.7.10.orig.tar.gz 2024-05-02 13:53 CEST 192 KiB coq-relation-algebra_1.7.11-1build1.debian.tar.xz 2024-12-20 15:16 CET 2304 B coq-relation-algebra_1.7.11-1build1.dsc 2024-12-20 15:16 CET 2250 B coq-relation-algebra_1.7.11-1build3.debian.tar.xz 2025-01-31 09:45 CET 2360 B coq-relation-algebra_1.7.11-1build3.dsc 2025-01-31 09:45 CET 2250 B coq-relation-algebra_1.7.11.orig.tar.gz 2024-11-20 19:47 CET 192 KiB libcoq-relation-algebra_1.7.9-2build5_amd64.deb 2024-04-08 16:36 CEST 2305 KiB libcoq-relation-algebra_1.7.10-4build6_amd64.deb 2024-09-20 01:39 CEST 2387 KiB libcoq-relation-algebra_1.7.11-1build1_amd64.deb 2024-12-20 15:16 CET 2369 KiB libcoq-relation-algebra_1.7.11-1build2_amd64.deb 2025-01-26 10:36 CET 2369 KiB libcoq-relation-algebra_1.7.11-1build3_amd64.deb 2025-02-02 03:04 CET 2369 KiB
