aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRaghav Gururajan <rg@raghavgururajan.name>2021-02-24 22:54:15 -0500
committerDanny Milosavljevic <dannym@scratchpost.org>2021-02-26 01:29:45 +0100
commit5e69fcf429adaef6c3ea9ad326d7a60d87bad012 (patch)
treee5105f58df00f27eb09d1d9de9987e96ea825a18 /gnu/packages/coq.scm
parentc00b5be7a15224fe5e5874e2700f1cb213cb6373 (diff)
downloadguix-5e69fcf429adaef6c3ea9ad326d7a60d87bad012.tar.gz
guix-5e69fcf429adaef6c3ea9ad326d7a60d87bad012.zip
gnu: mcabber: Update to 1.1.2.
* gnu/packages/messaging.scm (mcabber) [version]: Update to 1.1.2. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions