aboutsummaryrefslogtreecommitdiff
path: root/gnu/home/services/messaging.scm
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2023-03-31 09:48:51 -0400
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2023-03-31 09:58:38 -0400
commitb8152d668d16faa464d2819af6f8ed4b2637538b (patch)
tree31091c434f6f751a4cca556662d96c3f393e2fb2 /gnu/home/services/messaging.scm
parent11956155e54a26f5e3f6aa54c7fa045c442529c2 (diff)
downloadguix-b8152d668d16faa464d2819af6f8ed4b2637538b.tar.gz
guix-b8152d668d16faa464d2819af6f8ed4b2637538b.zip
gnu: conan: Do not hard-code package versions.
* gnu/packages/package-management.scm (conan) [arguments]: Add #:modules argument. Avoid hard-coding package versions in configure-tests phase.
Diffstat (limited to 'gnu/home/services/messaging.scm')
0 files changed, 0 insertions, 0 deletions
e69f6142eeff562007ce53b9144de334'>gnu: coq-equations: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-autosubst: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-mathcomp: Adjust '#:make-flags'....zimoun 2021-11-18gnu: Add coq-semantics....zimoun 2021-10-08gnu: coq: Add upstream-name....Julien Lepiller 2021-07-31gnu: coq: Update to 8.13.2....Julien Lepiller 2021-07-31gnu: coq-stdpp: Update to 1.5.0....Julien Lepiller 2021-06-13gnu: proof-general: Update to 4.4-0.bc86736....Xinglu Chen