{"name":"haskellPackages.helf","summary":"Typechecking terms of the Edinburgh Logical Framework (LF)","description":"","homepage_url":"https://hackage.haskell.org/package/helf","license":"MIT","attribute_paths":["haskellPackages.helf"],"releases":[{"version":"1.0.20240318","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.helf","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.helf","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.helf","commit_hash":"0c190cd98e1f30cdbeff0ca149b2b17564a4a30e","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.helf","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, data, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.2022.5.30","last_updated":"2024-04-09T12:34:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.helf","commit_hash":"0dca19054c663a0cf3b471be3c3079acfd623924","date":"2024-04-09T03:49:54Z","outputs":[{"name":"out","path":"/nix/store/r5yr6j4a7r7xwkw2py79cdlcqpfn0r7w-helf-0.2022.5.30","default":true},{"name":"data","path":"/nix/store/csp47jplj5l6qg9dblszdrj6arkbarm2-helf-0.2022.5.30-data"},{"name":"doc","path":"/nix/store/y7b0ihc00x6piq03vdxrxcnahwdwjk98-helf-0.2022.5.30-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.helf","commit_hash":"a76c4553d7e741e17f289224eda135423de0491d","date":"2024-04-09T12:34:47Z","outputs":[{"name":"out","path":"/nix/store/zccwll8s2hbs4nl7p33fvxfcv25vjk4m-helf-0.2022.5.30","default":true},{"name":"doc","path":"/nix/store/n3hihab649anl9dki3lpzi8wbg3y144m-helf-0.2022.5.30-doc"},{"name":"data","path":"/nix/store/dqjldyyfcacpvlp6g5h9acshycvcqkp2-helf-0.2022.5.30-data"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.helf","commit_hash":"a76c4553d7e741e17f289224eda135423de0491d","date":"2024-04-09T12:34:47Z","outputs":[{"name":"out","path":"/nix/store/bjx0pli3graps55c96nk6iwhzyb3wz6y-helf-0.2022.5.30","default":true},{"name":"doc","path":"/nix/store/ms8801axn7gn6b62994vrj3gwgfp9day-helf-0.2022.5.30-doc"},{"name":"data","path":"/nix/store/x0if8psdfsgici0cw1xqq46wx564a5w9-helf-0.2022.5.30-data"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.helf","commit_hash":"ed6db4c403cc2fc4924d24e1a2a2f148c6152620","date":"2024-04-08T19:28:16Z","outputs":[{"name":"out","path":"/nix/store/f70f71mapp58ym6q5hjyhyvggy5gsjp9-helf-0.2022.5.30","default":true},{"name":"doc","path":"/nix/store/rvbgn0k2r549lmk3snrbgsyfw6aqamks-helf-0.2022.5.30-doc"},{"name":"data","path":"/nix/store/imyrg68ja66d6yq8nsfkyl077bhqq1dk-helf-0.2022.5.30-data"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, data, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.2021.8.12","last_updated":"2022-06-07T12:09:11Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.helf","commit_hash":"aae94e56a7b905281f007a5b70aa7ffff89aee57","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.helf","commit_hash":"aae94e56a7b905281f007a5b70aa7ffff89aee57","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.helf","commit_hash":"c5d810f4c74c824ae0fb788103003c6c9d366a08","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.helf","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, data, doc","prerelease":false,"broken":false,"insecure":false}]}