about summary refs log tree commit diff
path: root/pkgs/development/compilers/cryptol/1.8.x.nix
AgeCommit message (Expand)AuthorFilesLines
2015-01-23cryptol: update 2.x branch to version 2.1.0 and remove broken 1.x buildPeter Simons1-119/+0
2014-12-26Change occurrences of gcc to the more general ccJohn Wiegley1-5/+5
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 Seipp1-0/+112