aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-10-31 13:42:17 +0100
committerRicardo Wurmus <rekado@elephly.net>2020-10-31 13:46:42 +0100
commit61dfc06583ffe544368b9d960ab53d415a375875 (patch)
tree6bb0ba6a85f4af37fb46f4fcfa35c3d6bfb54ffe /gnu/packages/coq.scm
parenta3bc425c0216401b656d155ca85c942bf572e1b0 (diff)
downloadguix-61dfc06583ffe544368b9d960ab53d415a375875.tar.gz
guix-61dfc06583ffe544368b9d960ab53d415a375875.zip
gnu: r-bayestestr: Update to 0.7.5.
* gnu/packages/cran.scm (r-bayestestr): Update to 0.7.5.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions