nixsearch / pkg / emacs28Packages.cryptol-mode / 20190531.2051
emacs28Packages.cryptol-mode 20190531.2051
Linux and macOS
last changed
Pin this version
$ devbox add emacs28Packages.cryptol-mode@20190531.2051
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit31acb601e388eb7d552f137dbe5cb4677fdf1c3c
$ nix shell github:NixOS/nixpkgs/31acb601e388eb7d552f137dbe5cb4677fdf1c3c#emacs28Packages.cryptol-mode
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacs28Packages.cryptol-mode |
31acb601e388 | out/nix/store/rrny6sz8zwjpbbsc014xy6r5hvpfcxpb-emacs-cryptol-mode-20190531.2051 |
||
aarch64-linuxLinux · arm64 |
emacs28Packages.cryptol-mode |
31acb601e388 | out/nix/store/xyyqsgncwp847dyz8qn7qmb95jcijql2-emacs-cryptol-mode-20190531.2051 |
||
x86_64-darwinmacOS · x86-64 |
emacs28Packages.cryptol-mode |
31acb601e388 | out/nix/store/dz6m8c9qfb8gl473swzkba4rwxxn9m86-emacs-cryptol-mode-20190531.2051 |
||
x86_64-linuxLinux · x86-64 |
emacs28Packages.cryptol-mode |
31acb601e388 | out/nix/store/ll0d03mnzwwrhbrcjh36iaycmgkqalcf-emacs-cryptol-mode-20190531.2051 |
JSON: /v2/pkg?name=emacs28Packages.cryptol-mode · /v2/resolve?name=emacs28Packages.cryptol-mode&version=20190531.2051