%FILENAME%
haskell-tamarin-prover-theory-1.4.0-36-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-36

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
1700892

%ISIZE%
14648320

%MD5SUM%
46bb9b87d6a9852e846cc217988b1a13

%SHA256SUM%
6e8ab77cd2be78f15dd6ec8190379ae10401cab8f5c5129052ab8d2c7379a9d6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlueW6wACgkQdxk/FSvb5qae6Q/9EnKLHia6n0Ftx3X3Z70z7BkLK8udh2oAssRYhbb6FX1CF/zHNlnCaE+v0b2fc7xiDl2MDeOY6P+EhFZKxzctN81VlT3+F4T0plU5hSUJCurSTcl25gbfd6fGen1r9TueiJhCC0itn9b7pKrFlIhtMokC+s1tiLmb/mC6NSmzmYaaNCyq8/+GzqM13ULbwMg9RV3Ueqy9d8CbmbNYQbFGgV5VwEa2gN74SdZk0lfO2aMptH15+Eie6G4VMaNRNxgoTVW8WRXIUnDQvqqNvzF1a0nwnIE63zSHa8Fl4pXBtmKPilTLBiehxHNstJPZpV3AGn8pp3f5uHI4nheTk+/T5YG+e2qObGLbzLN2ncs59ODFhBTDMWoziNR8EKPGALyq1CADt+EgRMVDQSGM16DAS4U2DGlxoEDLY9A3yDc3QAyHFxT+izQeQko09XbgVf7T17bUDFzvHMuNVUbA7PRqrdt7uCgs8fJsBLEnqmhQIdXsp/K7nO8KdjAUOW3bjkDWiCGK7MHVeIu4MogC+Q2EGH+7atHMvI/k3xmGQe3iOMJW7uwjgGwicykdAXu6yU8rSF8bGyGOgePioTbGAzlXJ4GY/nYIfPcSYiOm/CsKgPM4IbTcy9CnbGqYC6R7uoLlZ2UJqvD/rkKZl7/f7uvP3sJQ08fFG1Ie2lHy/0ocoqI=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1537103673

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

