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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] cadical_1.5.3-2.debian.tar.xz 2022-11-15 06:18 2.9K [TXT] cadical_1.5.3-2.dsc 2022-11-15 06:18 1.9K [   ] cadical_1.5.3-2_amd64.deb 2022-11-15 06:29 352K [   ] cadical_1.5.3.orig.tar.gz 2022-11-06 05:33 582K [   ] cadical_1.7.4-1.debian.tar.xz 2024-02-15 13:29 3.9K [TXT] cadical_1.7.4-1.dsc 2024-02-15 13:29 1.9K [   ] cadical_1.7.4-1_amd64.deb 2024-02-15 13:30 454K [   ] cadical_1.7.4.orig.tar.gz 2024-02-15 13:29 633K [   ] libcadical-dev_1.5.3-2_amd64.deb 2022-11-15 06:29 311K [   ] libcadical-dev_1.7.4-1_amd64.deb 2024-02-15 13:30 376K
Apache/2.4.62 (Debian) Server at debian.biologie.uni-muenchen.de Port 443