new-style header in isabelle

2014-11-13 12:26:07 -05:00 · 2014-11-13 12:26:07 -05:00 · 521cec742b
parent c9a07c7190
commit 521cec742b
1 changed files with 1 additions and 1 deletions
--- a/Casks/isabelle.rb
+++ b/Casks/isabelle.rb
@ -1,4 +1,4 @@
-class Isabelle < Cask
+cask :v1 => 'isabelle' do
  version '2014'
  sha256 'e4a4b5f454d6cb24d5ef7271adc54e9fa7109addda8c6707bd7414b4d4061a23'