ndr
|
facfb85d0e
|
cryptol: update to 2.2.3
|
2015-05-02 16:30:11 +01:00 |
|
ndr
|
d425ffeb9b
|
cryptol: update to 2.2.2
|
2015-04-11 02:10:06 +01:00 |
|
Victor Popkov
|
060a153ec1
|
cryptol.rb: add name
|
2015-04-05 08:29:07 +03:00 |
|
ndr
|
1879157b60
|
cryptol: update to 2.2.1
|
2015-04-04 14:03:45 +01:00 |
|
ndr
|
413ee93e87
|
cryptol: update to 2.2.0
|
2015-03-24 20:32:10 +00:00 |
|
Vítor Galvão
|
62cc8c679f
|
cryptol.rb: added github appcast
|
2015-03-19 12:09:58 +01:00 |
|
Vítor Galvão
|
6071671546
|
cryptol.rb: added vendor host comment
|
2015-01-17 04:34:02 +00:00 |
|
Josh Hagins
|
95b119aa83
|
cryptol: Add zap stanza
|
2015-01-05 11:26:54 -05:00 |
|
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 |