diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/coq.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 166657fdd1..ea0868f226 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -763,7 +763,8 @@ subsume notations for finite sets.") #:phases #~(modify-phases %standard-phases (delete 'configure)))) - (propagated-inputs (list coq coq-mathcomp which)) + (native-inputs (list coq which)) + (propagated-inputs (list coq-mathcomp)) (home-page "https://math-comp.github.io/") (synopsis "Small library to do epsilon - N reasoning") (description |