{"name":"coqPackages.CoLoR","version":"1.8.5","summary":"CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"coqPackages.CoLoR"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/k2npkkcm6mxlhq7h4xjp81mvcyyh7xx0-coq9.0-color-1.8.5","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"coqPackages.CoLoR"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/d0x045v9db9gg8m9w01zjsb7mlng6vhv-coq9.0-color-1.8.5","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"coqPackages.CoLoR"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/wgn6lnmfs2qxz617snxxy4q8r9idsp1c-coq9.0-color-1.8.5","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"coqPackages.CoLoR"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/zk66zp4dp6li7aaknbwv7m86sxv14jf2-coq9.0-color-1.8.5","default":true}]}}}