aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2020-11-19 19:08:05 +0100
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2020-11-19 19:08:05 +0100
commit2c2b07c1a349a2c500a9076c1b7abad07b8add88 (patch)
treee45ddebc0d1b1ab265cf91ab1997fa70df51a5aa /gnu/packages/coq.scm
parentf4024165a4022e84788d42b30a6a8b25aae13d37 (diff)
downloadguix-2c2b07c1a349a2c500a9076c1b7abad07b8add88.tar
guix-2c2b07c1a349a2c500a9076c1b7abad07b8add88.tar.gz
gnu: icedove: Update to 78.5.0.
* gnu/packages/gnuzilla.scm (icedove): Update to 78.5.0.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions