%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-41-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-41

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

%CSIZE%
201250

%ISIZE%
1148898

%SHA256SUM%
b31ab756f902ab64911e4177afed31c7e41019aba636273687fcc15c45f2b18f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmozzjYACgkQeGxj8zDXy5KAOA/8C6h0r5TGqzfdLpYwmK+1LMMMQMZxG8FppAcOKgowBr66V2bZYwSpIbqgb2Gic4MtA7azkCsNCXM5jHw1s4xRaJb/HYVXAfaMXjSg2ByE+5CbUgzLZ8KGZDxMhNXbizZH14naFO0/h7Ku6jxB68qC61mfQGLgu8ocPRoGwfYQUtpA+PLixGcrRCWHquxn3O8nue/jQvlgkexZSIUov+a2fazOyYhMVmTRGtc/QKHlSlP6YlTRvI/70YJAWqe/lKSRgfR7AE0mGdbzVlvdLHH2Vmhj4P38pvs1FrqgYWdr33qkRbzP0CXtdUpSJDD2uLArqHT22jaj+9WX5YI5Ud0ZscbRR3O1Fl66D3mpfe7NO+/2nKikgCHDPVH9tMyxSBjqxRRyWEmBNJkEYz6Bznf3ftRbxrpZsVXb7GSUmf5cVcSrQzMAQm72P/VbvBRNcYWSwvz3Bu9MYpr0bjvcLijuAQ/BSKZVe46Fg8/OZ8paPIp6amwvnybpnqxFA/i0QbYNimvi5xe9EYUb9jaMyuyGUG4njJtJ7xhcyNZKhAOsOFit86IuXPqklZy2NrLBPVgnMoaBRiGrhpcu3Q9JpJMhtSIg4z5uBluMGgnF6u/aXXbttqLY8BTjKKTqLMBZDq4xQ1Q/nsQqRpRRKDqARpPtdd7oJ6aORKasPDWCyIlo0SQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781779993

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

%MAKEDEPENDS%
ghc

