Free Software Mirror Group

You're currently connected directly to one of our mirror nodes. You should use mirror.fsmg.org.nz instead. For more information please visit our website.

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[   ]libwhy3-ocaml-dev_1.7.2-2+b1_amd64.deb2024-08-21 06:10 12M
[   ]libwhy3-ocaml-dev_1.7.2-2+b1_arm64.deb2024-08-21 06:11 13M
[   ]libwhy3-ocaml-dev_1.7.2-2+b1_armel.deb2024-08-21 06:11 7.0M
[   ]libwhy3-ocaml-dev_1.7.2-2+b1_armhf.deb2024-08-21 06:11 7.0M
[   ]libwhy3-ocaml-dev_1.7.2-2+b1_i386.deb2024-08-21 06:16 7.0M
[   ]why3-doc-html_1.7.2-2_all.deb2024-08-13 12:44 1.0M
[   ]why3-doc-pdf_1.7.2-2_all.deb2024-08-13 12:44 1.3M
[   ]why3-examples_1.7.2-2_all.deb2024-08-13 12:44 3.9M
[   ]why3_1.7.2-2+b1_amd64.deb2024-08-21 06:10 10M
[   ]why3_1.7.2-2+b1_arm64.deb2024-08-21 06:11 12M
[   ]why3_1.7.2-2+b1_armel.deb2024-08-21 06:11 24M
[   ]why3_1.7.2-2+b1_armhf.deb2024-08-21 06:11 24M
[   ]why3_1.7.2-2+b1_i386.deb2024-08-21 06:16 24M
[   ]why3_1.7.2-2.debian.tar.xz2024-08-13 11:54 18K
[   ]why3_1.7.2-2.dsc2024-08-13 11:54 2.4K
[   ]why3_1.7.2.orig.tar.bz22024-08-12 22:25 6.0M
Apache Server at wlglam.fsmg.org.nz Port 443