gnu: papi: Use HTTPS home page.

* gnu/packages/profiling.scm (papi)[home-page]: Use HTTPS.
This commit is contained in:
Tobias Geerinckx-Rice 2018-03-04 17:16:46 +01:00
parent f7c870f78a
commit 211748d475
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 1 additions and 1 deletions

View File

@ -116,7 +116,7 @@ stealtime lmsensors infiniband powercap"
(install-file file doc)) (install-file file doc))
'("README" "RELEASENOTES.txt")) '("README" "RELEASENOTES.txt"))
#t)))))) #t))))))
(home-page "http://icl.cs.utk.edu/papi/") (home-page "https://icl.utk.edu/papi/")
(synopsis "Performance Application Programming Interface") (synopsis "Performance Application Programming Interface")
(description (description
"PAPI provides the tool designer and application engineer with a consistent "PAPI provides the tool designer and application engineer with a consistent