diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 10:46:26 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 11:04:54 +0200 |
| commit | e198fe4e942c58136dd4cb8ebf49cade58a8f5e3 (patch) | |
| tree | f3a9ad383660e987c225685f4d899e2bbf5965d4 /guix | |
| parent | 067e75e17a7f2c278eb6273824e33454d8e00566 (diff) | |
gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7.
* gnu/packages/agda.scm (agda-ial): Update to
ded30c410d5d40142249686572aa1acd1b2f8cc7, use agda-build-system, switch to
G-Exps, reorder fields.
Diffstat (limited to 'guix')
0 files changed, 0 insertions, 0 deletions