/debian-ports/pool-hurd-amd64/main/c/cadical/

0 directories 4 files 11 MiB total
List Grid
Name
Size Modified
Up
cadical-dbgsym_1.7.4-1+b1_hurd-amd64.deb
9.9 MiB
cadical_1.7.4-1+b1_hurd-amd64.buildinfo
6.5 KiB
cadical_1.7.4-1+b1_hurd-amd64.deb
386 KiB
libcadical-dev_1.7.4-1+b1_hurd-amd64.deb
343 KiB