Index of /pub/gnu_linux/ubuntu/ubuntu/pool/universe/c/cadical
Name Last modified Size Description
Parent Directory -
cadical_1.5.3-2.debian.tar.xz 2022-11-15 00:18 2.9K
cadical_1.5.3-2.dsc 2022-11-15 00:18 1.9K
cadical_1.5.3-2_amd64.deb 2022-11-15 00:29 352K
cadical_1.5.3.orig.tar.gz 2022-11-06 00:33 582K
cadical_1.7.4-1.debian.tar.xz 2024-02-15 07:29 3.9K
cadical_1.7.4-1.dsc 2024-02-15 07:29 1.9K
cadical_1.7.4-1_amd64.deb 2024-02-15 07:30 454K
cadical_1.7.4.orig.tar.gz 2024-02-15 07:29 633K
libcadical-dev_1.5.3-2_amd64.deb 2022-11-15 00:29 311K
libcadical-dev_1.7.4-1_amd64.deb 2024-02-15 07:30 376K