Name                             Last modified      Size  Description
 Parent Directory                                      -   
 cadical_1.5.3-2.debian.tar.xz    2022-11-14 23:18  2.9K  
 cadical_1.5.3-2.dsc              2022-11-14 23:18  1.9K  
 cadical_1.5.3-2_amd64.deb        2022-11-14 23:29  352K  
 cadical_1.5.3.orig.tar.gz        2022-11-05 23:33  582K  
 libcadical-dev_1.5.3-2_amd64.deb 2022-11-14 23:29  311K