rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The Agda-stdlib rpms
53 commits 29 branches 0 tags 73 KiB
Find a file
Jens Petersen ed3cf90519 https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md
2023-07-28 12:03:20 +08:00
.gitignore https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md 2023-07-28 12:03:20 +08:00
Agda-stdlib.spec https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md 2023-07-28 12:03:20 +08:00
changelog Convert to %autorelease and %autochangelog 2023-07-18 18:32:00 +08:00
sources https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md 2023-07-28 12:03:20 +08:00