diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2021-04-20 22:22:02 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-20 22:22:02 -0500 |
commit | 8b2b6e4e113d5aba50f8c0c0fef152521ceb1960 (patch) | |
tree | 4f5e055085d16b271ad64eef586b54195025f8cd /pkgs/applications/science | |
parent | b88948d87995b1775dd14f92a9b7daa76997127e (diff) | |
parent | d2275796d1f487ce8eeac1f159b8a28cf30a1730 (diff) |
Merge pull request #119682 from marsam/update-beluga
beluga: 2020-03-11 -> 1.0
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/beluga/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/beluga/default.nix b/pkgs/applications/science/logic/beluga/default.nix index 44478a032b38a..66cfd306128b8 100644 --- a/pkgs/applications/science/logic/beluga/default.nix +++ b/pkgs/applications/science/logic/beluga/default.nix @@ -1,14 +1,14 @@ { lib, fetchFromGitHub, ocamlPackages, rsync }: -ocamlPackages.buildDunePackage { +ocamlPackages.buildDunePackage rec { pname = "beluga"; - version = "unstable-2020-03-11"; + version = "1.0"; src = fetchFromGitHub { owner = "Beluga-lang"; repo = "Beluga"; - rev = "6133b2f572219333f304bb4f77c177592324c55b"; - sha256 = "0sy6mi50z3mvs5z7dx38piydapk89all81rh038x3559b5fsk68q"; + rev = "v${version}"; + sha256 = "1ziqjfv8jwidl8lj2mid2shhgqhv31dfh5wad2zxjpvf6038ahsw"; }; useDune2 = true; |