haskellPackages.helf 1.0.20240318

Typechecking terms of the Edinburgh Logical Framework (LF)

Linux and macOS last changed 2026-09-29 outputs: out, data, doc

Pin this version

$ devbox add haskellPackages.helf@1.0.20240318

systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4

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

systemsx86_64-darwin commit0c190cd98e1f30cdbeff0ca149b2b17564a4a30e

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`haskellPackages.helf`	b6c8664de9b6	2026-09-29	`out` /nix/store/rmniwh9ih8g8q5129mp27rq6jma8wa0y-helf-1.0.20240318 `data` (not default) /nix/store/vwnqnp366z52xkl15f328gahxz76y32l-helf-1.0.20240318-data `doc` (not default) /nix/store/zx8j13f2gycl4vb0ql85gmpkmra4phlc-helf-1.0.20240318-doc
`aarch64-linux` Linux · arm64	`haskellPackages.helf`	b6c8664de9b6	2026-09-29	`out` /nix/store/pk43j88wd0lwp4nzy6zpw1smhvv83hqf-helf-1.0.20240318 `data` (not default) /nix/store/v8csy0k4gyk91sr1pwrisxh5df11bfvg-helf-1.0.20240318-data `doc` (not default) /nix/store/0q7kjvpy0dgb16fxdif5dpm0azr1s757-helf-1.0.20240318-doc
`x86_64-darwin` macOS · x86-64	`haskellPackages.helf`	0c190cd98e1f	2026-07-03	`out` /nix/store/rkxfp0si0r63j64md2v6r9f9v3qjw2cf-helf-1.0.20240318 `data` (not default) /nix/store/ra9k5irjl8v9psjxwix2j3zsddwj4l2y-helf-1.0.20240318-data `doc` (not default) /nix/store/vj2hdfrk1na5r25hhwf5l5h95agzrn53-helf-1.0.20240318-doc
`x86_64-linux` Linux · x86-64	`haskellPackages.helf`	b6c8664de9b6	2026-09-29	`out` /nix/store/adahbaxaif0c9jj3893s0zavra64zznh-helf-1.0.20240318 `data` (not default) /nix/store/nyfwsbp8gi4rmf6ysfig2g6p6mbwpgg0-helf-1.0.20240318-data `doc` (not default) /nix/store/zkzigdglk15lwbh4i0craga2wqdrvvgf-helf-1.0.20240318-doc