aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/java.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2022-11-27 16:32:09 +0100
committerJulien Lepiller <julien@lepiller.eu>2022-11-27 18:11:42 +0100
commit9ec87c97854b11466008ee68c0bfe372ac69ab1b (patch)
tree6ec1b772b3868fbe77bbbc421960ef6331acbdcb /gnu/packages/java.scm
parente75e699ec30fd7d9eab50dd2c98a3a25fe50ffc0 (diff)
downloadguix-9ec87c97854b11466008ee68c0bfe372ac69ab1b.tar.gz
guix-9ec87c97854b11466008ee68c0bfe372ac69ab1b.zip
gnu: coq-core: Update to 8.16.1.
* gnu/packages/coq.scm (coq-core): Update to 8.16.1.
Diffstat (limited to 'gnu/packages/java.scm')
0 files changed, 0 insertions, 0 deletions