Log of gnu/packages/patches/agda-categories-remove-incompatible-flags.patch
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| 8203e8f3 | gnu: Add agda-categories. | Josselin Poiret | 2023-06-04 08:59 |
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| 8203e8f3 | gnu: Add agda-categories. | Josselin Poiret | 2023-06-04 08:59 |