nixsearch
nixsearch / pkg / beluga / 1.1.2

beluga 1.1.2

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

Pin this version

$ devbox add beluga@1.1.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit6a489c9482ca676ce23c0bcd7f2e1795383325fa 
$ nix shell github:NixOS/nixpkgs/6a489c9482ca676ce23c0bcd7f2e1795383325fa#beluga

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 beluga 6a489c9482ca
out
/nix/store/zwka2pah9nxifqr4pdpxr723xd52lbvv-ocaml5.3.0-beluga-1.1.2
aarch64-linux
Linux · arm64		 beluga 6a489c9482ca
out
/nix/store/cxnjx1hn6mr2drdli63ygn71dps34qgf-ocaml5.3.0-beluga-1.1.2
x86_64-darwin
macOS · x86-64		 beluga 6a489c9482ca
out
/nix/store/spr84vh3nlk8m838npjywsy5kcyaw79w-ocaml5.3.0-beluga-1.1.2
x86_64-linux
Linux · x86-64		 beluga 6a489c9482ca
out
/nix/store/2m5ma8520w93l015a5ba5phana96ndxg-ocaml5.3.0-beluga-1.1.2
← newer: 1.1.3 all 6 releases older: 1.1.1 →

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