summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2019-07-09 16:50:36 +0300
committerEfraim Flashner <efraim@flashner.co.il>2019-07-09 16:52:59 +0300
commit710f027765079db7e5a9ea31faedf42e8748600c (patch)
treebcc2fb62350e0611bca3e1c881a85c18f1695280 /gnu/packages/coq.scm
parent534ceb7de11651abc89d82d80ee494ae8720ab67 (diff)
gnu: wgetpaste: Update to 2.29.
* gnu/packages/wget.scm (wgetpaste): Update to 2.29. [arguments]: Replace default paste service. Install license file.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions