Merge pull request #172933 from armeenm/bump-alliance

alliance: unstable-2021-09-15 -> unstable-2022-01-13
This commit is contained in:
tomberek 2022-05-14 00:25:21 -04:00 committed by GitHub
commit ca885c3ac1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,14 +4,14 @@
stdenv.mkDerivation rec {
pname = "alliance";
version = "unstable-2021-09-15";
version = "unstable-2022-01-13";
src = fetchFromGitLab {
domain = "gitlab.lip6.fr";
owner = "vlsi-eda";
repo = "alliance";
rev = "5e83c92d0307cce9d599f7099fb0023f81d26d65";
sha256 = "Vd3MTT4eKn4FMt0/F4fQUPcWq25kH0FpeGxQUOetKPY=";
rev = "ebece102e15c110fc79f1da50524c68fd9523f0c";
hash = "sha256-NGtE3ZmN9LrgXG4NIKrp7dFRVzrKMoudlPUtYYKrZjY=";
};
prePatch = "cd alliance/src";