nixsearch
nixsearch / pkg / ocamlPackages.symex / 0.2

ocamlPackages.symex 0.2

Primitives to write symbolic execution engines
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.symex@0.2
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit0a3468a402c449992505b6a9fc5b06580141b750 
$ nix shell github:NixOS/nixpkgs/0a3468a402c449992505b6a9fc5b06580141b750#ocamlPackages.symex
systemsx86_64-darwin commitf76e4c7b1840704deda511ab34f37b829f6b5636 
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#ocamlPackages.symex

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.symex 0a3468a402c4
out
/nix/store/fxl8cqamb3h42c7x7fv35sw6prkl5kgs-ocaml5.5.0-symex-0.2
aarch64-linux
Linux · arm64		 ocamlPackages.symex 0a3468a402c4
out
/nix/store/h1ayqvr68y2rwmchpwc2d48dnxwms5kg-ocaml5.5.0-symex-0.2
x86_64-darwin
macOS · x86-64		 ocamlPackages.symex f76e4c7b1840
out
/nix/store/bxc1vx0x9ipwz4zlv9q5srn505phhv55-ocaml5.4.1-symex-0.2
x86_64-linux
Linux · x86-64		 ocamlPackages.symex 0a3468a402c4
out
/nix/store/w4aivl51ah7pswhag8l0jps86jrv5qzj-ocaml5.5.0-symex-0.2
all 2 releases older: 0.1 →

JSON: /v2/pkg?name=ocamlPackages.symex · /v2/resolve?name=ocamlPackages.symex&version=0.2