rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The Agda-stdlib rpms
65 commits 29 branches 0 tags 73 KiB
Find a file
Jens Petersen 52f1ede6b8 https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md
2025-08-11 17:35:31 +08:00
.gitignore https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md 2025-08-11 17:35:31 +08:00
Agda-stdlib.spec https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md 2025-08-11 17:35:31 +08:00
changelog Convert to %autorelease and %autochangelog 2023-07-18 18:32:00 +08:00
sources https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md 2025-08-11 17:35:31 +08:00