{"name":"haskellPackages.nat-optics","version":"1.0.1.1","summary":"Refinement types for natural numbers with an optics interface","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.nat-optics"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/219lqk4r0rl18cxcras53rqnc47kqdar-nat-optics-1.0.1.1","default":true},{"name":"doc","path":"/nix/store/8fqj7l3hi0l1dpmif51h4na0fyw4rhb5-nat-optics-1.0.1.1-doc"}]}}}