Merge pull request #70161 from smaret/gildas-20191001_a

gildas: 20190901_a -> 20191001_a
This commit is contained in:
Dmitry Kalinkin 2019-10-06 17:46:41 -04:00 committed by GitHub
commit cfd881dce0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -7,8 +7,8 @@ let
in
stdenv.mkDerivation rec {
srcVersion = "sep19a";
version = "20190901_a";
srcVersion = "oct19a";
version = "20191001_a";
pname = "gildas";
src = fetchurl {
@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
# source code of the previous release to a different directory
urls = [ "http://www.iram.fr/~gildas/dist/gildas-src-${srcVersion}.tar.xz"
"http://www.iram.fr/~gildas/dist/archive/gildas/gildas-src-${srcVersion}.tar.xz" ];
sha256 = "0l4jfzzxp1ab70a920qfbxiphgnc06m46wfwv0jlsq2mfk7cxac1";
sha256 = "0h6g16ra7v8x15j21z5hnb3midwm0asc7bjm9gs5v5sw66vn3wc1";
};
enableParallelBuilding = true;