rpms/Agda-stdlib
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Agda-stdlib/sources
Jens Petersen dc5818e4df update to 0.17
2019-02-25 10:52:33 +08:00

1 line
164 B
Text
Raw Permalink Blame History

SHA512 (agda-stdlib-0.17.tar.gz) = 372c2d5c49af290e1f54075bf180826a7e1bdc5be384df6270e7fa21bd4800ab8662ede3ef7cba6a31e13767312b176f842ba9b66d627722e9cd2fcca0b86565
Reference in a new issue View git blame Copy permalink