proverif
========
/usr/lib/.build-id
/usr/lib/.build-id/6c
/usr/lib/.build-id/a9
/usr/lib/.build-id/ea
/usr/share/doc/proverif
/usr/share/licenses/proverif

/usr/bin/proverif
/usr/bin/proverif_interact
/usr/bin/proveriftotex
/usr/lib/.build-id/6c/524f932260a6b596f3c0a1701e1c173028a181
/usr/lib/.build-id/a9/a98523e6f0bcea93eab50c6ddbbee57060f5c4
/usr/lib/.build-id/ea/f6473a4093cb6f49754f0b60572bedebe962d0
/usr/share/doc/proverif/CHANGES
/usr/share/doc/proverif/README
/usr/share/licenses/proverif/LICENSE