Index of /trisquel/packages/pool/main/c/cadical

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cadical_1.7.4-1.debian.tar.xz2024-02-15 12:29 3.9K 
[TXT]cadical_1.7.4-1.dsc2024-02-15 12:29 1.9K 
[ ]cadical_1.7.4-1_amd64.deb2024-02-15 12:30 454K 
[ ]cadical_1.7.4-1_arm64.deb2024-02-15 12:31 432K 
[ ]cadical_1.7.4-1_armhf.deb2024-02-15 12:31 378K 
[ ]cadical_1.7.4-1_ppc64el.deb2024-02-15 12:32 481K 
[ ]cadical_1.7.4-1_riscv64.deb2024-02-15 15:44 439K 
[ ]cadical_1.7.4.orig.tar.gz2024-02-15 12:29 633K 
[ ]cadical_2.1.3-2.debian.tar.xz2025-12-15 17:22 4.5K 
[TXT]cadical_2.1.3-2.dsc2025-12-15 17:22 1.9K 
[ ]cadical_2.1.3-2_amd64.deb2025-12-15 20:29 521K 
[ ]cadical_2.1.3-2_arm64.deb2025-12-15 20:30 521K 
[ ]cadical_2.1.3-2_armhf.deb2025-12-15 20:31 436K 
[ ]cadical_2.1.3-2_ppc64el.deb2025-12-15 20:31 556K 
[ ]cadical_2.1.3-2_riscv64.deb2025-12-16 04:20 511K 
[ ]cadical_2.1.3.orig.tar.gz2025-12-02 08:17 714K 
[ ]libcadical-dev_1.7.4-1_amd64.deb2024-02-15 12:30 376K 
[ ]libcadical-dev_1.7.4-1_arm64.deb2024-02-15 12:31 374K 
[ ]libcadical-dev_1.7.4-1_armhf.deb2024-02-15 12:31 376K 
[ ]libcadical-dev_1.7.4-1_ppc64el.deb2024-02-15 12:32 421K 
[ ]libcadical-dev_1.7.4-1_riscv64.deb2024-02-15 15:44 1.6M 
[ ]libcadical-dev_2.1.3-2_amd64.deb2025-12-15 20:29 457K 
[ ]libcadical-dev_2.1.3-2_arm64.deb2025-12-15 20:30 464K 
[ ]libcadical-dev_2.1.3-2_armhf.deb2025-12-15 20:31 448K 
[ ]libcadical-dev_2.1.3-2_ppc64el.deb2025-12-15 20:31 511K 
[ ]libcadical-dev_2.1.3-2_riscv64.deb2025-12-16 04:20 2.5M