Studenten Net Twente Mirror service

Index of /pub/linux/ubuntu/pool/universe/c/cadical/

Filename Modification time Size
cadical_1.7.4-1.debian.tar.xz 3960 B
cadical_1.7.4-1.dsc 1996 B
cadical_1.7.4-1_amd64.deb 454 KiB
cadical_1.7.4-1_arm64.deb 432 KiB
cadical_1.7.4.orig.tar.gz 633 KiB
cadical_2.1.3-2.debian.tar.xz 4620 B
cadical_2.1.3-2.dsc 1996 B
cadical_2.1.3-2_amd64.deb 521 KiB
cadical_2.1.3-2_amd64v3.deb 541 KiB
cadical_2.1.3-2_arm64.deb 521 KiB
cadical_2.1.3-3.debian.tar.xz 4816 B
cadical_2.1.3-3.dsc 2000 B
cadical_2.1.3-3_amd64.deb 519 KiB
cadical_2.1.3-3_amd64v3.deb 536 KiB
cadical_2.1.3-3_arm64.deb 514 KiB
cadical_2.1.3.orig.tar.gz 714 KiB
libcadical-dev_1.7.4-1_amd64.deb 376 KiB
libcadical-dev_1.7.4-1_arm64.deb 374 KiB
libcadical-dev_2.1.3-2_amd64.deb 457 KiB
libcadical-dev_2.1.3-2_amd64v3.deb 471 KiB
libcadical-dev_2.1.3-2_arm64.deb 464 KiB
libcadical-dev_2.1.3-3_amd64.deb 467 KiB
libcadical-dev_2.1.3-3_amd64v3.deb 482 KiB
libcadical-dev_2.1.3-3_arm64.deb 473 KiB