haskellPackages.helf 0.2021.8.12

Typechecking terms of the Edinburgh Logical Framework (LF)

Linux and macOS last changed 2022-06-07 outputs: out, data, doc

Pin this version

$ devbox add haskellPackages.helf@0.2021.8.12

systemsaarch64-darwin, aarch64-linux commitaae94e56a7b905281f007a5b70aa7ffff89aee57

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

systemsx86_64-darwin commitc5d810f4c74c824ae0fb788103003c6c9d366a08

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

systemsx86_64-linux commit98bb5b77c8c6666824a4c13d23befa1e07210ef1

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`haskellPackages.helf`	aae94e56a7b9	2022-06-07	`out` /nix/store/vcfbv1q0sdbnnk2yalgjv5855fxkhpbv-helf-0.2021.8.12 `data` (not default) /nix/store/1g0iahgi12k51wdvnnpzd6gn26n1l2hc-helf-0.2021.8.12-data `doc` (not default) /nix/store/nd6sxqhg5kiwqlnnyzngsxmf6p47vd05-helf-0.2021.8.12-doc
`aarch64-linux` Linux · arm64	`haskellPackages.helf`	aae94e56a7b9	2022-06-07	`out` /nix/store/08qk2va9p96nq8ws32sd60hx08gczqba-helf-0.2021.8.12 `data` (not default) /nix/store/0qh0acrw6g2v77q3gzqsab4cnqd7gvcd-helf-0.2021.8.12-data `doc` (not default) /nix/store/zipgjrl4adqx39jqc8wp6xsvw2cscimd-helf-0.2021.8.12-doc
`x86_64-darwin` macOS · x86-64	`haskellPackages.helf`	c5d810f4c74c	2022-06-05	`out` /nix/store/pq3mvnazi8a2hcpyg1g78ljmhs12y51j-helf-0.2021.8.12 `data` (not default) /nix/store/srwbrz3h90vqd4845s1q7pa78mbaj2zn-helf-0.2021.8.12-data `doc` (not default) /nix/store/hxqvm4i9c5bbw61s12r4anjs71x7rbgz-helf-0.2021.8.12-doc
`x86_64-linux` Linux · x86-64	`haskellPackages.helf`	98bb5b77c8c6	2022-02-09	`out` /nix/store/b5ps6f5xn4r87lgpn19rzr3f4f6kvp6x-helf-0.2021.8.12 `doc` (not default) /nix/store/xzg76b4lss2rv2k4r4d1n4xi47zl0ccx-helf-0.2021.8.12-doc `data` (not default) /nix/store/l6aqc7zsi8k98wfj8p4v9nw6rgxlslj1-helf-0.2021.8.12-data