Index of /pub/kali/pool/main/w/why3/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
libwhy3-ocaml-dev_1.7.2-2+b1_amd64.deb2024-Aug-20 20:10:5912.0Mapplication/octet-stream
libwhy3-ocaml-dev_1.7.2-2+b1_arm64.deb2024-Aug-20 20:11:0512.6Mapplication/octet-stream
libwhy3-ocaml-dev_1.7.2-2+b1_armel.deb2024-Aug-20 20:11:067.0Mapplication/octet-stream
libwhy3-ocaml-dev_1.7.2-2+b1_armhf.deb2024-Aug-20 20:11:107.0Mapplication/octet-stream
libwhy3-ocaml-dev_1.7.2-2+b1_i386.deb2024-Aug-20 20:16:357.0Mapplication/octet-stream
why3-doc-html_1.7.2-2_all.deb2024-Aug-13 02:44:181.0Mapplication/octet-stream
why3-doc-pdf_1.7.2-2_all.deb2024-Aug-13 02:44:181.3Mapplication/octet-stream
why3-examples_1.7.2-2_all.deb2024-Aug-13 02:44:183.8Mapplication/octet-stream
why3_1.7.2-2+b1_amd64.deb2024-Aug-20 20:10:5910.4Mapplication/octet-stream
why3_1.7.2-2+b1_arm64.deb2024-Aug-20 20:11:0511.7Mapplication/octet-stream
why3_1.7.2-2+b1_armel.deb2024-Aug-20 20:11:0624.1Mapplication/octet-stream
why3_1.7.2-2+b1_armhf.deb2024-Aug-20 20:11:1024.1Mapplication/octet-stream
why3_1.7.2-2+b1_i386.deb2024-Aug-20 20:16:3524.1Mapplication/octet-stream
why3_1.7.2-2.debian.tar.xz2024-Aug-13 01:54:0518.1Kapplication/octet-stream
why3_1.7.2-2.dsc2024-Aug-13 01:54:052.4Kapplication/octet-stream
why3_1.7.2.orig.tar.bz22024-Aug-12 12:25:416.0Mapplication/x-bzip
lighttpd/1.4.19