Index of /pool/main/c/cadical

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] cadical_1.7.4-1+b1_amd64.deb        2024-10-28 17:02  387K  
[   ] cadical_1.7.4-1+b1_arm64.deb        2024-10-28 22:28  339K  
[   ] cadical_1.7.4-1.debian.tar.xz       2024-02-11 05:22  3.9K  
[TXT] cadical_1.7.4-1.dsc                 2024-02-11 05:22  1.9K  
[   ] cadical_1.7.4-1_amd64.deb           2024-02-11 05:47  378K  
[   ] cadical_1.7.4.orig.tar.gz           2024-02-11 05:22  633K  
[   ] libcadical-dev_1.7.4-1+b1_amd64.deb 2024-10-28 17:02  344K  
[   ] libcadical-dev_1.7.4-1+b1_arm64.deb 2024-10-28 22:28  325K  
[   ] libcadical-dev_1.7.4-1_amd64.deb    2024-02-11 05:47  341K