Mirror del Capitulo Mexicano de Software Libre

Descarga imágenes y paquetes. Si algo falta o ves errores, avísanos.

/trisquel/pool/main/e/eprover/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
eprover_3.0.03+ds-1.debian.tar.xz4.8 KiB2023-Dec-12 23:28
eprover_3.0.03+ds-1.dsc1.9 KiB2023-Dec-12 23:28
eprover_3.0.03+ds-1_amd64.deb1.5 MiB2023-Dec-12 23:28
eprover_3.0.03+ds-1_arm64.deb1.4 MiB2023-Dec-12 23:28
eprover_3.0.03+ds-1_armhf.deb1.2 MiB2023-Dec-13 00:17
eprover_3.0.03+ds-1_ppc64el.deb1.5 MiB2023-Dec-12 23:28
eprover_3.0.03+ds-1_riscv64.deb2.5 MiB2023-Dec-23 12:47
eprover_3.0.03+ds.orig.tar.xz1007.5 KiB2023-Dec-12 23:28

Impulsado por el CMXSL con Software Libre