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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 why3_1.8.1-1+b1_armhf.deb                          2025-09-16 13:11   21M  
 libwhy3-ocaml-dev_1.8.1-1+b1_armhf.deb             2025-09-16 13:11  7.3M  
 why3_1.8.1-1+b1_amd64.deb                          2025-09-16 13:11   12M  
 libwhy3-ocaml-dev_1.8.1-1+b1_amd64.deb             2025-09-16 13:11   12M  
 why3_1.8.1-1+b1_arm64.deb                          2025-09-16 13:10   13M  
 libwhy3-ocaml-dev_1.8.1-1+b1_arm64.deb             2025-09-16 13:10   13M  
 why3_1.8.1-1+b1_i386.deb                           2025-09-16 13:10   21M  
 libwhy3-ocaml-dev_1.8.1-1+b1_i386.deb              2025-09-16 13:10  7.3M  
 why3-examples_1.8.1-1_all.deb                      2025-09-13 00:56  4.1M  
 why3-doc-pdf_1.8.1-1_all.deb                       2025-09-13 00:56  1.3M  
 why3-doc-html_1.8.1-1_all.deb                      2025-09-13 00:56  1.2M  
 why3_1.8.1.orig.tar.bz2                            2025-09-12 21:13  6.3M  
 why3_1.8.1-1.dsc                                   2025-09-12 21:13  2.4K  
 why3_1.8.1-1.debian.tar.xz                         2025-09-12 21:13   19K  
 why3_1.8.0-2+b1_armhf.deb                          2025-06-15 14:28   21M  
 libwhy3-ocaml-dev_1.8.0-2+b1_armhf.deb             2025-06-15 14:28  7.3M  
 why3_1.8.0-2+b1_arm64.deb                          2025-06-15 13:27   13M  
 libwhy3-ocaml-dev_1.8.0-2+b1_arm64.deb             2025-06-15 13:27   13M  
 why3_1.8.0-2+b1_i386.deb                           2025-06-15 09:27   21M  
 libwhy3-ocaml-dev_1.8.0-2+b1_i386.deb              2025-06-15 09:27  7.3M  
 why3_1.8.0-2+b1_amd64.deb                          2025-06-15 09:07   12M  
 libwhy3-ocaml-dev_1.8.0-2+b1_amd64.deb             2025-06-15 09:07   12M  
 why3-examples_1.8.0-2_all.deb                      2025-02-02 15:21  4.1M  
 why3_1.8.0-2.dsc                                   2025-02-02 14:56  2.1K  
 why3_1.8.0-2.debian.tar.xz                         2025-02-02 14:56   18K  
 why3_1.8.0.orig.tar.bz2                            2025-01-23 05:04  6.3M