aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-12-23 23:12:42 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2019-12-24 04:01:05 +0100
commitb0a46bcc0268770f7018d93936a7cfa8b0a25251 (patch)
tree5f692c68b77f8d6fe088db9634dbaa1f24f87983 /gnu/packages/coq.scm
parent88c9408070280db51d1a0e604b9ec77f1611ab3c (diff)
downloadguix-b0a46bcc0268770f7018d93936a7cfa8b0a25251.tar.gz
guix-b0a46bcc0268770f7018d93936a7cfa8b0a25251.zip
gnu: cifs-utils: Update to 6.10.
* gnu/packages/samba.scm (cifs-utils): Update to 6.10. [arguments]: Force a ‘bootstrap’. Add a ‘create-man8dir’ phase.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions