/ubuntu/pool/universe/c/coq-elpi/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
coq-elpi_1.13.0-1.debian.tar.xz	2.5 KiB	2022년 02월 11일 08시 14분
coq-elpi_1.13.0-1.dsc	2.0 KiB	2022년 02월 11일 08시 14분
coq-elpi_1.13.0.orig.tar.gz	351.6 KiB	2022년 02월 11일 08시 14분
coq-elpi_1.19.3-2build4.debian.tar.xz	3.8 KiB	2024년 04월 08일 16시 57분
coq-elpi_1.19.3-2build4.dsc	2.1 KiB	2024년 04월 08일 16시 57분
coq-elpi_1.19.3.orig.tar.gz	558.3 KiB	2023년 12월 23일 02시 26분
coq-elpi_2.4.0-1build1.debian.tar.xz	3.8 KiB	2025년 02월 19일 06시 25분
coq-elpi_2.4.0-1build1.dsc	2.0 KiB	2025년 02월 19일 06시 25분
coq-elpi_2.4.0.orig.tar.gz	717.5 KiB	2025년 02월 18일 10시 39분
coq-elpi_2.5.0-1.1build1.debian.tar.xz	3.8 KiB	2025년 09월 01일 04시 42분
coq-elpi_2.5.0-1.1build1.dsc	2.0 KiB	2025년 09월 01일 04시 42분
coq-elpi_2.5.0-1.2build3.debian.tar.xz	3.9 KiB	2026년 03월 02일 00시 46분
coq-elpi_2.5.0-1.2build3.dsc	2.0 KiB	2026년 03월 02일 00시 46분
coq-elpi_2.5.0.orig.tar.gz	728.5 KiB	2025년 05월 02일 01시 23분
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb	1.6 MiB	2022년 02월 11일 08시 34분
libcoq-elpi-ocaml_1.13.0-1_amd64.deb	4.8 MiB	2022년 02월 11일 08시 34분
libcoq-elpi_1.19.3-2build4_amd64.deb	3.0 MiB	2024년 04월 08일 16시 57분
libcoq-elpi_2.4.0-1build1_amd64.deb	12.9 MiB	2025년 02월 19일 06시 25분
libcoq-elpi_2.5.0-1.1build1_amd64.deb	12.4 MiB	2025년 09월 01일 12시 34분
libcoq-elpi_2.5.0-1.1build1_arm64.deb	13.1 MiB	2025년 09월 01일 12시 34분
libcoq-elpi_2.5.0-1.2build3_amd64.deb	13.4 MiB	2026년 03월 02일 00시 46분
libcoq-elpi_2.5.0-1.2build3_amd64v3.deb	13.4 MiB	2026년 03월 02일 04시 51분
libcoq-elpi_2.5.0-1.2build3_arm64.deb	14.1 MiB	2026년 03월 02일 00시 46분