rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The Agda-stdlib rpms
66 commits 29 branches 0 tags 73 KiB
Find a file
Exact
Fedora Release Engineering fef6782f21 Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
2026-01-16 02:27:29 +00: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