Filename Modification time Size coq-elpi_1.13.0-1.debian.tar.xz 2022-02-11 00:14 CET 2584 B coq-elpi_1.13.0-1.dsc 2022-02-11 00:14 CET 2088 B coq-elpi_1.13.0.orig.tar.gz 2022-02-11 00:14 CET 352 KiB coq-elpi_1.19.3-2build4.debian.tar.xz 2024-04-08 09:57 CEST 3852 B coq-elpi_1.19.3-2build4.dsc 2024-04-08 09:57 CEST 2108 B coq-elpi_1.19.3.orig.tar.gz 2023-12-22 18:26 CET 558 KiB coq-elpi_2.4.0-1build1.debian.tar.xz 2025-02-18 22:25 CET 3848 B coq-elpi_2.4.0-1build1.dsc 2025-02-18 22:25 CET 2066 B coq-elpi_2.4.0.orig.tar.gz 2025-02-18 02:39 CET 718 KiB coq-elpi_2.5.0-1.1build1.debian.tar.xz 2025-08-31 21:42 CEST 3936 B coq-elpi_2.5.0-1.1build1.dsc 2025-08-31 21:42 CEST 2074 B coq-elpi_2.5.0-1.1ubuntu1.debian.tar.xz 2025-10-24 21:23 CEST 3988 B coq-elpi_2.5.0-1.1ubuntu1.dsc 2025-10-24 21:23 CEST 2078 B coq-elpi_2.5.0-1.2.debian.tar.xz 2025-11-05 09:46 CET 3920 B coq-elpi_2.5.0-1.2.dsc 2025-11-05 09:46 CET 2050 B coq-elpi_2.5.0.orig.tar.gz 2025-05-01 18:23 CEST 728 KiB libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 2022-02-11 00:34 CET 1671 KiB libcoq-elpi-ocaml_1.13.0-1_amd64.deb 2022-02-11 00:34 CET 4869 KiB libcoq-elpi_1.19.3-2build4_amd64.deb 2024-04-08 09:57 CEST 3104 KiB libcoq-elpi_2.4.0-1build1_amd64.deb 2025-02-18 22:25 CET 13 MiB libcoq-elpi_2.5.0-1.1build1_amd64.deb 2025-09-01 05:34 CEST 12 MiB libcoq-elpi_2.5.0-1.1ubuntu1_amd64.deb 2025-10-24 21:24 CEST 12 MiB libcoq-elpi_2.5.0-1.1ubuntu1_amd64v3.deb 2025-10-24 21:24 CEST 12 MiB libcoq-elpi_2.5.0-1.2_amd64.deb 2025-11-05 12:50 CET 12 MiB libcoq-elpi_2.5.0-1.2_amd64v3.deb 2025-11-05 12:51 CET 12 MiB
