nixsearch
nixsearch / pkg / ocamlPackages_latest.type_eq / 0.0.1

ocamlPackages_latest.type_eq 0.0.1

Type equality proofs for OCaml 4
Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages_latest.type_eq c27cdad491a9
out
/nix/store/l3cj18c4fgk0j06qhg19m372471vxald-ocaml5.5.0-type_eq-0.0.1
aarch64-linux
Linux · arm64		 ocamlPackages_latest.type_eq c27cdad491a9
out
/nix/store/d2zif5r2hsnlf9ycgd3lxbj72vn71wwm-ocaml5.5.0-type_eq-0.0.1
x86_64-darwin
macOS · x86-64		 ocamlPackages_latest.type_eq a1bab9e494f5
out
/nix/store/c41iccnaip5qgcfjfzl73k8lz1ql1z6p-ocaml5.4.0-type_eq-0.0.1
x86_64-linux
Linux · x86-64		 ocamlPackages_latest.type_eq c27cdad491a9
out
/nix/store/5c1v1gj1b8264ap8drg7riknvpdbcgm5-ocaml5.5.0-type_eq-0.0.1
all 1 releases

JSON: /v2/pkg?name=ocamlPackages_latest.type_eq · /v2/resolve?name=ocamlPackages_latest.type_eq&version=0.0.1