aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions
generated by cgit
uix/commit/gnu/packages/mes.scm?id=ba485217b8ee55792abe6360a208d8c12e3ee7a0'>gnu: mes: Update to nyacc-1.00.2....Jan (janneke) Nieuwenhuizen 2021-03-14gnu: Add nyacc-1.00.2....Jan (janneke) Nieuwenhuizen 2021-03-14gnu: mescc-tools: Update to 0.7.0....Jan (janneke) Nieuwenhuizen