haskellPackages.helf 0.2022.5.30

Typechecking terms of the Edinburgh Logical Framework (LF)

Linux and macOS last changed 2024-04-09 outputs: out, data, doc

Pin this version

$ devbox add haskellPackages.helf@0.2022.5.30

systemsaarch64-darwin commit0dca19054c663a0cf3b471be3c3079acfd623924

$ nix shell github:NixOS/nixpkgs/0dca19054c663a0cf3b471be3c3079acfd623924#haskellPackages.helf

systemsaarch64-linux, x86_64-darwin commita76c4553d7e741e17f289224eda135423de0491d

$ nix shell github:NixOS/nixpkgs/a76c4553d7e741e17f289224eda135423de0491d#haskellPackages.helf

systemsx86_64-linux commited6db4c403cc2fc4924d24e1a2a2f148c6152620

$ nix shell github:NixOS/nixpkgs/ed6db4c403cc2fc4924d24e1a2a2f148c6152620#haskellPackages.helf

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`haskellPackages.helf`	0dca19054c66	2024-04-09	`out` /nix/store/r5yr6j4a7r7xwkw2py79cdlcqpfn0r7w-helf-0.2022.5.30 `data` (not default) /nix/store/csp47jplj5l6qg9dblszdrj6arkbarm2-helf-0.2022.5.30-data `doc` (not default) /nix/store/y7b0ihc00x6piq03vdxrxcnahwdwjk98-helf-0.2022.5.30-doc
`aarch64-linux` Linux · arm64	`haskellPackages.helf`	a76c4553d7e7	2024-04-09	`out` /nix/store/zccwll8s2hbs4nl7p33fvxfcv25vjk4m-helf-0.2022.5.30 `doc` (not default) /nix/store/n3hihab649anl9dki3lpzi8wbg3y144m-helf-0.2022.5.30-doc `data` (not default) /nix/store/dqjldyyfcacpvlp6g5h9acshycvcqkp2-helf-0.2022.5.30-data
`x86_64-darwin` macOS · x86-64	`haskellPackages.helf`	a76c4553d7e7	2024-04-09	`out` /nix/store/bjx0pli3graps55c96nk6iwhzyb3wz6y-helf-0.2022.5.30 `doc` (not default) /nix/store/ms8801axn7gn6b62994vrj3gwgfp9day-helf-0.2022.5.30-doc `data` (not default) /nix/store/x0if8psdfsgici0cw1xqq46wx564a5w9-helf-0.2022.5.30-data
`x86_64-linux` Linux · x86-64	`haskellPackages.helf`	ed6db4c403cc	2024-04-08	`out` /nix/store/f70f71mapp58ym6q5hjyhyvggy5gsjp9-helf-0.2022.5.30 `doc` (not default) /nix/store/rvbgn0k2r549lmk3snrbgsyfw6aqamks-helf-0.2022.5.30-doc `data` (not default) /nix/store/imyrg68ja66d6yq8nsfkyl077bhqq1dk-helf-0.2022.5.30-data