aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2021-04-22 14:57:37 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2021-04-22 15:02:51 +0200
commit78fb1dbca21ecf2ee3084f89d0b7ddb2e615a3a3 (patch)
treef280e0220837b0afc069623960249ac230b8f6ed /gnu/packages/coq.scm
parent69924071806ba0d3f2c231167ccdcc2ced98cb2b (diff)
downloadguix-78fb1dbca21ecf2ee3084f89d0b7ddb2e615a3a3.tar
guix-78fb1dbca21ecf2ee3084f89d0b7ddb2e615a3a3.tar.gz
gnu: libupnp: Update to 1.14.6.
* gnu/packages/upnp.scm (libupnp): Update to 1.14.6.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions