%FILENAME%
cryptol-debug-3.3.0-187-x86_64.pkg.tar.zst

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-187

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5710435

%ISIZE%
30645302

%SHA256SUM%
75796f6e8535ffd61cac4d1b62e8ef2eeed0122fe5f89ab7cfaa4a230783bea8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmroqDQACgkQeGxj8zDXy5K6bQ//ZkgCMmvmZFG+xFwy/rQJIc24GMIT4895nopeecNCwP53EUGEQ6rKOHkzBQ6bI4Al44oK3msF8EhsWEA5Q99RsM9WNCnB/PAp+CjfEKYMNsA0EV1fJewEYTRf1KQxbjyOBXNrlx69NpFFZtDwfA9KhiGiRwVT0ACC+eG7l1XDpxU253BH1UnhArNHud+4zg002L3pvvETMtaA02Of2LejVC6M9HFb37WUSPGoTpJCPDiyn9pRYP714nf7gHEaPlLUa29mdDNxxBvKphOnMlbwGxMYrO1VtycLR4G2WtIc11Dl2AJcXj5KBvy/bNOz5cJW5/QnMrxn6OLBasJFcGJUB1eqIWiSjCoal0hKDv2fS14zt/l4hlAa1GD/0Mm+pCa1ZjZ4aV83cnb6qpVy2sWwDggiwN5U/j1HmNJWThrnIdpo4gnePPXAYsIFOj0LkcjquTFZ21Tm/JyrG/D9EQSNDizAxWa2D0VW+hBtV8CUvGn9C8NpsCPcnu6A/a78nsH9LKAV3lc9f951ziDUc660f9l2gYOaoe+duRPEeA2GjAi1Aad/SwmZ7J66qaTBcXdwJdQXQ4TEOj51NVdnLPunrjEyN9DU1w1S+d7Q7/GoWOVCSWdMYhVWIk1DOLPXc2vLS94BQpMjkRB5FhLpGzrN9f2TMdgbVuRpUw4bMYTdMy4=

%URL%
https://tools.galois.com/cryptol

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1793632167

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

%MAKEDEPENDS%
ghc
uusi
alex
happy
haskell-tasty
haskell-tasty-hunit

