Index of /Deepin/deepin/pool/main/l/ladr

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 prover9_0.0.200911a-2.1+b2_amd64.deb               2022-04-11 11:45  100K  
 libladr-dev_0.0.200911a-2.1+b2_amd64.deb           2022-04-11 11:35  278K  
 ladr_0.0.200911a.orig.tar.gz                       2022-04-11 11:27  1.7M  
 ladr_0.0.200911a-2.1.dsc                           2022-04-11 11:27  1.3K  
 ladr_0.0.200911a-2.1.debian.tar.xz                 2022-04-11 11:27   19K  
 libladr4_0.0.200911a-2.1+b2_i386.deb               2022-04-11 11:22  206K  
 libladr-dev_0.0.200911a-2.1+b2_i386.deb            2022-04-11 11:22  304K  
 prover9_0.0.200911a-2.1+b2_i386.deb                2022-04-11 11:18  107K  
 ladr4-apps_0.0.200911a-2.1+b2_amd64.deb            2022-04-11 11:05  156K  
 libladr4_0.0.200911a-2.1+b2_amd64.deb              2022-04-11 11:03  184K  
 ladr4-apps_0.0.200911a-2.1+b2_i386.deb             2022-04-11 11:00  153K