{"name":"coqPackages.mathcomp-reals","version":"1.7.0","summary":"Analysis library compatible with Mathematical Components","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.mathcomp-reals"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/9wy5mjizn6ak9zpavf2xjgvgx8dwc32k-coq8.20-mathcomp2.2-mathcomp-reals-1.7.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.mathcomp-reals"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/pcgr9a5kal55f26lb0i7vva8gah9xa2b-coq8.20-mathcomp2.2-mathcomp-reals-1.7.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.mathcomp-reals"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/hmrl135gmhh6hblvch30480zb3147qvf-coq8.20-mathcomp2.2-mathcomp-reals-1.7.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.mathcomp-reals"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/l1ghcipi2wyf73gdqs1ia24aqxf7hgav-coq8.20-mathcomp2.2-mathcomp-reals-1.7.0","default":true}]}}}