new-style header in cryptol

This commit is contained in:
Roland Walker 2014-11-13 12:25:39 -05:00
parent ee1a0d08dc
commit 21a0800a0e

View file

@ -1,4 +1,4 @@
class Cryptol < Cask
cask :v1 => 'cryptol' do
version '2.0.0'
sha256 '19b3c24390ccb66584f42f34fed91cefc12f667879ab0228cdf806016bcd53c4'