{"name":"coqPackages.CoLoR","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","description":"","homepage_url":"https://github.com/fblanqui/color","license":"","attribute_paths":["coqPackages.CoLoR"],"releases":[{"version":"1.8.6","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ccspfgr07548xlrnrmp2p390iaafqdal-coq9.1-color-1.8.6","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/jz49z0rpzgwpqi2i30vbk2plpd2spkh1-coq9.1-color-1.8.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/rm0gbqp7rnvajr1302l3bmpyfsf3zafy-coq9.1-color-1.8.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/xmksdmgnf6ngajmn452hwc2c4m5yx13h-coq9.1-color-1.8.6","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.5","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/k2npkkcm6mxlhq7h4xjp81mvcyyh7xx0-coq9.0-color-1.8.5","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/d0x045v9db9gg8m9w01zjsb7mlng6vhv-coq9.0-color-1.8.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/wgn6lnmfs2qxz617snxxy4q8r9idsp1c-coq9.0-color-1.8.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/zk66zp4dp6li7aaknbwv7m86sxv14jf2-coq9.0-color-1.8.5","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.4","last_updated":"2024-04-15T22:11:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"2b80ce7707aedcb79be09e412b6dd6c15c578ab2","date":"2024-04-15T22:11:55Z","outputs":[{"name":"out","path":"/nix/store/gmfcjshk13ybc6k1kri82nwlf3ma86vz-coq8.18-color-1.8.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"2b80ce7707aedcb79be09e412b6dd6c15c578ab2","date":"2024-04-15T22:11:55Z","outputs":[{"name":"out","path":"/nix/store/a5z3r7izwb175mx2vnwqnl4qwyhymi1h-coq8.18-color-1.8.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"2b80ce7707aedcb79be09e412b6dd6c15c578ab2","date":"2024-04-15T22:11:55Z","outputs":[{"name":"out","path":"/nix/store/msgqzr44jz87d4gnk6gvs3yr6qz1aghc-coq8.18-color-1.8.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"2b80ce7707aedcb79be09e412b6dd6c15c578ab2","date":"2024-04-15T22:11:55Z","outputs":[{"name":"out","path":"/nix/store/y2ncj41c1y238qbq3rqk6ixx4sxjj123-coq8.18-color-1.8.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.3","last_updated":"2023-07-01T05:11:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"8277b539d371bf4308fc5097911aa58bfac1794f","date":"2023-07-01T05:11:56Z","outputs":[{"name":"out","path":"/nix/store/k52qbfhbdlb8d9bhl8aiybvs4vp8va95-coq8.17-color-1.8.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"8277b539d371bf4308fc5097911aa58bfac1794f","date":"2023-07-01T05:11:56Z","outputs":[{"name":"out","path":"/nix/store/2jz9blnpxnnc8cg7fm1p3vc3nxa52abn-coq8.17-color-1.8.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"8277b539d371bf4308fc5097911aa58bfac1794f","date":"2023-07-01T05:11:56Z","outputs":[{"name":"out","path":"/nix/store/dpscv2gl0xl8r0pg0k564g75fnyva3b3-coq8.17-color-1.8.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"8277b539d371bf4308fc5097911aa58bfac1794f","date":"2023-07-01T05:11:56Z","outputs":[{"name":"out","path":"/nix/store/4j41pwcimjp2v4bsi8cx8gxmg222bsmh-coq8.17-color-1.8.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.2","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/5dvd1ppgql79xykdk2fn7sza97aq8xmg-coq8.16-color-1.8.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/anv2fr7xcljk1i8dhmxwm4qlq5av2472-coq8.16-color-1.8.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/yw6wijcdaixlnqg8vi7q0yn1swm7rcwv-coq8.16-color-1.8.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/fg35nqlfsa1mg2mv6j975l46q3dmxxja-coq8.16-color-1.8.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.1","last_updated":"2022-03-21T18:25:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/wf4zyd3agfw15fags32pkm4vrf8w59cj-coq8.13-color-1.8.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/cbyc06jyh4bs47ngk8a61gzdms3s39sp-coq8.13-color-1.8.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.CoLoR","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/2j6yi8i70hywkzq6hlc41hibwqfhn395-coq8.13-color-1.8.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.7.0","last_updated":"2021-05-07T13:48:33Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"316b82563a7793a4a88bed9e41adb936d9adc969","date":"2021-05-07T13:48:33Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.6.0","last_updated":"2020-08-14T19:01:46Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.CoLoR","commit_hash":"729e7295cf7b3205fcfa72544c1195c03de11c3d","date":"2020-08-14T19:01:46Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}