nixsearch / pkg / coqPackages.CoLoR / 1.8.1

coqPackages.CoLoR 1.8.1

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 2022-03-21

Pin this version

$ devbox add coqPackages.CoLoR@1.8.1

systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit4c3c80df545ec5cb26b5480979c3e3f93518cbe5

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

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`coqPackages.CoLoR`	4c3c80df545e	2022-03-21	`out` /nix/store/wf4zyd3agfw15fags32pkm4vrf8w59cj-coq8.13-color-1.8.1
`aarch64-linux` Linux · arm64	`coqPackages.CoLoR`	4c3c80df545e	2022-03-21	`out` /nix/store/cbyc06jyh4bs47ngk8a61gzdms3s39sp-coq8.13-color-1.8.1
`x86_64-darwin` macOS · x86-64	`coqPackages.CoLoR`	4c3c80df545e	2022-03-21	`out` /nix/store/2j6yi8i70hywkzq6hlc41hibwqfhn395-coq8.13-color-1.8.1
`x86_64-linux` Linux · x86-64	`coqPackages.CoLoR`	4c3c80df545e	2022-03-21

← newer: 1.8.2 all 8 releases older: 1.7.0 →

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