ubuntu/pool/universe/c/cadical • Public Open Source Mirror

Home / ubuntu / pool / universe / c / cadical

File Name

Size

Date

..

—

—
cadical_1.5.3-2.debian.tar.xz

2.91KB

2022-11-15 07:18:59

cadical_1.5.3-2.dsc

1.95KB

2022-11-15 07:18:59

cadical_1.5.3-2_amd64.deb

352.43KB

2022-11-15 07:29:06

cadical_1.5.3.orig.tar.gz

582.40KB

2022-11-06 06:33:37

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.5.3-2_amd64.deb

310.62KB

2022-11-15 07:29:06

libcadical-dev_1.7.4-1_amd64.deb

375.52KB

2024-02-15 14:30:49