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)