/debian-ports/pool-ppc64/main/c/coq-elpi/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-elpi_1.17.1-1+b8_ppc64.buildinfo7.6 KiB27.08.2023 18:03
libcoq-elpi-dbgsym_1.17.1-1+b8_ppc64.deb77.7 KiB27.08.2023 18:03
libcoq-elpi_1.17.1-1+b8_ppc64.deb2.3 MiB27.08.2023 18:03