nixsearch / pkg / ocamlPackages.symex

ocamlPackages.symex

Primitives to write symbolic execution engines

AGPL-3.0-or-later github.com ocamlPackages.symex 2 releases newest changed 11 days ago

version0.2 attributeocamlPackages.symex rev

aarch64-darwin f45c6f04c2f013f004bf94e284e95d72898d9393 2026-09-28

aarch64-linux f45c6f04c2f013f004bf94e284e95d72898d9393 2026-09-28

x86_64-darwin f76e4c7b1840704deda511ab34f37b829f6b5636 2026-07-01

x86_64-linux f45c6f04c2f013f004bf94e284e95d72898d9393 2026-09-28

systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add ocamlPackages.symex@0.2

$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#ocamlPackages.symex  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#ocamlPackages.symex  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#ocamlPackages.symex  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#ocamlPackages.symex  # x86_64-linux

JSON: /v2/resolve?name=ocamlPackages.symex&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
0.2resolved	✓	✓	✓	✓	`ocamlPackages.symex`	varies	2026-09-18
0.1	✓	✓	✓	✓	`ocamlPackages.symex`	b63fe7f000	2026-03-28

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.