nixsearch / pkg / coqPackages.CoLoR / 1.8.2

coqPackages.CoLoR 1.8.2

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 2023-04-13

Pin this version

$ devbox add coqPackages.CoLoR@1.8.2

systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit96ba1c52e54e74c3197f4d43026b3f3d92e83ff9

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

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`coqPackages.CoLoR`	96ba1c52e54e	2023-04-13	`out` /nix/store/5dvd1ppgql79xykdk2fn7sza97aq8xmg-coq8.16-color-1.8.2
`aarch64-linux` Linux · arm64	`coqPackages.CoLoR`	96ba1c52e54e	2023-04-13	`out` /nix/store/anv2fr7xcljk1i8dhmxwm4qlq5av2472-coq8.16-color-1.8.2
`x86_64-darwin` macOS · x86-64	`coqPackages.CoLoR`	96ba1c52e54e	2023-04-13	`out` /nix/store/yw6wijcdaixlnqg8vi7q0yn1swm7rcwv-coq8.16-color-1.8.2
`x86_64-linux` Linux · x86-64	`coqPackages.CoLoR`	96ba1c52e54e	2023-04-13	`out` /nix/store/fg35nqlfsa1mg2mv6j975l46q3dmxxja-coq8.16-color-1.8.2

← newer: 1.8.3 all 8 releases older: 1.8.1 →

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