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

lasso: 2.7.0 -> 2.8.0
This commit is contained in:
ajs124 2022-04-10 21:09:08 +01:00 committed by GitHub
commit 4406aef224
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,11 +3,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "lasso"; pname = "lasso";
version = "2.7.0"; version = "2.8.0";
src = fetchurl { src = fetchurl {
url = "https://dev.entrouvert.org/lasso/lasso-${version}.tar.gz"; url = "https://dev.entrouvert.org/lasso/lasso-${version}.tar.gz";
sha256 = "138x8pmj4k1pbah32z14rd8ylyx4lgz70s93m39vd17f8sjz50lj"; sha256 = "sha256-/8vVhR2YWGx+HK9DutZhZCEaO2HRK/hgoFmESP+fKzg=";
}; };