.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

pkgbase = aiger
	pkgdesc = A format, library and set of utilities for And-Inverter Graphs (AIGs)
	pkgver = 1.9.9
	pkgrel = 2
	url = http://fmv.jku.at/aiger/
	arch = x86_64
	license = MIT
	license = BSD
	source = http://fmv.jku.at/aiger/aiger-1.9.9.tar.gz
	source = makefile-install.patch
	source = configure-sh-commas-in-cflags.patch
	sha256sums = 1e50d3db36f5dc5ed0e57aa4c448b9bcf82865f01736dde1f32f390b780350c7
	sha256sums = 7103083de75ad6af76ee5272ba3c372741ccf1bcbd88fee6902eba8f2a0e416e
	sha256sums = e7abca2a8ed4a3fd36d8b65c2b9e7ab79210729f23b3130c5065f4c1b1ec1234

pkgname = aiger