{"name":"haskellPackages.helf","version":"1.0.20240318","summary":"Typechecking terms of the Edinburgh Logical Framework (LF)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.helf"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/vqd22bzvfx5053lxixmpn82na0sa8gdp-helf-1.0.20240318","default":true},{"name":"data","path":"/nix/store/p3lznrjiprpi4m4wb25r5dy82my6hx2c-helf-1.0.20240318-data"},{"name":"doc","path":"/nix/store/3pncrn1s1d4jf8zkys23d328paxy2rzf-helf-1.0.20240318-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.helf"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/z3xdnnv3rf2x78xlm9ybyvkq6gqklvdg-helf-1.0.20240318","default":true},{"name":"data","path":"/nix/store/9jr1715xyr9qrf07zf65lm6gkagb8rsf-helf-1.0.20240318-data"},{"name":"doc","path":"/nix/store/ki2fcb6qxsbmn40r6zfnxpk41q9w4kql-helf-1.0.20240318-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0c190cd98e1f30cdbeff0ca149b2b17564a4a30e"},"attr_path":"haskellPackages.helf"},"last_updated":"2026-07-03T16:41:56Z","outputs":[{"name":"out","path":"/nix/store/rkxfp0si0r63j64md2v6r9f9v3qjw2cf-helf-1.0.20240318","default":true},{"name":"data","path":"/nix/store/ra9k5irjl8v9psjxwix2j3zsddwj4l2y-helf-1.0.20240318-data"},{"name":"doc","path":"/nix/store/vj2hdfrk1na5r25hhwf5l5h95agzrn53-helf-1.0.20240318-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.helf"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/5h9s7jfx31zpxpblx6yn83vgsvqgfim1-helf-1.0.20240318","default":true},{"name":"data","path":"/nix/store/d3wx41qvdmxa23akycnzy141d5gaqx6p-helf-1.0.20240318-data"},{"name":"doc","path":"/nix/store/0r0ivvisl6h85m8xbcrfilyv552lrbsl-helf-1.0.20240318-doc"}]}}}