[NLUUG]

Welcome to ftp.nluug.nl

The large public mirror server for open source projects hosted by NLUUG and Surfnet

/ftp/pub/debian/pool/main/c/coq-reglang/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-reglang_1.2.1-4+b11_riscv64.deb855.0 KiB2025-Feb-18 16:00
libcoq-reglang_1.2.1-4+b11_arm64.deb854.9 KiB2025-Feb-18 05:49
libcoq-reglang_1.2.1-4+b12_amd64.deb854.9 KiB2025-Feb-18 02:57
libcoq-reglang_1.2.1-4+b9_riscv64.deb854.5 KiB2025-Jan-30 23:18
libcoq-reglang_1.2.1-4+b9_arm64.deb854.3 KiB2025-Jan-29 00:30
libcoq-reglang_1.2.1-4+b10_amd64.deb854.7 KiB2025-Jan-28 19:56
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_i386.deb707.3 KiB2023-Feb-13 07:39
libcoq-reglang_1.1.3-2+b1_arm64.deb707.5 KiB2023-Feb-13 07:28
libcoq-reglang_1.1.3-2+b1_armhf.deb707.4 KiB2023-Feb-13 07:28
libcoq-reglang_1.1.3-2+b1_amd64.deb707.5 KiB2023-Feb-13 07:28
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

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!