rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Agda-stdlib/sources
Jens Petersen 134609802c update to 1.7.3 for Agda 2.6.4 
https://github.com/agda/agda-stdlib/blob/v1.7.3/CHANGELOG.md

Agda no longer build on i686
2023-10-17 00:39:00 +08:00

1 line
165 B
Text
Raw Permalink Blame History

SHA512 (agda-stdlib-1.7.3.tar.gz) = 23649e41bf52df03a448e9395360e4a1eb815940a48ae6d86e16681ecd756be6129059b8f90f78bba7aa79e7668cccca5a2f7cb39c2b920ae043b257fdbfc120
Reference in a new issue View git blame Copy permalink