nixpkgs/pkgs/applications/editors/emacs-modes/cryptol
Austin Seipp 6376ac57d8 emacsPackages: add cryptol-mode
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-14 18:23:51 -05:00
..
default.nix emacsPackages: add cryptol-mode 2014-04-14 18:23:51 -05:00