%FILENAME%
haskell-tamarin-prover-term-1.2.2-9-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%VERSION%
1.2.2-9

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
594832

%ISIZE%
4298752

%MD5SUM%
7007359d131897afd9859ed529993139

%SHA256SUM%
33968111ce7fcbf5cdb1a1f783b7067642f598c659270c1a2bed397f54b63c28

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlppUlAACgkQdxk/FSvb5qYWkBAAloRHpBwiQ5Sq9LiyeWIV1YLYmzBOxF6Rkpa+FaxvwKMDclX1K3kGc1fudGe+c2tU4JvOSnRmiV5HSaKWoRmvFwS41z1ocqEknB4cSjVFRfM8Fox2SojDt+r1i44ob3eWRHQWsA85xnS/JlbZ/WL1fR0Yzd6nQ6boSIfnUVz46kcx5V09ROiLg1SdcAewEBywcawM2WlilugeMktVycnGynSErXMrMdOf47vvwI7MX9+1QqoHJXuRkllB9SDwfhC0TZvWX1IXtFF7FH1WOLkMfiu0/tCWLuMvmrm9wPKmH/WG+pbQ6MoYwSqcapd7yf9RzSv6NiCOyirsw0gGb8ymY2Nf9u79klGJ+DTJpr9i05KwTylJmcWF5RrbULnVZETYbhV+AifccSDJ3azQpPbADKm4DpRG7v30qR2X5MM/8UmURIYKlUCY2qPFdM1Qry6Cnifkf+dc9/AguADbR853YIHzJjg4nX/GJc5M4heHPCb1uTgjunFzWC8UHc5ke0nTXndriyw/9RZHf0H5WwxB0VLxL8+ey/tZ2W3x66/P83KTriQ8zTaBnAUiY7Wsw31fAhMnXCn0JOLzwdwttqgQkmu18jQsLopGcOeJpUkFq+hhnczVdnuNFN5C7hVAGjdZ4Qtl1joZ+TRvwbQeNOTrf6KcN0Tn0P10dIiP1pYd+O8=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1516851786

%PACKAGER%
Arch Linux ARM Build System <builder+xu4@archlinuxarm.org>

