SHA256 (cabal/Agda-executable-2.3.0.1.tar.gz) = 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694
SIZE (cabal/Agda-executable-2.3.0.1.tar.gz) = 1765