# Generated by makepkg 6.0.2
# using fakeroot version 1.32.1
pkgname = bosphorus
pkgbase = bosphorus
pkgver = 3.1.0-2
pkgdesc = ANF simplifier and solver, and ANF-to-CNF converter
url = https://github.com/meelgroup/bosphorus
builddate = 1695367943
packager = Antonio Rojas <arojas@archlinux.org>
size = 425147
arch = x86_64
license = MIT
depend = boost-libs
depend = brial
depend = cryptominisat
depend = gcc-libs
depend = glibc
depend = m4ri
makedepend = boost
makedepend = cmake
