aspcud: switch to fetchFromGitHub

This commit is contained in:
Felix Buehler 2021-09-19 18:55:55 +02:00
parent ca67994224
commit b6d6778447

View file

@ -1,14 +1,22 @@
{ lib, stdenv, fetchzip { lib
, boost, clasp, cmake, gringo, re2c , stdenv
, fetchFromGitHub
, boost
, clasp
, cmake
, gringo
, re2c
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "1.9.5"; version = "1.9.5";
pname = "aspcud"; pname = "aspcud";
src = fetchzip { src = fetchFromGitHub {
url = "https://github.com/potassco/aspcud/archive/v${version}.tar.gz"; owner = "potassco";
sha256 = "sha256-d04GPMoz6PMGq6iiul0zT1C9Mljdl9uJJ2C8MIwcmaw="; repo = "aspcud";
rev = "v${version}";
hash = "sha256-d04GPMoz6PMGq6iiul0zT1C9Mljdl9uJJ2C8MIwcmaw=";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];