{"name":"coqPackages.mathcomp-classical","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-classical"},"last_updated":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/zdrzpg3m88015yhfgc48w42sp2hphxqg-coq9.0-mathcomp2.4-mathcomp-classical-1.11.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6"},"attr_path":"coqPackages.mathcomp-classical"},"last_updated":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/32kcc6m8jq2bw4chcz0iyifhvflnpf11-coq9.0-mathcomp2.4-mathcomp-classical-1.11.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6"},"attr_path":"coqPackages.mathcomp-classical"},"last_updated":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/nl2w1cg3k41m98hkja33rzv67yc5fl2h-coq9.0-mathcomp2.4-mathcomp-classical-1.11.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6"},"attr_path":"coqPackages.mathcomp-classical"},"last_updated":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/phsg8h8g82msawxgcw3a1ssmj126dg7i-coq9.0-mathcomp2.4-mathcomp-classical-1.11.0","default":true}]}}}