%FILENAME%
haskell-tamarin-prover-term-debug-1.6.1-83-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-83

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

%CSIZE%
3581

%ISIZE%
2848

%MD5SUM%
61fc28b2888bb6665422dfd733a30751

%SHA256SUM%
d43093cb643bbe55eff95fd4fc7e18fdecb1c14f9bcb9f0028f95924f23db76d

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmR8xuAACgkQeGxj8zDXy5LVoxAAuqe7g7zwntW1TrSsinTszCQOXkd+NSNrblFddjEHV1ZfywIi1IFmTPOi3mefLwJgLx/C/ZRUKPUKUAR0/8pft/yWCJH6LZ6vyaEkr5hsodtddNwSAM402kkR/r0xo5HaM3satf+iretjo3WYfGsEdlpKNrFt+TK/LVotpF2Mz/gpv+r0GO+2xDzIixYu7Ti9ghP3tZRDUD3xYHi9rQX7dkyiECxDnLah4qC9epV5K9UzvyXIju8wJ/wvOj0pzcYisAzpczvcFcOWJZj8azy7Ix2EaqDlKs6B8k/rxOJDJeDMHW+8rU/DrAf8erP6lKSjBJnq/STQsO917eZgndSHXOmFT4DTcUpXsF4RDXXaakJovb0T+/NKApClHNTHKYqSvwNWQFGGwWLDdLl9g9MUxgl7wbBUCjoMQ3tb12oj4PyZl1uUJ+Nqd8bNgwxWAD2dk5zx4/Pw7Pcn0mZ7p4L+B1t+5mGAft08PNjZt3NawbdDRL14pUneY5Pei7VeRf7cqhQrd2K7OwX2P64aVH/LeIIstLK/ZdTN6d1Bq9h9+yPH1WhPMyNGrZLYFr7Lpa7mkH7nq9B2hLJavpom0H7jDcOaoLk4tOdgCKmjcr4AoN0euia5WJSK7ulYu++MBhjn39hbVRTM00M/2yvp/zd5N7VlUbNuZhSeqENVCO2AhDE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1685898805

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

%MAKEDEPENDS%
ghc

