summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorAlex Griffin <a@ajgrf.com>2020-04-10 14:58:01 -0500
committerAlex Griffin <a@ajgrf.com>2020-04-10 14:58:01 -0500
commit22450afd709b3c23e0082592f9981ed3e8c05aad (patch)
tree45ad9b63b4e63426e8431be14c2cb9fcda8aa7be /nongnu/packages/coq.scm
parentc42505e8947ad5888b420dc4c8164aa0e2a076dd (diff)
nongnu: lgogdownloader: Update to 3.7.
* nongnu/packages/gog.scm (lgogdownloader): Update to 3.7.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions