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

coqPackages.mathcomp-infotheo 0.7.1

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

Pin this version

$ devbox add coqPackages.mathcomp-infotheo@0.7.1
systemsaarch64-darwin commit5629520edecb69630a3f4d17d3d33fc96c13f6fe 
$ nix shell github:NixOS/nixpkgs/5629520edecb69630a3f4d17d3d33fc96c13f6fe#coqPackages.mathcomp-infotheo
systemsaarch64-linux, x86_64-darwin, x86_64-linux commit51b45dc262830ab95c7b9b039bb4f911d4b2509b 
$ nix shell github:NixOS/nixpkgs/51b45dc262830ab95c7b9b039bb4f911d4b2509b#coqPackages.mathcomp-infotheo

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-infotheo 5629520edecb
out
/nix/store/zivvjcf487h8329x8kk1mz1alvwy170h-coq8.19-mathcomp2.2-infotheo-0.7.1
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-infotheo 51b45dc26283
out
/nix/store/ccbql4bwnxyc7axdsh6zwfynv4q1fwkz-coq8.19-mathcomp2.2-infotheo-0.7.1
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-infotheo 51b45dc26283
out
/nix/store/jylcrhqr3k0dzrnfv6wa5rrzjgfqb3aq-coq8.19-mathcomp2.2-infotheo-0.7.1
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-infotheo 51b45dc26283
out
/nix/store/rj6a5vryz84szywwnbfp3j0ndxq9xwmr-coq8.19-mathcomp2.2-infotheo-0.7.1
← newer: 0.7.3 all 9 releases older: 0.6.1 →

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