%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-70-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-70

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

%CSIZE%
266990

%ISIZE%
1213813

%SHA256SUM%
f3c8e23a460876efca049197979f2fc94028bccb0df7e341464376da1017f6c2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqde14ACgkQeGxj8zDXy5KtdhAAugJXc3wb9EX78i5w2C1vVwasoD6LElZQ8TnwotUZ73i3EuwDY2yFcYD5OGrfsKi6PiNB3LikX3QcToRL/IR0ZxK4s0mq97ZlsXnVSa2itaqNfZVxJqSluNjloEcVW0PuY9cjcqlGxwHdODlvxl+SvrHH55KtBUUaU73xx5DRGsArEnPdbGvrt9+tC154nBZLFvMrmLq+jw2H6JnTnKq5Z4zl8NRzpvYeqcgZcK1FUPbIB4F+utEA5g/rgip2OgiKBY08oxhf89kh8gr60mQmbQ+gnqgywF1sdPkcHBgIreJmx1Ed3DYiKFxQ61S1dhrfUDUzawCpxf7C8DSNgSUrjvW8DEgfLfuGzK0rNzrzuEQZh5pPmr8YeU0wVUp9QCb3scL9CDC1H7rqNjA9GeBvMwjkUpMSjdd3cy1fTZw+jVpD3OSG6Eai1Rqzx2KMpLFkaQao2oypl2DVMh+dn0+tu/Nft3j8EMYfIWr5YUVF4AikUBpmZkZkZFxwusAgetjGnpYQKahy2CgHd/4jR2m4s+3PuANcAaS6BmLhrZRKqT3BZTYpnM6UrdSSzwMmv5G53cndhfkmYxhHKSn/HrKHmxqvUFJBRz6gVwbxX5QMeJKoJ6iG1/k9uZtymjJGHNCHOOzYV1vlkOXAn0/ozIcwZYhfpmP8zxY5JTiy3JInVvw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788705579

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

%MAKEDEPENDS%
ghc
uusi

