clight: 4.2 → 4.5

This commit is contained in:
Pierre Labadens 2021-04-13 16:14:56 +02:00
parent e002b635cd
commit 433582addc
No known key found for this signature in database
GPG Key ID: F55814E4D6874375

View File

@ -6,13 +6,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "clight"; pname = "clight";
version = "4.2"; version = "4.5";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "FedeDP"; owner = "FedeDP";
repo = "Clight"; repo = "Clight";
rev = version; rev = version;
sha256 = "sha256-NmfnE6ZWgG9erBmrFFIhutnB1t2Ix/6jo+EeXYVtehg="; sha256 = "sha256-fvi0JGNNDoxE0iH//HneYwQBBP4mY75AeViLHKQUI30=";
}; };
# dbus-1.pc has datadir=/etc # dbus-1.pc has datadir=/etc