Homebrew/homebrew-science — pull request #1168 by beurdouche (2014-09-10 17:41:37+00:00)
Title: Proverif 1.88.1 (new formula)

Transfert from Homebrew to Homebrew-science on demand ...
(https://github.com/Homebrew/homebrew/pull/32214)