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
Task Type Bug Report
Category Packages
Status Closed
Assigned To Antonio Rojas (arojas)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:

==> 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

Closed by  Antonio Rojas (arojas)
Tuesday, 05 December 2017, 08:04 GMT
Reason for closing:  Fixed

Loading...