/usr/bin/voms-proxy-destroy	/usr/bin/voms-proxy-destroy3	90
/usr/share/man/man1/voms-proxy-destroy.1.gz	/usr/share/man/man1/voms-proxy-destroy3.1.gz	/usr/bin/voms-proxy-destroy3
