nixsearch
nixsearch / pkg / coqPackages.simple-io / 1.3.0

coqPackages.simple-io 1.3.0

Purely functional IO for Coq
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.simple-io@1.3.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0bbb65673c0ba31047c9ba6c4cd211556b534a4e 
$ nix shell github:NixOS/nixpkgs/0bbb65673c0ba31047c9ba6c4cd211556b534a4e#coqPackages.simple-io

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.simple-io 0bbb65673c0b
aarch64-linux
Linux · arm64		 coqPackages.simple-io 0bbb65673c0b
out
/nix/store/zy4xk7sz1hkdypwb29p69x0vf0v5l45g-coq8.13-simple-io-1.3.0
x86_64-darwin
macOS · x86-64		 coqPackages.simple-io 0bbb65673c0b
x86_64-linux
Linux · x86-64		 coqPackages.simple-io 0bbb65673c0b
← newer: 1.7.0 all 6 releases older: 1.2.0 →

JSON: /v2/pkg?name=coqPackages.simple-io · /v2/resolve?name=coqPackages.simple-io&version=1.3.0