Log of gnu/packages/patches/agda-stdlib-use-runhaskell.patch
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| c1f8bcbb | gnu: Add agda-stdlib. | Josselin Poiret | 2023-06-04 08:59 |
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| c1f8bcbb | gnu: Add agda-stdlib. | Josselin Poiret | 2023-06-04 08:59 |