{"name":"coqPackages.mathcomp-reals-stdlib","version":"1.14.0","summary":"Analysis library compatible with Mathematical Components","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24f4544180242cd80bb2492ce6907243bc716e08"},"attr_path":"coqPackages.mathcomp-reals-stdlib"},"last_updated":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/b9ijkkfipbaq7i29agh61f0yynym0r65-coq9.0-mathcomp2.5-mathcomp-reals-stdlib-1.14.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24f4544180242cd80bb2492ce6907243bc716e08"},"attr_path":"coqPackages.mathcomp-reals-stdlib"},"last_updated":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/8jjjjyw7ysds8b0dcf804ifk25cqkb4j-coq9.0-mathcomp2.5-mathcomp-reals-stdlib-1.14.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24f4544180242cd80bb2492ce6907243bc716e08"},"attr_path":"coqPackages.mathcomp-reals-stdlib"},"last_updated":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/pad665xa4ax47h2sl5n9c9hn66xz4hg3-coq9.0-mathcomp2.5-mathcomp-reals-stdlib-1.14.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24f4544180242cd80bb2492ce6907243bc716e08"},"attr_path":"coqPackages.mathcomp-reals-stdlib"},"last_updated":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/zw9pk8fzv3fh119wlag673ym5n26bs6b-coq9.0-mathcomp2.5-mathcomp-reals-stdlib-1.14.0","default":true}]}}}