Name                             Last modified      Size  Description
 Parent Directory                                      -   
 cadical_1.7.4-1.debian.tar.xz    2024-02-15 07:29  3.9K  Debian/Ubuntu Packages
 cadical_1.7.4-1.dsc              2024-02-15 07:29  1.9K  
 cadical_1.7.4-1_amd64.deb        2024-02-15 07:30  454K  Debian/Ubuntu Packages
 cadical_1.7.4.orig.tar.gz        2024-02-15 07:29  633K  Raw or other Packages
 libcadical-dev_1.7.4-1_amd64.deb 2024-02-15 07:30  376K  Debian/Ubuntu Packages