[NLUUG]

Welcome to ftp.nluug.nl

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

/ftp/pub/os/Linux/distr/kali/pool/main/c/coqprime/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coqprime-tools_8.19-2+b2_amd64.deb139.6 KiB2024-Aug-21 04:09
coqprime-tools_8.19-2+b2_arm64.deb138.5 KiB2024-Aug-21 04:29
coqprime-tools_8.19-2+b3_arm64.deb138.4 KiB2024-Nov-20 17:17
coqprime-tools_8.19-2+b4_amd64.deb139.6 KiB2024-Nov-20 16:40
coqprime-tools_8.20-1_amd64.deb139.2 KiB2024-Dec-26 10:47
coqprime-tools_8.20-1_arm64.deb138.0 KiB2024-Dec-26 10:47
coqprime_8.19-2.debian.tar.xz3.3 KiB2024-Aug-04 05:30
coqprime_8.19-2.dsc1.9 KiB2024-Aug-04 05:30
coqprime_8.19.orig.tar.gz973.2 KiB2024-Apr-26 14:06
coqprime_8.20-1.debian.tar.xz3.6 KiB2024-Dec-26 10:32
coqprime_8.20-1.dsc2.1 KiB2024-Dec-26 10:32
coqprime_8.20.orig.tar.gz973.2 KiB2024-Dec-26 10:32
libcoq-coqprime_8.19-2+b2_amd64.deb1.7 MiB2024-Aug-21 04:09
libcoq-coqprime_8.19-2+b2_arm64.deb1.7 MiB2024-Aug-21 04:29
libcoq-coqprime_8.19-2+b3_arm64.deb1.7 MiB2024-Nov-20 17:17
libcoq-coqprime_8.19-2+b4_amd64.deb1.7 MiB2024-Nov-20 16:40
libcoq-coqprime_8.20-1_amd64.deb1.7 MiB2024-Dec-26 10:47
libcoq-coqprime_8.20-1_arm64.deb1.7 MiB2024-Dec-26 10:47

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