Home
/
ubuntu
/
pool
/
universe
/
c
/
cadical
File Name
Size
Date
..
—
—
cadical_1.7.4-1.debian.tar.xz
3.87KB
2024-02-15 14:29:55
cadical_1.7.4-1.dsc
1.95KB
2024-02-15 14:29:55
cadical_1.7.4-1_amd64.deb
453.75KB
2024-02-15 14:30:49
cadical_1.7.4.orig.tar.gz
632.65KB
2024-02-15 14:29:55
libcadical-dev_1.7.4-1_amd64.deb
375.52KB
2024-02-15 14:30:49
