nixsearch
nixsearch / pkg / ocamlPackages_latest.pgsolver / 4.4

ocamlPackages_latest.pgsolver 4.4

Collection of tools for generating, manipulating and - most of all - solving parity games
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages_latest.pgsolver@4.4
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitc27cdad491a991b11ed731760aa2ef8db0cb0410 
$ nix shell github:NixOS/nixpkgs/c27cdad491a991b11ed731760aa2ef8db0cb0410#ocamlPackages_latest.pgsolver
systemsx86_64-darwin commita1bab9e494f5f4939442a57a58d0449a109593fe 
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#ocamlPackages_latest.pgsolver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages_latest.pgsolver c27cdad491a9
out
/nix/store/km5vfllkphw074c89y6xgikc1395v57q-ocaml5.5.0-pgsolver-4.4
aarch64-linux
Linux · arm64		 ocamlPackages_latest.pgsolver c27cdad491a9
out
/nix/store/2xp3z5g6ljcw5kmp129i10ncj1wgc6r4-ocaml5.5.0-pgsolver-4.4
x86_64-darwin
macOS · x86-64		 ocamlPackages_latest.pgsolver a1bab9e494f5
out
/nix/store/7avmj8zl9mvr45mmz6p8a86pk8qsf69a-ocaml5.4.0-pgsolver-4.4
x86_64-linux
Linux · x86-64		 ocamlPackages_latest.pgsolver c27cdad491a9
out
/nix/store/r0kl01a7b1v92j1wmxl6w8plffh55jv8-ocaml5.5.0-pgsolver-4.4
all 1 releases

JSON: /v2/pkg?name=ocamlPackages_latest.pgsolver · /v2/resolve?name=ocamlPackages_latest.pgsolver&version=4.4