{"name":"haskellPackages.helf","version":"0.2021.8.12","summary":"Typechecking terms of the Edinburgh Logical Framework (LF)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aae94e56a7b905281f007a5b70aa7ffff89aee57"},"attr_path":"haskellPackages.helf"},"last_updated":"2022-06-07T12:09:11Z","outputs":[{"name":"out","path":"/nix/store/vcfbv1q0sdbnnk2yalgjv5855fxkhpbv-helf-0.2021.8.12","default":true},{"name":"data","path":"/nix/store/1g0iahgi12k51wdvnnpzd6gn26n1l2hc-helf-0.2021.8.12-data"},{"name":"doc","path":"/nix/store/nd6sxqhg5kiwqlnnyzngsxmf6p47vd05-helf-0.2021.8.12-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aae94e56a7b905281f007a5b70aa7ffff89aee57"},"attr_path":"haskellPackages.helf"},"last_updated":"2022-06-07T12:09:11Z","outputs":[{"name":"out","path":"/nix/store/08qk2va9p96nq8ws32sd60hx08gczqba-helf-0.2021.8.12","default":true},{"name":"data","path":"/nix/store/0qh0acrw6g2v77q3gzqsab4cnqd7gvcd-helf-0.2021.8.12-data"},{"name":"doc","path":"/nix/store/zipgjrl4adqx39jqc8wp6xsvw2cscimd-helf-0.2021.8.12-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c5d810f4c74c824ae0fb788103003c6c9d366a08"},"attr_path":"haskellPackages.helf"},"last_updated":"2022-06-05T03:11:35Z","outputs":[{"name":"out","path":"/nix/store/pq3mvnazi8a2hcpyg1g78ljmhs12y51j-helf-0.2021.8.12","default":true},{"name":"data","path":"/nix/store/srwbrz3h90vqd4845s1q7pa78mbaj2zn-helf-0.2021.8.12-data"},{"name":"doc","path":"/nix/store/hxqvm4i9c5bbw61s12r4anjs71x7rbgz-helf-0.2021.8.12-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98bb5b77c8c6666824a4c13d23befa1e07210ef1"},"attr_path":"haskellPackages.helf"},"last_updated":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/b5ps6f5xn4r87lgpn19rzr3f4f6kvp6x-helf-0.2021.8.12","default":true},{"name":"doc","path":"/nix/store/xzg76b4lss2rv2k4r4d1n4xi47zl0ccx-helf-0.2021.8.12-doc"},{"name":"data","path":"/nix/store/l6aqc7zsi8k98wfj8p4v9nw6rgxlslj1-helf-0.2021.8.12-data"}]}}}