ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-30 17:49:58 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #213520 from vbgl/alt-ergo-fix

Browse Source 
alt-ergo: fix src URL
This commit is contained in:
Weijia Wang 2023-01-30 13:54:22 +01:00 committed by GitHub
commit a3da43c25e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/alt-ergo/default.nix
View File

@ -9,8 +9,8 @@ let
src = fetchFromGitHub {
owner = "OCamlPro";
repo = pname;
rev = version;
sha256 = "sha256-8pJ/1UAbheQaLFs5Uubmmf5D0oFJiPxF6e2WTZgRyAc=";
rev = "refs/tags/${version}";
hash = "sha256-8pJ/1UAbheQaLFs5Uubmmf5D0oFJiPxF6e2WTZgRyAc=";
};
in

6
pkgs/development/ocaml-modules/psmt2-frontend/default.nix
View File

@ -8,12 +8,10 @@ buildDunePackage rec {
owner = "ACoquereau";
repo = pname;
rev = version;
sha256 = "sha256-cYY9x7QZjH7pdJyHMqfMXgHZ3/zJLp/6ntY6OSIo6Vs=";
hash = "sha256-cYY9x7QZjH7pdJyHMqfMXgHZ3/zJLp/6ntY6OSIo6Vs=";
};
useDune2 = true;
minimumOCamlVersion = "4.03";
minimalOCamlVersion = "4.03";
strictDeps = true;