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

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