Homebrew/homebrew-science — pull request #1377 by beurdouche (2014-11-20 14:59:34+00:00)
Title: New formula : Cryptoverif 1.19

Add new formula for cryptoverif =)