1 commit

Author	SHA1	Message	Date
Austin Seipp	d9d76f1a3a	cryptol: add 1.8.x expression ... This also includes support for the verification tools I'm using. Cryptol 2 is still the default obviously. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-29 17:50:55 -05:00

Renamed from pkgs/development/compilers/cryptol/default.nix (Browse further)