{"name":"coqPackages.mathcomp-real-closed","version":"1.1.3","summary":"Mathematical Components Library on real closed fields","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-real-closed"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/i8f6hndcym8k3na2jsddzsh4s5dwik5k-coq8.16-mathcomp1.15-real-closed-1.1.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-real-closed"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/zyfc6s0pb2mf0rrcih4cjkvfq165948x-coq8.16-mathcomp1.15-real-closed-1.1.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-real-closed"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/6dgsvrx2wjyp2z9092g7yllyil2dibbc-coq8.16-mathcomp1.15-real-closed-1.1.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-real-closed"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/dl3ndhxcmk7lbj3kv7wy35bz4jmvx3if-coq8.16-mathcomp1.15-real-closed-1.1.3","default":true}]}}}