Mirror del Capitulo Mexicano de Software Libre

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

/trisquel/pool/main/c/coq-extructures/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-extructures_0.4.0-1build2.debian.tar.xz2.3 KiB2024-Feb-17 00:37
coq-extructures_0.4.0-1build2.dsc2.1 KiB2024-Feb-17 00:37
coq-extructures_0.4.0-1build5.debian.tar.xz2.4 KiB2024-Apr-08 07:57
coq-extructures_0.4.0-1build5.dsc2.2 KiB2024-Apr-08 07:57
coq-extructures_0.4.0.orig.tar.gz41.2 KiB2023-Dec-26 17:17
libcoq-extructures_0.4.0-1build2_amd64.deb714.4 KiB2024-Feb-17 16:32
libcoq-extructures_0.4.0-1build2_arm64.deb714.4 KiB2024-Mar-30 00:45
libcoq-extructures_0.4.0-1build2_armhf.deb714.2 KiB2024-Mar-30 00:53
libcoq-extructures_0.4.0-1build2_ppc64el.deb714.4 KiB2024-Feb-17 16:32
libcoq-extructures_0.4.0-1build2_riscv64.deb714.4 KiB2024-Mar-30 01:18
libcoq-extructures_0.4.0-1build5_amd64.deb714.6 KiB2024-Apr-09 06:03
libcoq-extructures_0.4.0-1build5_arm64.deb714.6 KiB2024-Apr-09 06:03
libcoq-extructures_0.4.0-1build5_armhf.deb714.3 KiB2024-Apr-09 06:03
libcoq-extructures_0.4.0-1build5_ppc64el.deb714.5 KiB2024-Apr-09 06:03
libcoq-extructures_0.4.0-1build5_riscv64.deb714.6 KiB2024-Apr-09 07:00

Impulsado por el CMXSL con Software Libre