diff options
author | Philip McGrath <philip@philipmcgrath.com> | 2024-08-11 17:38:42 -0400 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2024-08-22 12:20:25 +0100 |
commit | 14e3b08f0012269984b26729f476a7cd1c1ec3bc (patch) | |
tree | ed9dee4c8cb28ec1ea9d15cefb10c620a221ccc6 /gnu/packages/coq.scm | |
parent | 18eea46d3b69726af335d0b0ac80d93d8fc99087 (diff) | |
download | guix-14e3b08f0012269984b26729f476a7cd1c1ec3bc.tar guix-14e3b08f0012269984b26729f476a7cd1c1ec3bc.tar.gz |
Revert "gnu: chez-scheme-for-racket: Fix building on riscv64-linux."
Native code generation for riscv64-linux is supported:
this commit masked a bug somewhere in our packaging or the build
modes we're using.
This reverts commit 0c96f7932de50c81f4b4714f287520699107c8bb.
Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions