%FILENAME%
abc-0.0.0.20221019-1-x86_64.pkg.tar.zst

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20221019-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
6004870

%ISIZE%
15935889

%MD5SUM%
bbafe39dab951c740acb99d3cff77436

%SHA256SUM%
25bccf7aab17b16c088828cd4aabd8793964c9c288afaa021d455d683eb8ddce

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNYiwkACgkQeGxj8zDXy5ITSw//fPRwRxIYj+OhlFNJmpf604k7+7nczTkh+LFnTpIysoHR4z7HtdYJm6fVRfJ9+G87KiHAHYMuKIFvsPm0x/UdIl8NMUz+svSled1i8scptja1D9yX9PvfcVjheQ5zskIBqVnr+E2B/0zPbbOJxvCWzielCalZOnoCs5KXxRcL4o/d5Snha6yvvaaaNlmI0d5Dy9IRqOZZvaKTsFAAVAc0tVBcS2wJHyR+2ynN7AtM9ogDIaho1gresnNN6DNlakzNlg5ePDAzxx0czXSu23pNxdYrbNpB9goCZSKvA1xTaMuBdrKt1GV4Rue3OR0Ztxukdm/bIab2X5RrJeCaiqbX9ui/6FEDFc/4hZQFhvdcJvXqKa3sQKyDAuG+b9LFSu/5hxTk8YxttrPYNvAPDq4FusA0MTJ0OtQ2QEPU4ODmQsNSCXhyv3UWFu0HBu6gbYOPP+5yx7IEPCgsXkb4BkHqoxJVY8unVmKHAAcDWHU0CVxveTWfd1PINBIjTk1oSjiWhoo/gjqPTXIDzpNDrBgSlSg5yY+Hffry0ft6GIXxCxFWnVyjdR6eQa3koQ312ZDunRxtWE6m7PrQIqL4d1ipZLvl5STB7NDvWMlEs2gFHuXBiz5hcqQYH0l1MpqpUe/E4bLsAy37erwYAmR+mlWUU5CxhYhYjgfWd7ZWxvKURx4=

%URL%
https://github.com/berkeley-abc/abc

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1666747089

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
readline

