aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2019-10-20 13:03:12 +0200
committerMarius Bakke <mbakke@fastmail.com>2019-10-20 14:00:11 +0200
commitc4cfa9c6ff27fc1b409550aaf0d4686b2ad84165 (patch)
tree6f5bde52db1ef7b52f22514285f4f6718d45ffc8 /gnu/packages/coq.scm
parent9a8d4463e61bbf84abe5de2d940b06753d85cfbb (diff)
downloadpatches-c4cfa9c6ff27fc1b409550aaf0d4686b2ad84165.tar
patches-c4cfa9c6ff27fc1b409550aaf0d4686b2ad84165.tar.gz
gnu: transmission: Update home page.
* gnu/packages/bittorrent.scm (transmission)[home-page]: Use HTTPS.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions