ndr
|
fe2f6f144b
|
Remove dependency caveat from cryptol
Dependencies now handled by `depends_on :cask`.
|
2015-01-03 00:49:56 +00:00 |
|
ndr
|
73f359b673
|
Merge pull request #8565 from jawshooah/cryptol/add-cvc4-dep
cryptol: Add cvc4 Cask dependency
|
2015-01-03 00:44:38 +00:00 |
|
ndr
|
713322e0d2
|
Update cryptol to 2.1.0
|
2015-01-02 14:20:00 +00:00 |
|
Josh Hagins
|
0b4b3ebb32
|
Add cvc4 dependency to cryptol
|
2014-12-31 13:58:43 -06:00 |
|
Roland Walker
|
21a0800a0e
|
new-style header in cryptol
|
2014-11-13 12:34:39 -05:00 |
|
ndr
|
b0e358a1b1
|
Specify license of cryptol
|
2014-10-11 17:34:56 +01:00 |
|
ndr
|
aa043c277e
|
Add gpg stanza to cryptol
|
2014-10-07 23:18:45 +01:00 |
|
Roland Walker
|
a61112b061
|
convert multiple puts to one heredoc, cryptol.rb
|
2014-10-07 11:18:38 -04:00 |
|
Roland Walker
|
22c66984e4
|
add license stanza to cryptol
|
2014-10-01 11:42:12 -04:00 |
|
Roland Walker
|
7b8791d4fb
|
re-use version in cryptol
|
2014-09-26 08:08:51 -04:00 |
|
ndr
|
2e38e6280b
|
Reformat cryptol.rb according to readability conventions
|
2014-06-27 02:01:06 +02:00 |
|
ndr
|
270c96e7bf
|
Add Cryptol
|
2014-04-25 23:35:41 +02:00 |