| / | | |
| coq-relation-algebra_1.7.11-1.debian.tar.xz | 2,232 | Wed, 20 Nov 2024 10:07:51 +0000 |
| coq-relation-algebra_1.7.11-1.dsc | 2,251 | Wed, 20 Nov 2024 10:07:51 +0000 |
| coq-relation-algebra_1.7.11.orig.tar.gz | 196,680 | Wed, 20 Nov 2024 10:07:51 +0000 |
| coq-relation-algebra_1.7.8-2.debian.tar.xz | 1,656 | Thu, 26 Jan 2023 12:44:33 +0000 |
| coq-relation-algebra_1.7.8-2.dsc | 2,234 | Thu, 26 Jan 2023 12:44:33 +0000 |
| coq-relation-algebra_1.7.8.orig.tar.gz | 196,590 | Fri, 23 Sep 2022 14:29:43 +0000 |
| libcoq-relation-algebra_1.7.11-1+b7_amd64.deb | 2,083,588 | Sun, 15 Jun 2025 04:21:46 +0000 |
| libcoq-relation-algebra_1.7.11-1+b7_arm64.deb | 2,085,792 | Sun, 15 Jun 2025 07:38:49 +0000 |
| libcoq-relation-algebra_1.7.11-1+b7_ppc64el.deb | 2,082,672 | Sun, 15 Jun 2025 08:49:07 +0000 |
| libcoq-relation-algebra_1.7.11-1+b7_riscv64.deb | 2,085,960 | Tue, 17 Jun 2025 21:47:04 +0000 |
| libcoq-relation-algebra_1.7.11-1+b8_s390x.deb | 2,083,972 | Tue, 17 Jun 2025 22:48:01 +0000 |
| libcoq-relation-algebra_1.7.8-2+b1_amd64.deb | 2,036,796 | Mon, 13 Feb 2023 07:28:47 +0000 |
| libcoq-relation-algebra_1.7.8-2+b1_arm64.deb | 2,041,016 | Mon, 13 Feb 2023 07:44:10 +0000 |
| libcoq-relation-algebra_1.7.8-2+b1_armhf.deb | 2,035,812 | Mon, 13 Feb 2023 07:28:48 +0000 |
| libcoq-relation-algebra_1.7.8-2+b1_i386.deb | 2,027,348 | Mon, 13 Feb 2023 07:39:01 +0000 |
| libcoq-relation-algebra_1.7.8-2+b1_ppc64el.deb | 2,038,844 | Tue, 14 Feb 2023 00:11:21 +0000 |
| libcoq-relation-algebra_1.7.8-2+b1_s390x.deb | 2,039,412 | Mon, 13 Feb 2023 10:20:11 +0000 |