rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Agda-stdlib/sources
Jens Petersen df36dcd1df update to 0.13
2017-03-12 22:22:32 +09:00

1 line
164 B
Text
Raw Blame History

SHA512 (agda-stdlib-0.13.tar.gz) = 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece
Reference in a new issue View git blame Copy permalink