SHA256 (cabal/Agda-2.4.0.2.tar.gz) = 0b41cf9f841fd78b60490c66a4f08c9f57316e96ca8f3449dacb52cbf48d848d
SIZE (cabal/Agda-2.4.0.2.tar.gz) = 910389