nixsearch
nixsearch / pkg / coqPackages.mathcomp-infotheo / 0.5.2

coqPackages.mathcomp-infotheo 0.5.2

Coq formalization of information theory and linear error-correcting codes
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.mathcomp-infotheo@0.5.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin commitc0b7a892fb042ede583bdaecbbdc804acb85eabe 
$ nix shell github:NixOS/nixpkgs/c0b7a892fb042ede583bdaecbbdc804acb85eabe#coqPackages.mathcomp-infotheo
systemsx86_64-linux commit160b762eda6d139ac10ae081f8f78d640dd523eb 
$ nix shell github:NixOS/nixpkgs/160b762eda6d139ac10ae081f8f78d640dd523eb#coqPackages.mathcomp-infotheo

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-infotheo c0b7a892fb04
out
/nix/store/j2lpycp7w9ipibp4prvslsds2wzhip85-coq8.18-mathcomp1.18-infotheo-0.5.2
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-infotheo c0b7a892fb04
out
/nix/store/q96frd70nkyhzmz9nw19m2rm7bc51c7g-coq8.18-mathcomp1.18-infotheo-0.5.2
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-infotheo c0b7a892fb04
out
/nix/store/x63scfwm1ai4jljwxycj3g1d8xm44w1c-coq8.18-mathcomp1.18-infotheo-0.5.2
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-infotheo 160b762eda6d
out
/nix/store/zzk9ph6cbv8ddj7k210q9qxxdw99xsk9-coq8.18-mathcomp1.18-infotheo-0.5.2
← newer: 0.6.1 all 9 releases

JSON: /v2/pkg?name=coqPackages.mathcomp-infotheo · /v2/resolve?name=coqPackages.mathcomp-infotheo&version=0.5.2