FS#70790 - [cvc4] source checksum mismatch

Attached to Project: Arch Linux
Opened by loqs (loqs) - Monday, 10 May 2021, 22:20 GMT
Last edited by Antonio Rojas (arojas) - Friday, 01 September 2023, 16:58 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Felix Yan (felixonmars)
Architecture All
Severity Very Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

Description:
CVC4 project has changed its name to cvc5. The rebrand changed the paths in the source tarball though not the generated library names.
Attached diff to PKGBUILD for renamed package.

Additional info:
* cvc4 1.8-2

Steps to reproduce:
makepkg --verifysource
==> Making package: cvc4 1.8-2 (Mon 10 May 2021 22:02:47 UTC)
==> Retrieving sources...
-> Downloading cvc4-1.8.tar.gz...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
100 122 100 122 0 0 514 0 --:--:-- --:--:-- --:--:-- 514
100 114 100 114 0 0 285 0 --:--:-- --:--:-- --:--:-- 285
100 7370k 0 7370k 0 0 2977k 0 --:--:-- 0:00:02 --:--:-- 4416k
-> Found antlr-3.4-complete.jar
-> 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
   PKGBUILD.diff (2.4 KiB)
This task depends upon

Closed by  Antonio Rojas (arojas)
Friday, 01 September 2023, 16:58 GMT
Reason for closing:  Fixed
Additional comments about closing:  cvc4 1.8-3
Comment by loqs (loqs) - Wednesday, 18 January 2023, 22:01 GMT
Should also note boost / boost-libs are only used in examples [1], which are not built.

[1] https://github.com/CVC4/CVC4-archived/blob/1.8/INSTALL.md#boost-c-base-libraries-examples
Comment by Toolybird (Toolybird) - Saturday, 29 July 2023, 20:53 GMT
Dupe  FS#79242 
Comment by Buggy McBugFace (bugbot) - Tuesday, 08 August 2023, 19:11 GMT
This is an automated comment as this bug is open for more then 2 years. Please reply if you still experience this bug otherwise this issue will be closed after 1 month.
Comment by loqs (loqs) - Wednesday, 09 August 2023, 11:12 GMT
Updated PKGBUILD.diff for switch to git also drop unused boost and boost-libs dependencies.
   PKGBUILD.diff (2.4 KiB)
Comment by Christian Heusel (gromit) - Wednesday, 09 August 2023, 11:42 GMT
@loqs submitted at https://gitlab.archlinux.org/archlinux/packaging/packages/cvc4/-/merge_requests/1

Loading...