[NLUUG]

Welcome to ftp.nluug.nl

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

/os/Linux/distr/ubuntu/pool/universe/w/why/
File Name  ↓ File Size  ↓ Date  ↓ 
./-2020-Jul-14 14:44
../-2026-Feb-08 11:38
libwhy-coq_2.39-2build1_all.deb34.5 KiB2017-Oct-28 18:04
why-examples_2.34-4ubuntu4_all.deb123.6 KiB2016-Feb-23 17:29
why_2.34-4ubuntu4.debian.tar.xz11.1 KiB2016-Feb-23 16:58
why_2.34-4ubuntu4.dsc2.2 KiB2016-Feb-23 16:58
why_2.34-4ubuntu4_amd64.deb3.4 MiB2016-Feb-23 17:29
why_2.34-4ubuntu4_i386.deb3.3 MiB2016-Feb-23 17:29
why_2.34.orig.tar.gz3.6 MiB2014-Apr-30 11:23
why_2.39-2build1.debian.tar.xz11.5 KiB2017-Oct-28 18:03
why_2.39-2build1.dsc2.4 KiB2017-Oct-28 18:03
why_2.39-2build1_amd64.deb3.3 MiB2017-Oct-28 18:04
why_2.39-2build1_i386.deb3.1 MiB2017-Oct-28 18:05
why_2.39.orig.tar.gz1.6 MiB2017-Oct-16 10:03

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