%FILENAME%
haskell-tamarin-prover-theory-debug-1.10.0-60-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-60

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

%CSIZE%
3526346

%ISIZE%
19108280

%SHA256SUM%
6e2ef54f417e5df3c0f074b6cab0b861fa3dabfcf792a162937eb2d8f407ce35

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHtXcACgkQeGxj8zDXy5LpAxAAwj6AG3WsmouJ9xQ8Itsyd6Lm8P0hvOZsA5gtA+Kg57oR22xsfDQhdAjNP11KUQQlqTpNzx4NwDIpg6LZu343qfMmJSYOlW9NShqpOBDVB/Em11cLQ2l20AJRC+iOfWqHydz30plxBTFVP0a7hEV3hIhARH/khmX8jbMlEeHnEurEjZyAw53/him19HXCVfuh0dEbYONRcTqfipXahNhqeMiIAUg0BpjMmvxEUs718PLU7BI0BHTPs/oRXE39dWiBtaUtF03bpuGdVHMIpJFt4aejJ2OHgAAEjPL+Z3BPtPiRAN4kfdkBGJbkOLvWuXOQlaNFK7BsBYJEz4AIi11VKnIM1sHRuPQBgZHZ1B9A+1xryrmfaA6xNyld+pxbq82CgPjDE0n4ze/WWhxig2J0TZ8XgZwK5rM8L/CiKUTHFxSwtPuyoLuvIv74AUfwbnFMv1UPh51hjX9Kt7wpM/wcERNQiM5XMXqUmfQ7hhzUik/ZilUMzuhe3x8OCFwU1ISb9afaxiX4tQs3+uuxo6vGCXIglqfKMCkFP96j90cp9k5uBU9TonEA+HM3Lfq95Er65vreAp35w6KSQCvDykT2/w50T1f3Eu77B8x36nA5mTAWQKF7d09kQJJGHMvwbe8OEnMYNRs8FIQ362/Ou4+5kb5JtyfYuQdTsAg9/UY3v7Y=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753724049

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

%MAKEDEPENDS%
ghc
uusi

