Merge pull request #219151 from r-ryantm/auto-update/lasso

lasso: 2.8.0 -> 2.8.1
This commit is contained in:
Weijia Wang 2023-03-03 22:20:49 +02:00 committed by GitHub
commit 8b22aa1757
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -16,11 +16,11 @@
stdenv.mkDerivation rec {
pname = "lasso";
version = "2.8.0";
version = "2.8.1";
src = fetchurl {
url = "https://dev.entrouvert.org/lasso/lasso-${version}.tar.gz";
hash = "sha256-/8vVhR2YWGx+HK9DutZhZCEaO2HRK/hgoFmESP+fKzg=";
hash = "sha256-t9DJj2xmFPruspKhjy2DbAvDeNWaXXSB6BC7bGnsnd8=";
};
nativeBuildInputs = [