# Generated by makepkg 6.0.2
# using fakeroot version 1.32.1
pkgname = cvc4-debug
pkgbase = cvc4
pkgver = 1.8-3
pkgdesc = Detached debugging symbols for cvc4
url = https://cvc5.github.io/
builddate = 1693587183
packager = Antonio Rojas <arojas@archlinux.org>
size = 452518389
arch = x86_64
license = GPL
license = BSD
license = MIT
license = custom:HPND
makedepend = cmake
makedepend = java-runtime
makedepend = python-toml
