Log of gnu/packages/patches/agda-use-sphinx-5.patch
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| a5217573 | gnu: agda: Update to 2.6.4. | Josselin Poiret | 2023-11-14 12:30 |
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| a5217573 | gnu: agda: Update to 2.6.4. | Josselin Poiret | 2023-11-14 12:30 |