2 lines
144 B
Text
2 lines
144 B
Text
SHA256 (cabal/Agda-2.3.0.1.tar.gz) = 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338
|
|
SIZE (cabal/Agda-2.3.0.1.tar.gz) = 612342
|