name mode size
..
cdschecker 040000
checkfence 040000
nidhugg 040000
satcheck-precompiled 040000
satcheck 040000
.gitignore 100644 0 kb
compilesat 100755 0 kb
runcds 100755 0 kb
runcf 100755 0 kb
runnidd 100755 0 kb
runsat 100755 0 kb
runtsosat 100755 0 kb
verifycompilesat 100755 0 kb