{"name":"coqPackages.mathcomp-classical","version":"0.6.6","summary":"Analysis library compatible with Mathematical Components","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0b7a892fb042ede583bdaecbbdc804acb85eabe"},"attr_path":"coqPackages.mathcomp-classical"},"last_updated":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/sj9kc7hzg1rj12zv00h5wb7bfd0nsk6m-coq8.18-mathcomp1.18-mathcomp-classical-0.6.6","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0b7a892fb042ede583bdaecbbdc804acb85eabe"},"attr_path":"coqPackages.mathcomp-classical"},"last_updated":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/40b2p3a2z44v05aip1c0vgnq55lvhi8l-coq8.18-mathcomp1.18-mathcomp-classical-0.6.6","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0b7a892fb042ede583bdaecbbdc804acb85eabe"},"attr_path":"coqPackages.mathcomp-classical"},"last_updated":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/r8ms89prgw1w3ihb211kgkh8ikfca0xq-coq8.18-mathcomp1.18-mathcomp-classical-0.6.6","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"160b762eda6d139ac10ae081f8f78d640dd523eb"},"attr_path":"coqPackages.mathcomp-classical"},"last_updated":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/k9iv6hf82gfwxf478szqs92kga47x2pw-coq8.18-mathcomp1.18-mathcomp-classical-0.6.6","default":true}]}}}