nixsearch / pkg / coqPackages.mathcomp-tarjan / 1.0.1
coqPackages.mathcomp-tarjan 1.0.1
Proofs of Tarjan and Kosaraju connected components algorithms
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.mathcomp-tarjan@1.0.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit911ad1e67f458b6bcf0278fa85e33bb9924fed7e
$ nix shell github:NixOS/nixpkgs/911ad1e67f458b6bcf0278fa85e33bb9924fed7e#coqPackages.mathcomp-tarjan
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.mathcomp-tarjan |
911ad1e67f45 | out/nix/store/gvmrmh1kv09d4hwqn2li5pfigfvfj4dz-coq8.18-mathcomp1.17-tarjan-1.0.1 |
||
aarch64-linuxLinux · arm64 |
coqPackages.mathcomp-tarjan |
911ad1e67f45 | out/nix/store/cgcdgpilv48pcnhf49pckd0awhsrxxwy-coq8.18-mathcomp1.17-tarjan-1.0.1 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.mathcomp-tarjan |
911ad1e67f45 | out/nix/store/82yb4z35zlfbqigrx7id7knl924pkq7y-coq8.18-mathcomp1.17-tarjan-1.0.1 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.mathcomp-tarjan |
911ad1e67f45 | out/nix/store/cv698z4h0g3z2yx2siww3w9fzc9h95d8-coq8.18-mathcomp1.17-tarjan-1.0.1 |
JSON: /v2/pkg?name=coqPackages.mathcomp-tarjan · /v2/resolve?name=coqPackages.mathcomp-tarjan&version=1.0.1