Parent directory/ | - | - |
coq-elpi_2.1.0-1.dsc | 2.0 KiB | 26 Apr 2024 13:46:21 +0000 |
coq-elpi_2.2.3-1.dsc | 2.0 KiB | 20 Nov 2024 09:52:35 +0000 |
coq-elpi_2.3.0-1.dsc | 2.0 KiB | 18 Dec 2024 16:07:59 +0000 |
coq-elpi_2.1.0-1.debian.tar.xz | 3.6 KiB | 26 Apr 2024 13:46:21 +0000 |
coq-elpi_2.2.3-1.debian.tar.xz | 3.6 KiB | 20 Nov 2024 09:52:35 +0000 |
coq-elpi_2.3.0-1.debian.tar.xz | 3.7 KiB | 18 Dec 2024 16:07:59 +0000 |
coq-elpi_2.1.0.orig.tar.gz | 699.0 KiB | 26 Apr 2024 13:46:21 +0000 |
coq-elpi_2.3.0.orig.tar.gz | 717.4 KiB | 18 Dec 2024 16:07:59 +0000 |
coq-elpi_2.2.3.orig.tar.gz | 736.3 KiB | 20 Nov 2024 09:52:35 +0000 |
libcoq-elpi_2.1.0-1+b9_amd64.deb | 2.7 MiB | 12 Oct 2024 07:07:40 +0000 |
libcoq-elpi_2.1.0-1+b9_arm64.deb | 2.8 MiB | 12 Oct 2024 07:22:49 +0000 |
libcoq-elpi_2.2.3-1+b2_amd64.deb | 7.2 MiB | 20 Nov 2024 16:41:04 +0000 |
libcoq-elpi_2.2.3-1+b1_arm64.deb | 7.6 MiB | 20 Nov 2024 16:40:46 +0000 |
libcoq-elpi_2.3.0-1_amd64.deb | 11.2 MiB | 18 Dec 2024 19:20:38 +0000 |
libcoq-elpi_2.3.0-1_arm64.deb | 11.4 MiB | 18 Dec 2024 19:35:49 +0000 |