giac: fix url

the previous url was a moving target and was updated at each point
release. Use a frozen source instead.
This commit is contained in:
Symphorien Gibol 2018-03-25 21:09:21 +02:00 committed by Robin Gloster
parent 34c6889d3c
commit 262fff26ed

View File

@ -9,11 +9,11 @@ assert enableGUI -> libGLU_combined != null && xorg != null && fltk != null;
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "${attr}-${version}"; name = "${attr}-${version}";
attr = if enableGUI then "giac-with-xcas" else "giac"; attr = if enableGUI then "giac-with-xcas" else "giac";
version = "1.4.9"; version = "1.4.9-59";
src = fetchurl { src = fetchurl {
url = "https://www-fourier.ujf-grenoble.fr/~parisse/giac/giac-${version}.tar.bz2"; url = "https://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/giac_${version}.tar.gz";
sha256 = "1n7xxgpqrsq7cv5wgcmgag6jvxw5wijkf1yv1r5aizlf1rc7dhai"; sha256 = "0dv5p5y6gkrsmz3xa7fw87rjyabwdwk09mqb09kb7gai9n9dgayk";
}; };
postPatch = '' postPatch = ''