%FILENAME%
haskell-tamarin-prover-sapic-debug-1.6.1-143-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.1-143

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

%CSIZE%
4068

%ISIZE%
2848

%MD5SUM%
deb49b75a460d4676f3011bfd227d875

%SHA256SUM%
8c6c7b30da0e6dc886f061dc095a96520c8499f20027032c76c25c9b12a397b8

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHMA8ACgkQeGxj8zDXy5IUnRAAkZccrUbBXtnNb7VxZW9+TTmikr96klqUO1ZjDuqotBB4UbqyQkeFYARaAvgrP/S4cIwD4hKDy7Tc9YjuKgP0WD2sHXWJQ05lYgESaTgOx/P37+fo9wq3fb1uptnHaJF/ltvITvUGwxR/FUcKhJdJAlnkM5gwHoCUUhUbpfrJYOY1z/SuWWzyS6jzRgpFY+to39ugvUm7nNwuOW8DA95s2wKrszaGRMKUKyB/0f1/xWfFR6qtf9a7OloGHc35UycRe9IWiCwrsFJUSX3bCmSu5eAkbPQ3TJmonCk3o3kT7X0pmiSvZ0ury9CgSZ10J97wzIenaaO6GhGLEgZWyfe8GL4NXAMqzwtZED8RXa6MvEQ56HyOCgb7PGj42vxnnjexzPmZI9ll/WeM8Up7jj1BEFkRNk2De+IdjI84m7Cr2JdI4uQLPvmv3RPooYq5qYYteSeL/keDS3It8eWOgzPLeM0i+no/9o3izjpBnEitEY/N7cYEluv+UzZiu2jKizAffQmjQKGllR99Ce4J00usSlHlKb2iWuD6DEuR63dvfMfoMsLTo7ioV7i1uE3cSQwBVfGgzWjlFmlCg+YCLSGiHIFixmeUpUOrZIDePe7fA2oHiY4yokE09SxUpWhxhLdzutVZfudIROMJ/yMaTTgCsrQE+ezYYUeyjhwG27mPlj8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686581237

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

%MAKEDEPENDS%
ghc

