%FILENAME%
haskell-tamarin-prover-term-debug-1.10.0-3-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-3

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

%CSIZE%
575404

%ISIZE%
3332894

%SHA256SUM%
f735ddaeb01a4cdc57f248af2fbeaa7c002d19c2e6637bec1b5ecea36e46985e

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOwYACgkQrx0hme8KPM+g7g//f/BwR1UmyU0CUMFQS55XAuU+KQ9M5zSAZGsZAxyMIus79P3DYnKwfHgHd0Bi5bzFieebi2W/RbrvgwHimCrnFCs1q/4oOLNJAoh200kPR4XWLJyJ0qSuyNJRBAVtGcws+EXCXVkixkd4UupVREOB90CS9s/73rME5O2gjEYIDJ4QykXSUsJ3YlWbCSexj7uvR5XtW8NPgh2Wu0M5AEV6OcJH6W9c9X6JIU32KQwulmCK63Dj8e0rFVrnna2Djc9eNuD/K24hV2mlzSLituUV1GH/XUcet+HHKxJf0afAk/ImsfDLZa2giQnJ1N74/Q+XAzxtHViVd5+Rs2VJ7d/xxFrURiIHRM2y09KPUNgRN+4ganx83NpEzr85DM1cdAWDpAq/DDCuOG2b0FjkQlWm88AhtmCljeOZc5We22BZ8yD0uHvDa3FTZ3yL6a8yyztdqRKobL6+luhfk9BND99Qo1Jsb8c2RLWTZnk4Tj6o7+IWn6qB3p43ug6tMABbcyabRZkPFxdVKmnCdUPlTu+xGBTsY47sDsI9WATLNlAYDBHuMZPNzHXwnIt1NT+g/d4mHM+mH/xu7nQvnejwNzFk0XeT2tfc5j+tIqttdAZS2pKsWaR0qdcF16LloYa4gMv9UHXgU1MWkTVc9/rJHvPaF3IVCKfqT3yuD8FP8ifiN1s=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933412

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

%MAKEDEPENDS%
ghc

