fix building from source and switch to the new upstream (!1) · Merge requests · Arch Linux / Packaging / Packages / cvc4 · GitLab

Due to an influx of spam, we have had to require each new account to be manually approved. Please register an account and then write an email to accountsupport@archlinux.org to get it approved. Sorry for the inconvenience.

also drop the unneeded dependency on boost & boost-libs

fixes https://bugs.archlinux.org/task/70790