{"name":"coqPackages.mathcomp-reals","version":"1.5.0","summary":"Analysis library compatible with Mathematical Components","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"coqPackages.mathcomp-reals"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/3dq6iali3hqdh4jfdrkf448aznp0hr5a-coq8.20-mathcomp2.2-mathcomp-reals-1.5.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"coqPackages.mathcomp-reals"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/h80k69y4p5h4pvimzkdqz1gn8s9dk9lr-coq8.20-mathcomp2.2-mathcomp-reals-1.5.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"coqPackages.mathcomp-reals"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/vzm62hgmddlfbfkc3ag1aadb5vgi6nff-coq8.20-mathcomp2.2-mathcomp-reals-1.5.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"coqPackages.mathcomp-reals"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/zql0xc9kcqwzl6fvsngl8pbji00p91nn-coq8.20-mathcomp2.2-mathcomp-reals-1.5.0","default":true}]}}}