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

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20200911-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
5926789

%ISIZE%
16028889

%MD5SUM%
2b2b37fecaccbca85f0bebd04bea443b

%SHA256SUM%
3a8f0390544e490ee7c65d021f58eb1b869ab9305c089fbf719dab11631ce9e4

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl9fSFgACgkQeGxj8zDXy5Kx6g//aXTFHbY/QBmhF3zxTeY3kDY4iP/jNTVvMSKm0akpD82TaUjxT9KReS9Ts8ryC/hnTu5dKg+GpzbXsQIqU5Bk9+7D0f0sEm4obBN8IRpztCZqFx4sy0vxxP9fYpqeM34MtTcRRO4xEl6N63pHbzlF6OjobUxiaPnxGUp0mzX75nGLohlzpH5e8BLbBon/pE+VisYc0sC+ReRypdouS8Z8U+8gjkbmOAEM7AFeHv/2+0ud3ZqLIyePn9X3aXjtevnN2Zhl8R9iHu6X14i3pWnOFCafRKLjRK7N3mn/lQqj2ekQ3b9irNrjVpbd0CO2UiCthoPu26OaZNWdIv9vmgNw42fXAF1RHqjIeDQmn/Xg6NuC6EWSXSDR1mP03YVmDCv9mKnG6OBG7FYhWShbiQ6Sr7RWXhL06d6z4owSGkvP7uVlm/yx42Hd7De65BvBx5D/hcRxS1FRzimCG/VXjP4TUHKY69fDRp+DwD23Jl51Z5vHWe9HhVaX/zzhHV7AwGrqg6eWmid7KcwX/b8VXf51jynUKJyawnYQMCRMO81Ceri5srZWXrXSYuUbB4efA2Xx6GgNtWQ8G78j4VRJNi34NptfCb+wQ7euycnA8YnP+km4Zvy9D3ArM1naIfM3QXPXsu2Y6Vl3yfsp2E9Xi+PZ02KoJLliC8yrY/0zDRw73y0=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1600079830

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

%DEPENDS%
readline

