nixsearch / pkg / coqPackages.mathcomp-infotheo / 0.9.1
coqPackages.mathcomp-infotheo 0.9.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.9.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit0d534853a55b5d02a4ababa1d71921ce8f0aee4c
$ nix shell github:NixOS/nixpkgs/0d534853a55b5d02a4ababa1d71921ce8f0aee4c#coqPackages.mathcomp-infotheo
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.mathcomp-infotheo |
0d534853a55b | out/nix/store/gnrrxi3ldjjbjrs80g25j0jy6np756pz-coq8.20-mathcomp2.3-infotheo-0.9.1 |
||
aarch64-linuxLinux · arm64 |
coqPackages.mathcomp-infotheo |
0d534853a55b | out/nix/store/2fjk4g9s7zm0hpn7nmp2li7fv2hd4ksh-coq8.20-mathcomp2.3-infotheo-0.9.1 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.mathcomp-infotheo |
0d534853a55b | out/nix/store/2hpaa1lgrj0rmygfcbximlcx8ym2awbd-coq8.20-mathcomp2.3-infotheo-0.9.1 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.mathcomp-infotheo |
0d534853a55b | out/nix/store/v34k7w7fjzf2p4yxnkvdsajwpp38zspc-coq8.20-mathcomp2.3-infotheo-0.9.1 |
JSON: /v2/pkg?name=coqPackages.mathcomp-infotheo · /v2/resolve?name=coqPackages.mathcomp-infotheo&version=0.9.1