aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2023-11-15 15:54:41 +0100
committerRicardo Wurmus <rekado@elephly.net>2023-11-15 15:55:22 +0100
commit66f89ec6477b65f91ae22e27650cd73b6ccdad97 (patch)
tree3428702b9db079f1abcfcb74e43ca812339364be /gnu/packages/coq.scm
parentfd7c535d1b3264c131e3cbfcfa2089e618d397cc (diff)
downloadguix-66f89ec6477b65f91ae22e27650cd73b6ccdad97.tar.gz
guix-66f89ec6477b65f91ae22e27650cd73b6ccdad97.zip
gnu: r-rcppeigen: Update to 0.3.3.9.4.
* gnu/packages/statistics.scm (r-rcppeigen): Update to 0.3.3.9.4. [propagated-inputs]: Remove r-matrix. Change-Id: I48b3376c20b523e63fe392aa070d03872d19a34a
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions