nixsearch / pkg / coqPackages.CoLoR / 1.8.4

coqPackages.CoLoR 1.8.4

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 2024-04-15

Pin this version

$ devbox add coqPackages.CoLoR@1.8.4

systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit2b80ce7707aedcb79be09e412b6dd6c15c578ab2

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

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`coqPackages.CoLoR`	2b80ce7707ae	2024-04-15	`out` /nix/store/gmfcjshk13ybc6k1kri82nwlf3ma86vz-coq8.18-color-1.8.4
`aarch64-linux` Linux · arm64	`coqPackages.CoLoR`	2b80ce7707ae	2024-04-15	`out` /nix/store/a5z3r7izwb175mx2vnwqnl4qwyhymi1h-coq8.18-color-1.8.4
`x86_64-darwin` macOS · x86-64	`coqPackages.CoLoR`	2b80ce7707ae	2024-04-15	`out` /nix/store/msgqzr44jz87d4gnk6gvs3yr6qz1aghc-coq8.18-color-1.8.4
`x86_64-linux` Linux · x86-64	`coqPackages.CoLoR`	2b80ce7707ae	2024-04-15	`out` /nix/store/y2ncj41c1y238qbq3rqk6ixx4sxjj123-coq8.18-color-1.8.4

← newer: 1.8.5 all 8 releases older: 1.8.3 →

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