proverif
========
/usr/lib/.build-id
/usr/lib/.build-id/58
/usr/lib/.build-id/7c
/usr/lib/.build-id/a0
/usr/share/doc/proverif
/usr/share/licenses/proverif

/usr/bin/proverif
/usr/bin/proverif_interact
/usr/bin/proveriftotex
/usr/lib/.build-id/58/7128de9aa5b4196a16a897923a69ef73f1f89f
/usr/lib/.build-id/7c/63f440e0462a2c2404a011f02752ec326e8026
/usr/lib/.build-id/a0/e76a65964ca3173f073412206142db5b84cdda
/usr/share/doc/proverif/CHANGES
/usr/share/doc/proverif/README
/usr/share/licenses/proverif/LICENSE