{"name":"haskellPackages.helf","version":"0.2022.5.30","summary":"Typechecking terms of the Edinburgh Logical Framework (LF)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0dca19054c663a0cf3b471be3c3079acfd623924"},"attr_path":"haskellPackages.helf"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a76c4553d7e741e17f289224eda135423de0491d"},"attr_path":"haskellPackages.helf"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a76c4553d7e741e17f289224eda135423de0491d"},"attr_path":"haskellPackages.helf"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed6db4c403cc2fc4924d24e1a2a2f148c6152620"},"attr_path":"haskellPackages.helf"},"last_updated":"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"}]}}}