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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 why3_1.7.2-2+b1_i386.deb                           2024-08-21 02:16   24M  
 libwhy3-ocaml-dev_1.7.2-2+b1_i386.deb              2024-08-21 02:16  7.0M  
 why3_1.7.2-2+b1_armhf.deb                          2024-08-21 02:11   24M  
 libwhy3-ocaml-dev_1.7.2-2+b1_armhf.deb             2024-08-21 02:11  7.0M  
 why3_1.7.2-2+b1_armel.deb                          2024-08-21 02:11   24M  
 libwhy3-ocaml-dev_1.7.2-2+b1_armel.deb             2024-08-21 02:11  7.0M  
 why3_1.7.2-2+b1_arm64.deb                          2024-08-21 02:11   12M  
 libwhy3-ocaml-dev_1.7.2-2+b1_arm64.deb             2024-08-21 02:11   13M  
 why3_1.7.2-2+b1_amd64.deb                          2024-08-21 02:10   10M  
 libwhy3-ocaml-dev_1.7.2-2+b1_amd64.deb             2024-08-21 02:10   12M  
 why3-examples_1.7.2-2_all.deb                      2024-08-13 08:44  3.9M  
 why3-doc-pdf_1.7.2-2_all.deb                       2024-08-13 08:44  1.3M  
 why3-doc-html_1.7.2-2_all.deb                      2024-08-13 08:44  1.0M  
 why3_1.7.2-2.dsc                                   2024-08-13 07:54  2.4K  
 why3_1.7.2-2.debian.tar.xz                         2024-08-13 07:54   18K  
 why3_1.7.2.orig.tar.bz2                            2024-08-12 18:25  6.0M