nixsearch
nixsearch / pkg / beluga / 1.0

beluga 1.0

A functional language for reasoning about formal systems
Linux and macOS last changed

Pin this version

$ devbox add beluga@1.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit96d403ee2479f2070050353b94808209f1352edb 
$ nix shell github:NixOS/nixpkgs/96d403ee2479f2070050353b94808209f1352edb#beluga

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 beluga 96d403ee2479
out
/nix/store/zynnl5rqvmrafpgrw7rpcs2cc9qdk2n1-ocaml4.14.1-beluga-1.0
aarch64-linux
Linux · arm64		 beluga 96d403ee2479
out
/nix/store/blvkpqwnh5y503b2lngxkdqqhvczavy0-ocaml4.14.1-beluga-1.0
x86_64-darwin
macOS · x86-64		 beluga 96d403ee2479
out
/nix/store/5m63qnf3h0plwwkf24q4x83x8nv0pn3l-ocaml4.14.1-beluga-1.0
x86_64-linux
Linux · x86-64		 beluga 96d403ee2479
out
/nix/store/9bgz08ynrq6j458vf3y08ncnv9hddv5q-ocaml4.14.1-beluga-1.0
← newer: 1.1 all 6 releases

JSON: /v2/pkg?name=beluga · /v2/resolve?name=beluga&version=1.0