Index of /debian/pool/main/c/coq-reglang/

Name	Last Modified	Size
Parent Directory
coq-reglang_1.1.3-2.debian.tar.xz	26-01-2023 12:44	12k
coq-reglang_1.1.3-2.dsc	26-01-2023 12:44	4k
coq-reglang_1.1.3.orig.tar.gz	15-07-2022 21:06	68k
coq-reglang_1.2.1-1.debian.tar.xz	20-01-2024 20:13	12k
coq-reglang_1.2.1-1.dsc	20-01-2024 20:13	4k
coq-reglang_1.2.1-3.debian.tar.xz	26-04-2024 14:06	12k
coq-reglang_1.2.1-3.dsc	26-04-2024 14:06	4k
coq-reglang_1.2.1.orig.tar.gz	20-01-2024 20:13	68k
libcoq-reglang_1.1.3-2+b1_amd64.deb	13-02-2023 07:28	708k
libcoq-reglang_1.1.3-2+b1_arm64.deb	13-02-2023 07:28	708k
libcoq-reglang_1.1.3-2+b1_armhf.deb	13-02-2023 07:28	708k
libcoq-reglang_1.1.3-2+b1_i386.deb	13-02-2023 07:39	708k
libcoq-reglang_1.1.3-2+b1_ppc64el.deb	13-02-2023 23:55	708k
libcoq-reglang_1.1.3-2+b1_s390x.deb	13-02-2023 10:20	708k
libcoq-reglang_1.2.1-1+b1_amd64.deb	16-02-2024 15:04	708k
libcoq-reglang_1.2.1-1+b1_arm64.deb	16-02-2024 17:36	708k
libcoq-reglang_1.2.1-1+b1_i386.deb	16-02-2024 14:59	708k
libcoq-reglang_1.2.1-1+b1_ppc64el.deb	16-02-2024 15:20	708k
libcoq-reglang_1.2.1-1+b1_s390x.deb	16-02-2024 14:59	708k
libcoq-reglang_1.2.1-1+b2_armhf.deb	31-03-2024 23:29	708k
libcoq-reglang_1.2.1-1+b2_s390x.deb	20-03-2024 13:08	708k
libcoq-reglang_1.2.1-3_amd64.deb	30-04-2024 15:06	736k
libcoq-reglang_1.2.1-3_arm64.deb	30-04-2024 15:06	736k
libcoq-reglang_1.2.1-3_i386.deb	30-04-2024 15:06	736k
libcoq-reglang_1.2.1-3_ppc64el.deb	30-04-2024 15:06	736k

Alojado en Chile por Hostenode SpA - https://hnd.cl