Merge pull request #135312 from r-ryantm/auto-update/clight

clight: 4.6 -> 4.7
This commit is contained in:
Bobby Rong 2021-10-05 17:54:04 +08:00 committed by GitHub
commit 361e07ba75
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,13 +6,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "clight"; pname = "clight";
version = "4.6"; version = "4.7";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "FedeDP"; owner = "FedeDP";
repo = "Clight"; repo = "Clight";
rev = version; rev = version;
sha256 = "sha256-5kFzVHxoiZi8tz42eUprm49JHCeuA4GPwtHvdiS2RJY="; sha256 = "sha256-+u50XorUyeDsn4FaKdD0wEtQHkwtiyVDY0IAi0vehEQ=";
}; };
# dbus-1.pc has datadir=/etc # dbus-1.pc has datadir=/etc