Index of /Deepin/deepin/apricot/pool/main/w/why3

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 why3-coq_1.2.0-1_i386.deb                          2022-04-11 11:45  588K  
 why3_1.2.0-1_i386.deb                              2022-04-11 11:44   19M  
 why3-coq_1.2.0-1_amd64.deb                         2022-04-11 11:27  583K  
 why3-examples_1.2.0-1_all.deb                      2022-04-11 11:24  2.4M  
 libwhy3-ocaml-dev_1.2.0-1_i386.deb                 2022-04-11 11:18  7.2M  
 why3-doc-pdf_1.2.0-1_all.deb                       2022-04-11 11:17  1.2M  
 libwhy3-ocaml-dev_1.2.0-1_amd64.deb                2022-04-11 11:12  7.5M  
 why3-doc-html_1.2.0-1_all.deb                      2022-04-11 11:10  354K  
 why3_1.2.0.orig.tar.gz                             2022-04-11 11:00  5.7M  
 why3_1.2.0-1.debian.tar.xz                         2022-04-11 11:00   16K  
 why3_1.2.0-1.dsc                                   2022-04-11 11:00  2.6K  
 why3_1.2.0-1_amd64.deb                             2022-04-11 10:56   29M