nixsearch
nixsearch / pkg / coqPackages.CoLoR / 1.8.6

coqPackages.CoLoR 1.8.6

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

Pin this version

$ devbox add coqPackages.CoLoR@1.8.6
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#coqPackages.CoLoR
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#coqPackages.CoLoR

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.CoLoR b6c8664de9b6
out
/nix/store/ccspfgr07548xlrnrmp2p390iaafqdal-coq9.1-color-1.8.6
aarch64-linux
Linux · arm64		 coqPackages.CoLoR b6c8664de9b6
out
/nix/store/jz49z0rpzgwpqi2i30vbk2plpd2spkh1-coq9.1-color-1.8.6
x86_64-darwin
macOS · x86-64		 coqPackages.CoLoR 3d46470bb303
out
/nix/store/rm0gbqp7rnvajr1302l3bmpyfsf3zafy-coq9.1-color-1.8.6
x86_64-linux
Linux · x86-64		 coqPackages.CoLoR b6c8664de9b6
out
/nix/store/xmksdmgnf6ngajmn452hwc2c4m5yx13h-coq9.1-color-1.8.6
all 8 releases older: 1.8.5 →

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