nixsearch / pkg / emacsPackages.cryptol-mode / 20190531.2051
emacsPackages.cryptol-mode 20190531.2051
Linux and macOS
last changed
Pin this version
$ devbox add emacsPackages.cryptol-mode@20190531.2051
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#emacsPackages.cryptol-mode
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#emacsPackages.cryptol-mode
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacsPackages.cryptol-mode |
b6c8664de9b6 | out/nix/store/ifv6ixi7v1pm18xd3r3inr8a9x72zy7v-emacs-cryptol-mode-20190531.2051 |
||
aarch64-linuxLinux · arm64 |
emacsPackages.cryptol-mode |
b6c8664de9b6 | out/nix/store/3w5yinxczn50032670ksfbfxi4axm7bx-emacs-cryptol-mode-20190531.2051 |
||
x86_64-darwinmacOS · x86-64 |
emacsPackages.cryptol-mode |
05988b07fb05 | out/nix/store/9k0xqvygvw2vj2dhy5g4fv28xj7vlvs0-emacs-cryptol-mode-20190531.2051 |
||
x86_64-linuxLinux · x86-64 |
emacsPackages.cryptol-mode |
b6c8664de9b6 | out/nix/store/ac28w7ycylfbq8j3yqfcmmasxss3l8s4-emacs-cryptol-mode-20190531.2051 |
JSON: /v2/pkg?name=emacsPackages.cryptol-mode · /v2/resolve?name=emacsPackages.cryptol-mode&version=20190531.2051