nixsearch
nixsearch / pkg / coqPackages.reglang / 1.1.3

coqPackages.reglang 1.1.3

Regular Language Representations in Coq
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.reglang@1.1.3
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465 
$ nix shell github:NixOS/nixpkgs/0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465#coqPackages.reglang

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.reglang 0cb2fd7c59fe
out
/nix/store/5a2n7qh9l2nyx8mf9pxrfg8w2wzfm4ng-coq8.19-reglang-1.1.3
aarch64-linux
Linux · arm64		 coqPackages.reglang 0cb2fd7c59fe
out
/nix/store/nsbr4inn56fqi70ajddvgk5b86bxvq1p-coq8.19-reglang-1.1.3
x86_64-darwin
macOS · x86-64		 coqPackages.reglang 0cb2fd7c59fe
out
/nix/store/hiyd29lxrk4in82q88w722wrybyzxaif-coq8.19-reglang-1.1.3
x86_64-linux
Linux · x86-64		 coqPackages.reglang 0cb2fd7c59fe
out
/nix/store/hzf7diqgv7f83rkavmxj5ysw87n5i957-coq8.19-reglang-1.1.3
← newer: 1.2.1 all 4 releases older: 1.1.2 →

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