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

%NAME%
haskell-tamarin-prover-term

%VERSION%
1.2.2-5

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
594792

%ISIZE%
4315136

%MD5SUM%
edb073fb08baa4181f206f8848907a53

%SHA256SUM%
60a7d665a25e81b9e341b733452fdb5aac1cf311c961f7183e8292c1ea57d4de

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlojCi4ACgkQdxk/FSvb5qYWHw//R5QxF0sLp2vWrz8+QbJZNOqbHhDK1IFXbUTZgys3ykXRIM4vlEfHomZxfbAZJyoW3p6YxetLU0Mc2WHcHIQn++looID+WygMgZ7jsogPnBY9xWJltWiWDdnmc2mi/vBqUXjIdI+t91LU25unyE/tmol49ij4Pt6+XEBIdwuRY/i6hd7tqymyWGWNZcrx0YTaG+PM52XSSfNyodlM0yzoeECwSnH88XC/vwalK81TLFTQtT4SbNZeMZFGldqoLPQQXwTGfKvTXKIdYnbxtT3m9taKCxkfe6hSNq47YOXVS8c+h4vsQHV1jpV2VNRhYxfWTLMVQRxU8kH/xGPqk/bd+YZHsg/W+boaQSFQ82h+BcSjuhgHA1apkPyO9Img4FhNGMll6oNslY5lORJ8vuYrGpPy8lzqTCURX6Oe9iIy5+irLO2/rCKr+LdrJQiuA44XF7z1Dhld/vaMAxUUXU2bLjS7Jw94vDLfP5l9jYwBnqovRRPDj9H1nU/Di8YlUfahfnU8LOMrWjjWD0uh9NWwOIvhO6wG5Z+TOdnZ+K5ODmRfSQYqa3ht74/PILuoxWj8gM3QIozqcL7kv8awzXhgZMuvZaaJ9mywI0j8jWRApSFsAtphvY88asRU4zQ57V2mkwUxRCjGlTXoqYjJrJkUilABwXymkwNx03247DYVQ8Q=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1512245799

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

