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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libwhy3-ocaml-dev_1.6.0-1+b6_amd64.deb             2024-07-15 16:49   11M  
 libwhy3-ocaml-dev_1.6.0-1+b6_arm64.deb             2024-07-15 16:49   11M  
 libwhy3-ocaml-dev_1.6.0-1+b6_armel.deb             2024-07-15 16:59  5.6M  
 libwhy3-ocaml-dev_1.6.0-1+b6_armhf.deb             2024-07-15 16:59   11M  
 libwhy3-ocaml-dev_1.6.0-1+b6_i386.deb              2024-07-15 16:54   10M  
 libwhy3-ocaml-dev_1.7.2-2+b1_amd64.deb             2024-08-21 02:10   12M  
 libwhy3-ocaml-dev_1.7.2-2+b1_arm64.deb             2024-08-21 02:11   13M  
 libwhy3-ocaml-dev_1.7.2-2+b1_armel.deb             2024-08-21 02:11  7.0M  
 libwhy3-ocaml-dev_1.7.2-2+b1_armhf.deb             2024-08-21 02:11  7.0M  
 libwhy3-ocaml-dev_1.7.2-2+b1_i386.deb              2024-08-21 02:16  7.0M  
 why3-doc-html_1.6.0-1_all.deb                      2023-09-08 14:42  1.0M  
 why3-doc-html_1.7.2-2_all.deb                      2024-08-13 08:44  1.0M  
 why3-doc-pdf_1.6.0-1_all.deb                       2023-09-08 14:42  1.2M  
 why3-doc-pdf_1.7.2-2_all.deb                       2024-08-13 08:44  1.3M  
 why3-examples_1.6.0-1_all.deb                      2023-09-08 14:42  3.8M  
 why3-examples_1.7.2-2_all.deb                      2024-08-13 08:44  3.9M  
 why3_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  
 why3_1.6.0-1+b6_armel.deb                          2024-07-15 16:59   21M  
 why3_1.6.0-1+b6_armhf.deb                          2024-07-15 16:59   10M  
 why3_1.6.0-1+b6_i386.deb                           2024-07-15 16:54   10M  
 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  
 why3_1.6.0.orig.tar.gz                             2023-09-08 13:20  6.5M  
 why3_1.7.2-2+b1_amd64.deb                          2024-08-21 02:10   10M  
 why3_1.7.2-2+b1_arm64.deb                          2024-08-21 02:11   12M  
 why3_1.7.2-2+b1_armel.deb                          2024-08-21 02:11   24M  
 why3_1.7.2-2+b1_armhf.deb                          2024-08-21 02:11   24M  
 why3_1.7.2-2+b1_i386.deb                           2024-08-21 02:16   24M  
 why3_1.7.2-2.debian.tar.xz                         2024-08-13 07:54   18K  
 why3_1.7.2-2.dsc                                   2024-08-13 07:54  2.4K  
 why3_1.7.2.orig.tar.bz2                            2024-08-12 18:25  6.0M