aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2020-05-14 00:21:41 +0200
committerMarius Bakke <mbakke@fastmail.com>2020-05-14 00:21:41 +0200
commit1a044e3936ac4c1ba1575fe791bf59577b039cf9 (patch)
tree4058f7c75d866e4a80276289769b0e4130ea3ac5 /gnu/packages/agda.scm
parenta4d76a514fed7bdd5f6dc0fdc69942d7ad3f65f1 (diff)
downloadguix-1a044e3936ac4c1ba1575fe791bf59577b039cf9.tar.gz
guix-1a044e3936ac4c1ba1575fe791bf59577b039cf9.zip
gnu: freehdl: Fix build failure.
Fixes <https://bugs.gnu.org/41246>. Reported by tsmish <tsymsh@gmail.com>. * gnu/packages/engineering.scm (freehdl)[source](patches): New field. [native-inputs]: Remove GCC-5.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions