aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorPhilip McGrath <philip@philipmcgrath.com>2024-08-11 17:38:42 -0400
committerChristopher Baines <mail@cbaines.net>2024-08-22 12:20:25 +0100
commit14e3b08f0012269984b26729f476a7cd1c1ec3bc (patch)
treeed9dee4c8cb28ec1ea9d15cefb10c620a221ccc6 /gnu/packages/coq.scm
parent18eea46d3b69726af335d0b0ac80d93d8fc99087 (diff)
downloadguix-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