nixsearch / pkg / beluga

beluga

A functional language for reasoning about formal systems

GPL-3.0-or-later complogic.cs.mcgill.ca beluga 6 releases newest changed 5 years ago

version1.1.3 attributebeluga rev

aarch64-darwin 8825bebf6324e0579d012936eff73379af284b6d 2026-09-23

aarch64-linux 8825bebf6324e0579d012936eff73379af284b6d 2026-09-23

x86_64-darwin 3d46470bb3030020f7e1361f33514854f5bfa86d 2026-06-27

x86_64-linux 8825bebf6324e0579d012936eff73379af284b6d 2026-09-23

systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add beluga@1.1.3

$ nix shell github:NixOS/nixpkgs/8825bebf6324e0579d012936eff73379af284b6d#beluga  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/8825bebf6324e0579d012936eff73379af284b6d#beluga  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#beluga  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/8825bebf6324e0579d012936eff73379af284b6d#beluga  # x86_64-linux

JSON: /v2/resolve?name=beluga&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date
2020-03-11	–	–	–	✓	`beluga`	dce8fc727d	2021-04-12
1.1.3resolved	✓	✓	✓	✓	`beluga`	varies	2026-09-13
1.1.2	✓	✓	✓	✓	`beluga`	6a489c9482	2025-08-04
1.1.1	✓	✓	✓	✓	`beluga`	81610abc16	2024-08-02
1.1	✓	✓	✓	✓	`beluga`	varies	2023-09-25
1.0	✓	✓	✓	✓	`beluga`	96d403ee24	2023-08-01

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.