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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] cadical_1.5.3-2.dsc 2022-11-15 00:53 1.9K [   ] cadical_1.5.3-2.debian.tar.xz 2022-11-15 00:53 2.9K [   ] libcadical-dev_1.5.3-2_amd64.deb 2022-11-15 01:25 281K [   ] 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