nixsearch
nixsearch / pkg / ocamlPackages.symex / 0.1

ocamlPackages.symex 0.1

Primitives to write symbolic execution engines
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.symex@0.1
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitb63fe7f000adcfa269967eeff72c64cafecbbebe 
$ nix shell github:NixOS/nixpkgs/b63fe7f000adcfa269967eeff72c64cafecbbebe#ocamlPackages.symex

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.symex b63fe7f000ad
out
/nix/store/8w57bhgwlmi2wcf2643rjw8y62c59i1r-ocaml5.4.1-symex-0.1
aarch64-linux
Linux · arm64		 ocamlPackages.symex b63fe7f000ad
out
/nix/store/hm0j6487qjgyb8kr1s7lp34biqskm2z6-ocaml5.4.1-symex-0.1
x86_64-darwin
macOS · x86-64		 ocamlPackages.symex b63fe7f000ad
out
/nix/store/m4f8xnf6wrj5gjnzm2d1qnqdcnkacriz-ocaml5.4.1-symex-0.1
x86_64-linux
Linux · x86-64		 ocamlPackages.symex b63fe7f000ad
out
/nix/store/dfn5mmvr6apalawr7rmcz8icsqxd0k89-ocaml5.4.1-symex-0.1
← newer: 0.2 all 2 releases

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