[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_8.19.orig.tar.gz973.2 KiB2024-Apr-26 14:06
coqprime_8.19-2.debian.tar.xz3.3 KiB2024-Aug-04 05:30
coqprime_8.19-2.dsc1.9 KiB2024-Aug-04 05:30
libcoq-coqprime_8.19-2+b2_amd64.deb1.7 MiB2024-Aug-21 04:09
coqprime-tools_8.19-2+b2_amd64.deb139.6 KiB2024-Aug-21 04:09
libcoq-coqprime_8.19-2+b2_arm64.deb1.7 MiB2024-Aug-21 04:29
coqprime-tools_8.19-2+b2_arm64.deb138.5 KiB2024-Aug-21 04:29
coqprime_8.20-1.dsc2.1 KiB2024-Dec-26 10:32
coqprime_8.20-1.debian.tar.xz3.6 KiB2024-Dec-26 10:32
coqprime_8.20.orig.tar.gz973.2 KiB2024-Dec-26 10:32
coqprime-tools_8.20-1_amd64.deb139.2 KiB2024-Dec-26 10:47
libcoq-coqprime_8.20-1_amd64.deb1.7 MiB2024-Dec-26 10:47
coqprime-tools_8.20-1_arm64.deb138.0 KiB2024-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!