{"name":"coqPackages.mathcomp-reals-stdlib","version":"1.11.0","summary":"Analysis library compatible with Mathematical Components","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6"},"attr_path":"coqPackages.mathcomp-reals-stdlib"},"last_updated":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/hvlfrzamvxza5zcljjhbm8n79hq7wk0z-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6"},"attr_path":"coqPackages.mathcomp-reals-stdlib"},"last_updated":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/wyqzzs5hc3wm9m409kxpnqygapfwxcp2-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6"},"attr_path":"coqPackages.mathcomp-reals-stdlib"},"last_updated":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/6m7fzbg9rsgwslw9q3fswgf1ksrwjsi1-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6"},"attr_path":"coqPackages.mathcomp-reals-stdlib"},"last_updated":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/mgjib2000l3hxn97dqqdzdr0gg36l1il-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0","default":true}]}}}