nixsearch / pkg / coqPackages.CoLoR / 1.8.5

coqPackages.CoLoR 1.8.5

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

Linux and macOS last changed 2026-01-23

Pin this version

$ devbox add coqPackages.CoLoR@1.8.5

systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita1bab9e494f5f4939442a57a58d0449a109593fe

$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#coqPackages.CoLoR

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`coqPackages.CoLoR`	a1bab9e494f5	2026-01-23	`out` /nix/store/k2npkkcm6mxlhq7h4xjp81mvcyyh7xx0-coq9.0-color-1.8.5
`aarch64-linux` Linux · arm64	`coqPackages.CoLoR`	a1bab9e494f5	2026-01-23	`out` /nix/store/d0x045v9db9gg8m9w01zjsb7mlng6vhv-coq9.0-color-1.8.5
`x86_64-darwin` macOS · x86-64	`coqPackages.CoLoR`	a1bab9e494f5	2026-01-23	`out` /nix/store/wgn6lnmfs2qxz617snxxy4q8r9idsp1c-coq9.0-color-1.8.5
`x86_64-linux` Linux · x86-64	`coqPackages.CoLoR`	a1bab9e494f5	2026-01-23	`out` /nix/store/zk66zp4dp6li7aaknbwv7m86sxv14jf2-coq9.0-color-1.8.5

← newer: 1.8.6 all 8 releases older: 1.8.4 →

JSON: /v2/pkg?name=coqPackages.CoLoR · /v2/resolve?name=coqPackages.CoLoR&version=1.8.5