%FILENAME%
haskell-tamarin-prover-utils-1.4.0-6-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.4.0-6

%DESC%
Utility library for the tamarin prover

%CSIZE%
204744

%ISIZE%
1418240

%MD5SUM%
3efecb95dde9209ddd263ce81a430485

%SHA256SUM%
98ae1c2891bae673a19647a96f8f6d86e3da6fa28da1354d494513ccf33bff6c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlua/UgACgkQdxk/FSvb5qbryxAAv+5nZSBMR/p/2V0TevYSZXIk+at6H1hdhUGWrp1CAqQUWrdnF7z4c9/9HyL3MEkkHE8wW61g83YX6tJqaErU5TKOhowQbNB+bklkMT2KWPyrk3OqMw1ChQT7SHmi70RPhEO7TTrcE+1We5EIOg2U4kjgjm+50R3uBgDF1O2ZyfZ4A2Siqorr/WXFnV/SNH9tmtK9ymtDFEdXdkTUlnt+liVBUrhtbgbVJWjpJxtAHNbN2WntWwHmeslewWlx6hYSpxcelxyY8TFmtCDV7nqDXa3KQaCe9zonCPMZNG02sgQwnam8PgfTHnBCsIXbjcg+N29Wuo8VJ6IWjm+3YaVhA7hgOaNaqztiScRNaZBcZBShQStKyROLoXlqsBkmHrJIZobaRAJ8kCZsifVHa8IRazECp6Gkg3upKFXBROcFnJK4w5nLz0GWnzXqUAMJSOMeh36qq6jss9itWIY9xmumX+jPwurNw9IRF/PIRtalzs1ghnQx2hmllqJ8kZ1O4ALgEoWLCWm85UdajErNWHwypxLw9AYQJDTPYy0vpvPscXNNNxysdhthFbgWAphdrukjkPddr+AgChFMGXoQ48TGDFgPFGusD7j/wFJnAOofpFpjvQyC9ZIr1w18hqNfozbStTLBZtlMEjiI+AUpd226jXW9HN7PEXbv1z/TORznOLQ=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1536883939

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

