Index of /kali-linux-archive/pool/main/w/why3/

../
libwhy3-ocaml-dev_1.8.0-2_amd64.deb                07-Jun-2025 20:10            13060564
libwhy3-ocaml-dev_1.8.0-2_i386.deb                 07-Jun-2025 20:10             7620328
why3-examples_1.8.0-2_all.deb                      07-Jun-2025 20:10             4272972
why3_1.8.0-2_amd64.deb                             07-Jun-2025 20:10            12364196
why3_1.8.0-2_i386.deb                              07-Jun-2025 20:10            21858308