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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-54

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

%CSIZE%
221406

%ISIZE%
1187719

%SHA256SUM%
2ce9878a55df4b4cc5b8acc319ab10eae7afd7688e929a44655ca8950b07e396

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo8Ti4ACgkQeGxj8zDXy5JAmQ//TsjmcUSGDXAE60Z2Fkkf4qeG5/6c9y+DUkPbgl44cmALcOHzU/3eWvlg+CNRzMbFmKSvT0iG6g7kVRGBPQcHkm+bEH5RhG4uhOGTkQ5KirmbEAY6rgb8Nyq03kimDGzIipWJIUkNjyj9Xnxhtg0k8/5/EzSOd5aaEo5Icov3j3rl9mxut4LYEVSKG+ZNLvHAoKSHL1TeDCk3pqnNMX3Kabm2f5FKvfsQoNBu1qujwG18F6H/5Gnjhge4dPMFmGkQIPsJCbCpiZ+nCyexbYcC9K3a9E+mCU7kvVYrYJCR38tMG96FG4lPzXKakSrgGG4OZKFPvpUfcbSl7Rcg+IiWUX58CuxAbomtf8NPo2RtN1mNjODhTN3Px6CejlA1WRQ+B6qfOdjH29z9I1rHdrJrTXODcPKKJ0IGJKONJGVsiLNojNB+TR/J3nEtEtbygYYFrbsb7SDafI8q3YPEoj8C4uWsS9ThRCrEuWhVLm5J0nb8mPdW6D+gBYKfbI+JI4sGmmN7PO9hH/EG9JIkwoXUJm3+2VinedK3ALf+LU4ZLkVmqauvpGseJSWSLPEqKhscf0dvt3dinlJZWYgeVjHbj2JpcIPfGIq8b8uS0UY8xeO5N+T8WWxu04yYFP64B/nUfsTkQ2/o8CwuETzhhsC3vFfPMTAEVCni1uYTNAlGb1Q=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782337052

%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

