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

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 why3_1.8.2-1.debian.tar.xz          2025-09-23 22:53   19K  
 why3_1.8.2-1.dsc                    2025-09-23 22:53  2.6K  
 why3_1.8.2.orig.tar.bz2             2025-09-23 22:53  6.3M  
 libwhy3-ocaml-dev_1.8.2-1_i386.deb  2025-09-23 23:40  7.3M  
 why3_1.8.2-1_i386.deb               2025-09-23 23:40   21M  
 libwhy3-ocaml-dev_1.8.2-1_amd64.deb 2025-09-23 23:40   12M  
 why3_1.8.2-1_amd64.deb              2025-09-23 23:40   12M  
 why3-doc-html_1.8.2-1_all.deb       2025-09-23 23:41  1.2M  
 why3-doc-pdf_1.8.2-1_all.deb        2025-09-23 23:41  1.3M  
 why3-examples_1.8.2-1_all.deb       2025-09-23 23:41  4.1M  
 libwhy3-ocaml-dev_1.8.2-1_arm64.deb 2025-09-23 23:57   13M  
 why3_1.8.2-1_arm64.deb              2025-09-23 23:57   13M  
 libwhy3-ocaml-dev_1.8.2-1_armhf.deb 2025-09-23 23:58  7.3M  
 why3_1.8.2-1_armhf.deb              2025-09-23 23:58   21M