diff options
Diffstat (limited to 'nongnu/packages/coq.scm')
| -rw-r--r-- | nongnu/packages/coq.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm index de067ab..7558cd1 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -43,7 +43,7 @@ (replace 'configure (lambda* (#:key outputs #:allow-other-keys) (let ((system ,(match (or (%current-target-system) (%current-system)) - ("armhf-linux" "arm-linux") + ("armhf-linux" "arm-eabihf") ("i686-linux" "x86_32-linux") (s s)))) (format #t "Building for ~a~%" system) |