coq-elpi

Name	Size	Modified
Up
coq-elpi_1.16.0-2.debian.tar.xz	3.3 KiB	01/25/2023 06:56:49 AM +00:00
coq-elpi_1.16.0-2.dsc	2.0 KiB	01/25/2023 06:56:49 AM +00:00
coq-elpi_1.16.0.orig.tar.gz	416 KiB	11/20/2022 03:35:02 PM +00:00
coq-elpi_2.1.0-1.debian.tar.xz	3.6 KiB	04/26/2024 01:46:21 PM +00:00
coq-elpi_2.1.0-1.dsc	2.0 KiB	04/26/2024 01:46:21 PM +00:00
coq-elpi_2.1.0.orig.tar.gz	699 KiB	04/26/2024 01:46:21 PM +00:00
coq-elpi_2.2.3-1.debian.tar.xz	3.6 KiB	11/20/2024 09:52:35 AM +00:00
coq-elpi_2.2.3-1.dsc	2.0 KiB	11/20/2024 09:52:35 AM +00:00
coq-elpi_2.2.3.orig.tar.gz	736 KiB	11/20/2024 09:52:35 AM +00:00
libcoq-elpi_1.16.0-2+b1_amd64.deb	2.3 MiB	02/14/2023 09:59:13 AM +00:00
libcoq-elpi_1.16.0-2+b1_arm64.deb	2.4 MiB	02/14/2023 09:59:27 AM +00:00
libcoq-elpi_1.16.0-2+b1_i386.deb	2.2 MiB	02/14/2023 09:49:06 AM +00:00
libcoq-elpi_1.16.0-2+b1_ppc64el.deb	2.3 MiB	02/14/2023 10:44:54 AM +00:00
libcoq-elpi_2.1.0-1+b8_s390x.deb	2.7 MiB	10/12/2024 07:22:53 AM +00:00
libcoq-elpi_2.1.0-1+b9_amd64.deb	2.7 MiB	10/12/2024 07:07:40 AM +00:00
libcoq-elpi_2.1.0-1+b9_arm64.deb	2.8 MiB	10/12/2024 07:22:49 AM +00:00
libcoq-elpi_2.1.0-1+b9_ppc64el.deb	2.7 MiB	10/12/2024 07:22:47 AM +00:00
libcoq-elpi_2.1.0-1+b9_riscv64.deb	2.7 MiB	10/12/2024 10:45:30 AM +00:00
libcoq-elpi_2.2.3-1+b1_amd64.deb	7.2 MiB	11/20/2024 02:57:11 PM +00:00
libcoq-elpi_2.2.3-1+b1_arm64.deb	7.6 MiB	11/20/2024 04:40:46 PM +00:00
libcoq-elpi_2.2.3-1+b1_ppc64el.deb	7.5 MiB	11/20/2024 04:40:44 PM +00:00
libcoq-elpi_2.2.3-1+b1_s390x.deb	7.6 MiB	11/20/2024 07:39:51 PM +00:00
libcoq-elpi_2.2.3-1+b2_amd64.deb	7.2 MiB	11/20/2024 04:41:04 PM +00:00
libcoq-elpi_2.2.3-1+b2_s390x.deb	7.4 MiB	11/21/2024 01:03:48 PM +00:00
libcoq-elpi_2.2.3-1_amd64.deb	8.7 MiB	11/20/2024 10:28:06 AM +00:00
libcoq-elpi_2.2.3-1_arm64.deb	8.9 MiB	11/20/2024 10:33:22 AM +00:00
libcoq-elpi_2.2.3-1_ppc64el.deb	8.8 MiB	11/20/2024 10:23:03 AM +00:00
libcoq-elpi_2.2.3-1_riscv64.deb	7.9 MiB	11/20/2024 03:53:19 PM +00:00
libcoq-elpi_2.2.3-1_s390x.deb	8.7 MiB	11/20/2024 10:38:31 AM +00:00