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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-reglang_1.1.3-2.debian.tar.xz8.2 KiB2023-Jan-26 12:44
coq-reglang_1.1.3-2.dsc2.1 KiB2023-Jan-26 12:44
coq-reglang_1.1.3.orig.tar.gz65.5 KiB2022-Jul-15 21:06
coq-reglang_1.2.1-4.debian.tar.xz8.4 KiB2024-Aug-04 06:22
coq-reglang_1.2.1-4.dsc1.8 KiB2024-Aug-04 06:22
coq-reglang_1.2.1.orig.tar.gz67.8 KiB2024-Jan-20 20:13
libcoq-reglang_1.1.3-2+b1_amd64.deb707.5 KiB2023-Feb-13 07:28
libcoq-reglang_1.1.3-2+b1_arm64.deb707.5 KiB2023-Feb-13 07:28
libcoq-reglang_1.1.3-2+b1_i386.deb707.3 KiB2023-Feb-13 07:39
libcoq-reglang_1.1.3-2+b1_ppc64el.deb707.4 KiB2023-Feb-13 23:55
libcoq-reglang_1.2.1-4+b7_arm64.deb854.7 KiB2024-Dec-19 21:31
libcoq-reglang_1.2.1-4+b7_ppc64el.deb854.5 KiB2024-Dec-19 19:02
libcoq-reglang_1.2.1-4+b7_riscv64.deb854.7 KiB2024-Dec-19 20:04
libcoq-reglang_1.2.1-4+b8_amd64.deb854.6 KiB2024-Dec-19 19:54