Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#56578 - [cvc4] checksum mismatch
Attached to Project:
Community Packages
Opened by Erich Eckner (deepthought) - Tuesday, 05 December 2017, 00:23 GMT
Last edited by Antonio Rojas (arojas) - Tuesday, 05 December 2017, 08:04 GMT
Opened by Erich Eckner (deepthought) - Tuesday, 05 December 2017, 00:23 GMT
Last edited by Antonio Rojas (arojas) - Tuesday, 05 December 2017, 08:04 GMT
|
DetailsDescription:
==> Validating source files with sha256sums... cvc4-1.5.tar.gz ... FAILED cvc4-gcc7.patch ... Passed ==> ERROR: One or more files did not pass the validity check! Additional info: * package version(s) cvc4-1.5-1 (git revision b671f37c0c43cdbf17f838151bf8acdc5c64b1fc) Steps to reproduce: > git checkout b671f37c0c43cdbf17f838151bf8acdc5c64b1fc > cd cvc4/repos/community-x86_64 > makepkg --verifysource |
This task depends upon