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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 why3_1.6.0-1+b6_armhf.deb                          2024-07-15 16:59   10M  
 libwhy3-ocaml-dev_1.6.0-1+b6_armhf.deb             2024-07-15 16:59   11M  
 why3_1.6.0-1+b6_armel.deb                          2024-07-15 16:59   21M  
 libwhy3-ocaml-dev_1.6.0-1+b6_armel.deb             2024-07-15 16:59  5.6M  
 why3_1.6.0-1+b6_i386.deb                           2024-07-15 16:54   10M  
 libwhy3-ocaml-dev_1.6.0-1+b6_i386.deb              2024-07-15 16:54   10M  
 why3_1.6.0-1+b6_amd64.deb                          2024-07-15 16:49   11M  
 libwhy3-ocaml-dev_1.6.0-1+b6_amd64.deb             2024-07-15 16:49   11M  
 why3_1.6.0-1+b6_arm64.deb                          2024-07-15 16:49   13M  
 libwhy3-ocaml-dev_1.6.0-1+b6_arm64.deb             2024-07-15 16:49   11M  
 why3_1.6.0-1+b5_armel.deb                          2024-03-26 01:51   21M  
 libwhy3-ocaml-dev_1.6.0-1+b5_armel.deb             2024-03-26 01:51  5.6M  
 why3_1.6.0-1+b5_armhf.deb                          2024-03-25 19:07   10M  
 libwhy3-ocaml-dev_1.6.0-1+b5_armhf.deb             2024-03-25 19:07   11M  
 why3_1.6.0-1+b5_i386.deb                           2024-03-13 16:27   10M  
 libwhy3-ocaml-dev_1.6.0-1+b5_i386.deb              2024-03-13 16:27   10M  
 why3_1.6.0-1+b5_amd64.deb                          2024-03-13 15:30   11M  
 libwhy3-ocaml-dev_1.6.0-1+b5_amd64.deb             2024-03-13 15:30   11M  
 why3_1.6.0-1+b5_arm64.deb                          2024-03-13 10:59   13M  
 libwhy3-ocaml-dev_1.6.0-1+b5_arm64.deb             2024-03-13 10:59   11M  
 why3-examples_1.6.0-1_all.deb                      2023-09-08 14:42  3.8M  
 why3-doc-pdf_1.6.0-1_all.deb                       2023-09-08 14:42  1.2M  
 why3-doc-html_1.6.0-1_all.deb                      2023-09-08 14:42  1.0M  
 why3_1.6.0.orig.tar.gz                             2023-09-08 13:20  6.5M  
 why3_1.6.0-1.debian.tar.xz                         2023-09-08 13:20   18K  
 why3_1.6.0-1.dsc                                   2023-09-08 13:20  2.4K