diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2022-04-15 14:44:17 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-15 14:44:17 +0000 |
commit | 7c188d8bae66239cc2f624a4bd5a0e3ce4a82a09 (patch) | |
tree | 0ee53d0d2a31f7472d6b1bce1772abc9048f2d1d /pkgs/development/libraries | |
parent | 7b9e43199ed166f41ccaccbf42977f454b77d665 (diff) | |
parent | a3e1e9271e0ff87309d44f9817baadb09b305757 (diff) | |
download | nixpkgs-7c188d8bae66239cc2f624a4bd5a0e3ce4a82a09.tar nixpkgs-7c188d8bae66239cc2f624a4bd5a0e3ce4a82a09.tar.gz nixpkgs-7c188d8bae66239cc2f624a4bd5a0e3ce4a82a09.tar.bz2 nixpkgs-7c188d8bae66239cc2f624a4bd5a0e3ce4a82a09.tar.lz nixpkgs-7c188d8bae66239cc2f624a4bd5a0e3ce4a82a09.tar.xz nixpkgs-7c188d8bae66239cc2f624a4bd5a0e3ce4a82a09.tar.zst nixpkgs-7c188d8bae66239cc2f624a4bd5a0e3ce4a82a09.zip |
Merge pull request #162265 from siraben/smtcoq-init
coqPackages.trakt: init at 1.0, coqPackages.smtcoq: init at itp22
Diffstat (limited to 'pkgs/development/libraries')
-rw-r--r-- | pkgs/development/libraries/cln/default.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/development/libraries/cln/default.nix b/pkgs/development/libraries/cln/default.nix index 23bbd84a209..5c5edea0fae 100644 --- a/pkgs/development/libraries/cln/default.nix +++ b/pkgs/development/libraries/cln/default.nix @@ -1,12 +1,13 @@ -{ lib, stdenv, fetchurl, gmp }: +{ lib, stdenv, fetchgit, gmp }: stdenv.mkDerivation rec { pname = "cln"; version = "1.3.6"; - src = fetchurl { - url = "${meta.homepage}${pname}-${version}.tar.bz2"; - sha256 = "0jlq9l4hphk7qqlgqj9ihjp4m3rwjbhk6q4v00lsbgbri07574pl"; + src = fetchgit { + url = "git://www.ginac.de/cln.git"; + rev = "cln_${builtins.replaceStrings [ "." ] [ "-" ] version}"; + sha256 = "sha256-P32F4TIDhE2Dwzydq8iFK6ch3kICJcXeeXHs5PBQG88="; }; buildInputs = [ gmp ]; |