Welcome to the Belnet public FTP server ftp.belnet.be !

This server is located in Brussels, Belgium and operated by Belnet, the
Belgian Education and Research Network. If you have any problem, question or
mirror request, please send them to ftpmaint@belnet.be.

This archive is available through the following means:

HTTP http://ftp.belnet.be (IPv4 + IPv6)
FTP ftp://ftp.belnet.be (IPv4 + IPv6)
RSYNC rsync://rsync.belnet.be (IPv4)

Note: opening too many parallel connections to this host is considered an abuse.
All access is logged.

/debian/pool/main/w/why3/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
why3_1.7.2-2+b1_riscv64.deb10.6 MiB2024-Aug-20 19:54
libwhy3-ocaml-dev_1.7.2-2+b1_riscv64.deb13.4 MiB2024-Aug-20 19:54
why3_1.7.2-2+b1_i386.deb24.1 MiB2024-Aug-20 18:16
libwhy3-ocaml-dev_1.7.2-2+b1_i386.deb7.0 MiB2024-Aug-20 18:16
libwhy3-ocaml-dev_1.7.2-2+b1_mips64el.deb7.0 MiB2024-Aug-20 18:11
why3_1.7.2-2+b1_mips64el.deb24.1 MiB2024-Aug-20 18:11
why3_1.7.2-2+b1_arm64.deb11.7 MiB2024-Aug-20 18:11
libwhy3-ocaml-dev_1.7.2-2+b1_arm64.deb12.6 MiB2024-Aug-20 18:11
why3_1.7.2-2+b1_amd64.deb10.5 MiB2024-Aug-20 18:10
libwhy3-ocaml-dev_1.7.2-2+b1_amd64.deb12.0 MiB2024-Aug-20 18:10
libwhy3-ocaml-dev_1.7.2-2+b1_ppc64el.deb12.2 MiB2024-Aug-20 18:05
why3_1.7.2-2+b1_ppc64el.deb10.5 MiB2024-Aug-20 18:05
why3-doc-html_1.7.2-2_all.deb1.0 MiB2024-Aug-13 00:44
why3-doc-pdf_1.7.2-2_all.deb1.3 MiB2024-Aug-13 00:44
why3-examples_1.7.2-2_all.deb3.9 MiB2024-Aug-13 00:44
why3_1.7.2-2.dsc2.4 KiB2024-Aug-12 23:54
why3_1.7.2-2.debian.tar.xz18.1 KiB2024-Aug-12 23:54
why3_1.7.2.orig.tar.bz26.0 MiB2024-Aug-12 10:25
why3_1.5.1-1+b2_ppc64el.deb9.7 MiB2023-May-04 00:12
libwhy3-ocaml-dev_1.5.1-1+b2_ppc64el.deb10.4 MiB2023-May-04 00:12
why3_1.5.1-1+b2_i386.deb8.9 MiB2023-May-03 21:57
libwhy3-ocaml-dev_1.5.1-1+b2_i386.deb9.7 MiB2023-May-03 21:57
why3_1.5.1-1+b2_amd64.deb9.5 MiB2023-May-03 21:14
libwhy3-ocaml-dev_1.5.1-1+b2_amd64.deb10.2 MiB2023-May-03 21:14
why3_1.5.1-1+b2_mips64el.deb20.2 MiB2023-May-03 21:14
libwhy3-ocaml-dev_1.5.1-1+b2_mips64el.deb5.4 MiB2023-May-03 21:14
why3_1.5.1-1+b2_arm64.deb11.3 MiB2023-May-03 21:14
libwhy3-ocaml-dev_1.5.1-1+b2_arm64.deb10.7 MiB2023-May-03 21:14
why3-doc-html_1.5.1-1_all.deb897.9 KiB2022-Oct-20 02:29
why3-examples_1.5.1-1_all.deb3.7 MiB2022-Oct-20 02:29
why3-doc-pdf_1.5.1-1_all.deb1.2 MiB2022-Oct-20 02:29
why3_1.5.1-1.debian.tar.xz18.0 KiB2022-Oct-19 19:24
why3_1.5.1-1.dsc2.6 KiB2022-Oct-19 19:24
why3_1.5.1.orig.tar.gz6.4 MiB2022-Oct-19 19:24
libwhy3-ocaml-dev_1.3.3-1+b4_mips64el.deb5.1 MiB2021-Jan-23 18:11
why3_1.3.3-1+b4_mips64el.deb83.0 MiB2021-Jan-23 18:11
why3-coq_1.3.3-1+b4_arm64.deb739.6 KiB2021-Jan-23 17:56
libwhy3-ocaml-dev_1.3.3-1+b4_arm64.deb9.6 MiB2021-Jan-23 17:56
why3_1.3.3-1+b4_arm64.deb44.9 MiB2021-Jan-23 17:56
why3-coq_1.3.3-1+b4_i386.deb739.2 KiB2021-Jan-23 17:56
libwhy3-ocaml-dev_1.3.3-1+b4_i386.deb8.9 MiB2021-Jan-23 17:56
why3_1.3.3-1+b4_i386.deb34.6 MiB2021-Jan-23 17:56
why3-coq_1.3.3-1+b4_amd64.deb739.4 KiB2021-Jan-23 17:41
libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb9.2 MiB2021-Jan-23 17:41
why3_1.3.3-1+b4_amd64.deb37.7 MiB2021-Jan-23 17:41
why3-coq_1.3.3-1+b4_ppc64el.deb739.3 KiB2021-Jan-23 17:41
libwhy3-ocaml-dev_1.3.3-1+b4_ppc64el.deb9.4 MiB2021-Jan-23 17:41
why3_1.3.3-1+b4_ppc64el.deb38.0 MiB2021-Jan-23 17:41
why3-doc-html_1.3.3-1_all.deb937.8 KiB2020-Sep-23 20:55
why3-examples_1.3.3-1_all.deb3.3 MiB2020-Sep-23 20:55
why3-doc-pdf_1.3.3-1_all.deb1.0 MiB2020-Sep-23 20:55
why3_1.3.3.orig.tar.gz5.5 MiB2020-Sep-23 20:00
why3_1.3.3-1.dsc2.8 KiB2020-Sep-23 20:00
why3_1.3.3-1.debian.tar.xz18.0 KiB2020-Sep-23 20:00
libwhy3-ocaml-dev_1.2.0-1_amd64.deb7.5 MiB2019-Feb-16 00:40
why3_1.2.0-1_amd64.deb28.7 MiB2019-Feb-16 00:40
why3-coq_1.2.0-1_amd64.deb582.8 KiB2019-Feb-16 00:40
why3-coq_1.2.0-1_i386.deb587.8 KiB2019-Feb-15 22:18
libwhy3-ocaml-dev_1.2.0-1_i386.deb7.2 MiB2019-Feb-15 22:18
why3_1.2.0-1_i386.deb19.0 MiB2019-Feb-15 22:18
libwhy3-ocaml-dev_1.2.0-1_arm64.deb8.2 MiB2019-Feb-15 21:42
why3_1.2.0-1_arm64.deb36.4 MiB2019-Feb-15 21:42
why3-coq_1.2.0-1_arm64.deb582.3 KiB2019-Feb-15 21:42
why3-doc-html_1.2.0-1_all.deb353.6 KiB2019-Feb-15 21:22
why3-doc-pdf_1.2.0-1_all.deb1.2 MiB2019-Feb-15 21:22
why3-examples_1.2.0-1_all.deb2.4 MiB2019-Feb-15 21:22
why3_1.2.0-1.debian.tar.xz15.9 KiB2019-Feb-15 20:41
why3_1.2.0-1.dsc2.6 KiB2019-Feb-15 20:41
why3_1.2.0.orig.tar.gz5.7 MiB2019-Feb-15 20:41