nixsearch
nixsearch / pkg / ocamlPackages.lem / 2022-12-10

ocamlPackages.lem 2022-12-10

Tool for lightweight executable mathematics
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.lem@2022-12-10
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0d534853a55b5d02a4ababa1d71921ce8f0aee4c 
$ nix shell github:NixOS/nixpkgs/0d534853a55b5d02a4ababa1d71921ce8f0aee4c#ocamlPackages.lem

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.lem 0d534853a55b
out
/nix/store/p8qrg2a8j4f4wr0j5fy17i0x7sfw31g0-ocaml5.2.1-lem-2022-12-10
aarch64-linux
Linux · arm64		 ocamlPackages.lem 0d534853a55b
out
/nix/store/6nmprays7cxbsyjjkzjbmy34j3w8fmpf-ocaml5.2.1-lem-2022-12-10
x86_64-darwin
macOS · x86-64		 ocamlPackages.lem 0d534853a55b
out
/nix/store/0g84amyci0s7vpjw3mccn59aj8g59zd5-ocaml5.2.1-lem-2022-12-10
x86_64-linux
Linux · x86-64		 ocamlPackages.lem 0d534853a55b
out
/nix/store/q6mxgsczxncn1p9hls1j0h2chamm88bv-ocaml5.2.1-lem-2022-12-10
← newer: 2025-03-13 all 2 releases

JSON: /v2/pkg?name=ocamlPackages.lem · /v2/resolve?name=ocamlPackages.lem&version=2022-12-10