Vítor Galvão
|
60531a2812
|
remove license from all casks (#25368)
|
2016-10-10 17:45:23 +01:00 |
Anastasia Sulyagina
|
ef5681a221
|
deleted cask's macos (#23505)
|
2016-08-07 15:12:48 -04:00 |
Josh Hagins
|
312ae841f1
|
Use Ruby 1.9 hash syntax in casks where possible
|
2016-01-17 21:57:28 -05:00 |
Josh Hagins
|
714f5c07c8
|
cvc4.rb: RuboCop (master), RuboCop-cask (master) auto-correct
|
2016-01-03 15:28:49 -05:00 |
Josh Hagins
|
feba4ec740
|
Remove DSL versions from all casks
|
2015-12-17 20:15:28 -05:00 |
scribblemaniac
|
ca3b18b018
|
Fix links to use SSL
|
2015-06-29 01:22:36 -06:00 |
Victor Popkov
|
2294e81724
|
cvc4.rb: add name
|
2015-04-05 08:31:12 +03:00 |
Roland Walker
|
6795cc5615
|
add PATH `caveats` to cvc4.rb
|
2015-01-02 07:40:45 -05:00 |
ndr
|
d66e7e5e33
|
Whitespace, layout nits in cvc4
|
2014-12-20 15:33:38 +00:00 |
Roland Walker
|
2b74fa7dc0
|
enable MacOS.release in cvc4
|
2014-12-10 11:55:19 -05:00 |
ndr
|
bacc4cebac
|
Add CVC4, version 1.4
|
2014-12-10 15:59:04 +00:00 |