giac fails source verification (Bug #77)

giac¶

SOURCE_URL: http://www-fourier.ujf-grenoble.fr/~parisse/giac/giac-0.9.3.tar.bz2
WEBSITE: giac: http://www-fourier.ujf-grenoble.fr/~parisse/giac.html
SHORT: giac: a free computer algebra

Error:¶

giac : Getting sources ... 
Downloading source file giac-0.9.3.tar.bz2 
--2011-08-20 14:25:27-- http://www-fourier.ujf-grenoble.fr/~parisse/giac/giac-0.9.3.tar.bz2
Resolving www-fourier.ujf-grenoble.fr (www-fourier.ujf-grenoble.fr)... 152.77.212.12
Connecting to www-fourier.ujf-grenoble.fr (www-fourier.ujf-grenoble.fr)|152.77.212.12|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 20507415 (20M) [application/x-bzip2]
Saving to: `giac-0.9.3.tar.bz2'

100%[==================================================================================================>] 20,507,415 795K/s in 68s 

2011-08-20 14:26:36 (293 KB/s) - `giac-0.9.3.tar.bz2' saved [20507415/20507415]

Downloaded source file giac-0.9.3.tar.bz2
 Checking ...
Hash checking source file giac-0.9.3.tar.bz2 ... 
sha512 check failed!
5ca00484f3e829600c20cf6b9e093cf4e347c2d5e0136992fea1b958561c6e884a93be589eca941bb9f5141d6b7b3d7aa3d29a8e22373943e2b35eecdb66640c (computed) !=
cc31fb1f7c0bdb7535ebc32ed5e5b523b67089d44cf63922e4948150ef65ff34c6b2855da343ba410f06746bcc53d4c43fb70e6d6bb7519fbd8e405cd9f558f5 (expected)! 
Hash verification failure
Abort? [y] 
 FAILED.
The following spells failed (1):
 giac