FS#79242 - [cvc4] FTBFS (cvc4-1.8.tar.gz checksum mismatch)
Attached to Project:
Arch Linux
Opened by Levi Zim (kxxt) - Saturday, 29 July 2023, 12:07 GMT
Last edited by Toolybird (Toolybird) - Saturday, 29 July 2023, 20:53 GMT
Opened by Levi Zim (kxxt) - Saturday, 29 July 2023, 12:07 GMT
Last edited by Toolybird (Toolybird) - Saturday, 29 July 2023, 20:53 GMT
|
Details
Description:
==> Retrieving sources... -> Downloading cvc4-1.8.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 7370k 0 7370k 0 0 2215k 0 --:--:-- 0:00:03 --:--:-- 4532k -> Downloading antlr-3.4-complete.jar... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 2332k 100 2332k 0 0 2090k 0 0:00:01 0:00:01 --:--:-- 2091k -> Found cvc4-fix-headers.patch -> Found cvc4-gcc7.patch ==> Validating source files with sha512sums... cvc4-1.8.tar.gz ... FAILED antlr-3.4-complete.jar ... Passed cvc4-fix-headers.patch ... Passed cvc4-gcc7.patch ... Passed ==> ERROR: One or more files did not pass the validity check! ==> ERROR: Could not download sources. Additional info: * package version(s) 1.8-2 * patch attached 
fix.patch
(1 KiB)
|
This task depends upon
Closed by Toolybird (Toolybird)
Saturday, 29 July 2023, 20:53 GMT
Reason for closing: Duplicate
Additional comments about closing: FS#70790
Saturday, 29 July 2023, 20:53 GMT
Reason for closing: Duplicate
Additional comments about closing:
Comment by
Christian Heusel (gromit) -
Saturday, 29 July 2023, 12:24 GMT
It seems like upstream also moved to
https://github.com/CVC4/CVC4-archived.