nixsearch / pkg / coqPackages.mathcomp-finmap / 1.5.1
coqPackages.mathcomp-finmap 1.5.1
Finset and finmap library
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.mathcomp-finmap@1.5.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit3137fb373e36e39f605d44f97cb0f7807deefd1c
$ nix shell github:NixOS/nixpkgs/3137fb373e36e39f605d44f97cb0f7807deefd1c#coqPackages.mathcomp-finmap
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.mathcomp-finmap |
3137fb373e36 | out/nix/store/rckgmmcrcjsm2q4445d7rx79dra6908q-coq8.15-mathcomp1.14-finmap-1.5.1 |
||
aarch64-linuxLinux · arm64 |
coqPackages.mathcomp-finmap |
3137fb373e36 | out/nix/store/kma5wqws1jzyaqizk7m651hnichbgy3d-coq8.15-mathcomp1.14-finmap-1.5.1 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.mathcomp-finmap |
3137fb373e36 | out/nix/store/ydfw0mbddp719d9h765a799hk83a9kaj-coq8.15-mathcomp1.14-finmap-1.5.1 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.mathcomp-finmap |
3137fb373e36 | out/nix/store/jz5rivcvivdam2pgvqqcjzjn64m96snl-coq8.15-mathcomp1.14-finmap-1.5.1 |
JSON: /v2/pkg?name=coqPackages.mathcomp-finmap · /v2/resolve?name=coqPackages.mathcomp-finmap&version=1.5.1