distribfold/cpu0/CompatibilityNotes.txt
distribfold/cpu0/blpotential.txt
distribfold/cpu0/bstdt.val
distribfold/cpu0/cbdata
distribfold/cpu0/copyright
distribfold/cpu0/database.obs
distribfold/cpu0/database.seq
distribfold/cpu0/distrib-update
distribfold/cpu0/foldit
distribfold/cpu0/foldtrajlite
distribfold/cpu0/native.val
distribfold/cpu0/param19_eef1.inp
distribfold/cpu0/phipsiwalk_dict.cdx
distribfold/cpu0/phipsiwalk_dict.dbf
distribfold/cpu0/phipsiwalk_dict.fpt
distribfold/cpu0/protein.trj
distribfold/cpu0/readme1st.txt
distribfold/cpu0/rotlib.bin.bz2
distribfold/cpu0/skel.prt
distribfold/cpu0/solvpar.inp
distribfold/cpu0/sspred.val
distribfold/cpu0/toph19_eef1.inp
distribfold/cpu0/whatsnew.txt
distribfold/cpu0/zhangatm.txt
distribfold/cpu0/zhangeij.txt
@dirrmtry distribfold/cpu0
etc/rc.d/distribfold.sh
@unexec rmdir %D/distribfold 2>/dev/null || echo "If you are permanently removing this port, you should do a ``rm -rf ${PKG_PREFIX}/distribfold`` to remove any binary, configuration and log files left." | fmt