about summary refs log tree commit diff
path: root/pkgs/development/compilers/cryptol
AgeCommit message (Expand)AuthorFilesLines
2014-08-22Fix various evaluation problemsEelco Dolstra1-0/+2
2014-08-12Don't build broken Haskell packages on Hydra.Peter Simons1-0/+2
2014-05-17cryptol: add a convenient clang/lss wrapperAustin Seipp1-1/+4
2014-04-29cryptol: Replace URLs with something meaningfulAustin Seipp1-6/+6
2014-04-29cryptol: add 1.8.x expressionAustin Seipp2-0/+112
2014-04-25cryptol v2.0.0Austin Seipp2-0/+75