summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/agda-stdlib-use-runhaskell.patch
diff options
context:
space:
mode:
authorDavid Thompson <dthompson2@worcester.edu>2025-08-04 11:19:14 -0400
committerDavid Thompson <dthompson2@worcester.edu>2025-08-04 11:49:07 -0400
commit23a3e0d214eeeba05e258f1711731f1562461f8f (patch)
tree116bf3c03f6f398d18337aaebc8ed95d928a528a /gnu/packages/patches/agda-stdlib-use-runhaskell.patch
parentafd532d428e3adf99d06bb6e7ea0617dadeeccd6 (diff)
gnu: Add guile-bstructs.
* gnu/packages/guile-xyz.scm (guile-bstructs): New variable. Change-Id: I904e84df810ce1779e256cad13cbeb19ae43a762
Diffstat (limited to 'gnu/packages/patches/agda-stdlib-use-runhaskell.patch')
0 files changed, 0 insertions, 0 deletions