nixsearch
nixsearch / pkg / coqPackages.reglang / 1.1.2

coqPackages.reglang 1.1.2

Regular Language Representations in Coq
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.reglang@1.1.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit96ba1c52e54e74c3197f4d43026b3f3d92e83ff9 
$ nix shell github:NixOS/nixpkgs/96ba1c52e54e74c3197f4d43026b3f3d92e83ff9#coqPackages.reglang

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.reglang 96ba1c52e54e
out
/nix/store/gcwz21m7bhgsxyw3298rygi4qc2n4vli-coq8.16-reglang-1.1.2
aarch64-linux
Linux · arm64		 coqPackages.reglang 96ba1c52e54e
out
/nix/store/ra6imq81lkpshwqa99rf3y2x5ih53wz8-coq8.16-reglang-1.1.2
x86_64-darwin
macOS · x86-64		 coqPackages.reglang 96ba1c52e54e
out
/nix/store/3w0037k3c5igcfvhw8dg7ps3zspi8ysx-coq8.16-reglang-1.1.2
x86_64-linux
Linux · x86-64		 coqPackages.reglang 96ba1c52e54e
out
/nix/store/5z3yvvq23wh6981dihh5a9mznmzqw061-coq8.16-reglang-1.1.2
← newer: 1.1.3 all 4 releases

JSON: /v2/pkg?name=coqPackages.reglang · /v2/resolve?name=coqPackages.reglang&version=1.1.2