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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 why3_1.8.0-2_armhf.deb                             2025-02-02 15:36   21M  
 libwhy3-ocaml-dev_1.8.0-2_armhf.deb                2025-02-02 15:36  7.3M  
 why3_1.8.0-2_arm64.deb                             2025-02-02 15:31   13M  
 libwhy3-ocaml-dev_1.8.0-2_arm64.deb                2025-02-02 15:31   13M  
 why3_1.8.0-2_i386.deb                              2025-02-02 15:26   21M  
 libwhy3-ocaml-dev_1.8.0-2_i386.deb                 2025-02-02 15:26  7.3M  
 why3_1.8.0-2_amd64.deb                             2025-02-02 15:26   12M  
 libwhy3-ocaml-dev_1.8.0-2_amd64.deb                2025-02-02 15:26   12M  
 why3_1.8.0-2_armel.deb                             2025-02-02 15:26   21M  
 libwhy3-ocaml-dev_1.8.0-2_armel.deb                2025-02-02 15:26  7.3M  
 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