%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-91-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-91

%DESC%
Detached debugging symbols for haskell-tamarin-prover-theory

%CSIZE%
3831328

%ISIZE%
21038852

%SHA256SUM%
17747fb5a2eb07a9b00c3af1e131c8ce46f1f08df65ddc59e2be91d0020ff4c1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTa0QACgkQeGxj8zDXy5IJUg/9HcguRZnuaDU6MpHR4wfpEsK9sJbdL7cAKNe3nqRD4AIECrjHaXfzNA6w3WAvH2Be2k674GU/hMx1bN5imv9r+9d9nJ+ANQpPIYubLiubqCmHZfEuK5wp+1+MC9K5qnhVMPiDR8Nc8ZxMl83mqBXmAM+LHIvssTLHEf6wOkxJDgUUZklto0aJLd7V7zZXHBqjIphzSw/4dM2W+RyoMLWuseqFnHQyriVZrTyjfJYVD5Awn7liuLQOTkfsK360jb9HoGgs7SkHh60GgKJanygjgEfl7ozHj7i6bV5rTyaSkNoL/aIiGUPhhuDa6zoYruhPinf9w0TZDESUoJurMq2rmZMI7Ek3ZGD1mfr+ESx0KswLPLng8VS/8xAJHgAFUC4ePCSZonHB5qcr8b4TY+x3X1/0XM+iKBmW6ZuBJa0QdFeM5IUUNdDQlW+KT7Xt/QAN8ytHDV8xaPxlfH+JsEhOfrI7n4Qu8f+uYwXfPy3WaTaBPgAgHSOIY4cdmX2XiDxZqRJe2HWb4/fmP/TqcY2OFOJ2HIJ9/4nlJ6eSynLXNfnTe7Snvk+fWrosQBTIbJGCx4xL/irlo6fvfFzZuzwtpAKY5sTAz381WP3vepQAPgsi8PuJ9p3QJWeByfHnnnjn+5fulp5ZahEqALEMrA89fFIa5EGpOSmZRdhPaxHz6CE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792240356

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

%MAKEDEPENDS%
ghc
uusi

