Index of /debian/pool/main/c/cadical

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] cadical_1.5.3-2.debian.tar.xz    2022-11-15 00:53  2.9K  
[TXT] cadical_1.5.3-2.dsc              2022-11-15 00:53  1.9K  
[   ] cadical_1.5.3-2_amd64.deb        2022-11-15 01:25  309K  
[   ] cadical_1.5.3.orig.tar.gz        2022-11-01 21:34  582K  
[   ] libcadical-dev_1.5.3-2_amd64.deb 2022-11-15 01:25  281K