2 lines
160 B
Text
2 lines
160 B
Text
SHA256 (cabal/Agda-executable-2.3.0.tar.gz) = b75ce406ac9343dbc10a221f7552df2d5ddccc8ef38359d33465c02dbe992ad8
|
|
SIZE (cabal/Agda-executable-2.3.0.tar.gz) = 1764
|