%FILENAME%
haskell-tamarin-prover-export-1.12.0-33-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-33

%DESC%
Library for export of processes in the Sapic calculus to the Proverif calculus

%CSIZE%
221645

%ISIZE%
1187711

%MD5SUM%
819cbcd59cb9803ce167419fe07c9149

%SHA256SUM%
86980fad4213be2b08681eac0d79c3c420a8591a08e51077155593ffa3b0eaec

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoC0moACgkQeGxj8zDXy5LGgg/9GCsO4DhW6C1zVSNIpShfnY/6olZPjTWMuNWMBn++3PiSQyjldHlz92TP1WUkNcd0bmjip6uN0aKM+EExPLZjeltXh6sSyN/A5tte1tcUkCCE2tq22Wt17k7nr8vnC3znkDlUPU9Y3O+iWbJ/j+D9y5OWnH54vlD6clZsY00+mVBFI3t0IBZQTXwOzD7+iXIKskzNCw8EhzyP3wykdGRjvijGwX8mN0z6saCQLh0/XCeVX1stp8R1ElsopGugG8a0c1qdrUo+3JWMFJdFm7o2luWnGcdspMWlE8JrTW7icGlLOKRHUq9clCQPrKVsRoO//GKKZam7eHa6rH+rjusgJMYAog4FfPVm3R1mKEFfOzIGuFQzO6uNa7BnfJ7qN7w5/Oek/lGw+kuchAVglBOEF8EmGZb6C4HGaW7tgyM0KVSw2lXkagRDhlPJLOX4r0oNoDaKABS5G3T5CTLBDZrR5E0c18RylaX4znN6NtcgLikmzV2IjQbUBg7X6axeZQouUqqKMTGxlSP4+ieHVuRdQNoGr2nVr7uo+KZnMUjSdR3EJDR9LzNFzXIGa1rDGUxSM3Jzu4BN6qJ+ZBlKDxilyBTmUg4z6l9WCtlnjKyjhO6GQ8PyW9URsuFtaodT8J1SQfolfKYA4AtZOn3OyryB8YiDJDKTpcH7kku/VyqR8U0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778569781

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

%DEPENDS%
ghc-libs
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic

%MAKEDEPENDS%
ghc
uusi

