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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-elpi_1.19.3-2build4_amd64.deb3.0 MiB2024-Apr-08 10:57
libcoq-elpi_2.4.0-1build1_amd64.deb12.9 MiB2025-Feb-19 00:25
libcoq-elpi_2.5.0-1.1build1_amd64.deb12.4 MiB2025-Sep-01 06:34
libcoq-elpi_2.5.0-1.2build3_amd64.deb13.4 MiB2026-Mar-01 18:46