Index of /debian-ports/pool-hurd-i386/main/c/cvc4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc4-dbgsym_1.6-2+b4_hurd-i386.deb2020-06-04 00:03 3.6M 
[ ]cvc4_1.6-2+b4_hurd-i386.buildinfo2020-06-04 00:03 8.8K 
[ ]cvc4_1.6-2+b4_hurd-i386.deb2020-06-04 00:03 138K 
[ ]libcvc4-5-dbgsym_1.6-2+b4_hurd-i386.deb2020-06-04 00:03 150M 
[ ]libcvc4-5_1.6-2+b4_hurd-i386.deb2020-06-04 00:03 4.6M 
[ ]libcvc4-dev_1.6-2+b4_hurd-i386.deb2020-06-04 00:03 7.3M 
[ ]libcvc4parser5-dbgsym_1.6-2+b4_hurd-i386.deb2020-06-04 00:03 6.0M 
[ ]libcvc4parser5_1.6-2+b4_hurd-i386.deb2020-06-04 00:03 381K