nixsearch / pkg / coqPackages.CoLoR / 1.8.3

coqPackages.CoLoR 1.8.3

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-07-01

Pin this version

$ devbox add coqPackages.CoLoR@1.8.3

systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit8277b539d371bf4308fc5097911aa58bfac1794f

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

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`coqPackages.CoLoR`	8277b539d371	2023-07-01	`out` /nix/store/k52qbfhbdlb8d9bhl8aiybvs4vp8va95-coq8.17-color-1.8.3
`aarch64-linux` Linux · arm64	`coqPackages.CoLoR`	8277b539d371	2023-07-01	`out` /nix/store/2jz9blnpxnnc8cg7fm1p3vc3nxa52abn-coq8.17-color-1.8.3
`x86_64-darwin` macOS · x86-64	`coqPackages.CoLoR`	8277b539d371	2023-07-01	`out` /nix/store/dpscv2gl0xl8r0pg0k564g75fnyva3b3-coq8.17-color-1.8.3
`x86_64-linux` Linux · x86-64	`coqPackages.CoLoR`	8277b539d371	2023-07-01	`out` /nix/store/4j41pwcimjp2v4bsi8cx8gxmg222bsmh-coq8.17-color-1.8.3

← newer: 1.8.4 all 8 releases older: 1.8.2 →

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