# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = aiger
pkgbase = aiger
xdata = pkgtype=pkg
pkgver = 1.9.20-1
pkgdesc = A format, library and set of utilities for And-Inverter Graphs (AIGs)
url = http://fmv.jku.at/aiger/
builddate = 1750018668
packager = lilac (on behalf of Yichao Yu) <yyc1992@gmail.com>
size = 1609279
arch = x86_64
license = MIT
license = BSD
