{"name":"haskellPackages.type-natural","version":"1.3.0.2","summary":"Type-level natural and proofs of their properties","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.type-natural"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/9qiah4cmykm0wiqw1x122pziyj3jshkb-type-natural-1.3.0.2","default":true},{"name":"doc","path":"/nix/store/1b9zbb2ks3aa653qg3pfc807q6i0bh9f-type-natural-1.3.0.2-doc"}]}}}