{"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":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.helf"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/rmniwh9ih8g8q5129mp27rq6jma8wa0y-helf-1.0.20240318","default":true},{"name":"data","path":"/nix/store/vwnqnp366z52xkl15f328gahxz76y32l-helf-1.0.20240318-data"},{"name":"doc","path":"/nix/store/zx8j13f2gycl4vb0ql85gmpkmra4phlc-helf-1.0.20240318-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.helf"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/pk43j88wd0lwp4nzy6zpw1smhvv83hqf-helf-1.0.20240318","default":true},{"name":"data","path":"/nix/store/v8csy0k4gyk91sr1pwrisxh5df11bfvg-helf-1.0.20240318-data"},{"name":"doc","path":"/nix/store/0q7kjvpy0dgb16fxdif5dpm0azr1s757-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":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.helf"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/adahbaxaif0c9jj3893s0zavra64zznh-helf-1.0.20240318","default":true},{"name":"data","path":"/nix/store/nyfwsbp8gi4rmf6ysfig2g6p6mbwpgg0-helf-1.0.20240318-data"},{"name":"doc","path":"/nix/store/zkzigdglk15lwbh4i0craga2wqdrvvgf-helf-1.0.20240318-doc"}]}}}