gnu: petsc: Use HTTPS home page.

* gnu/packages/maths.scm (petsc)[home-page, license]: Use HTTPS.
This commit is contained in:
Tobias Geerinckx-Rice 2020-01-18 12:47:01 +01:00
parent f433b6625e
commit 2299d83e2f
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -1921,13 +1921,13 @@ (define-public petsc
(copy-recursively exdir exdir')
(delete-file-recursively exdir)
#t))))))
(home-page "http://www.mcs.anl.gov/petsc")
(home-page "https://www.mcs.anl.gov/petsc")
(synopsis "Library to solve PDEs")
(description "PETSc, pronounced PET-see (the S is silent), is a suite of
data structures and routines for the scalable (parallel) solution of
scientific applications modeled by partial differential equations.")
(license (license:non-copyleft
"http://www.mcs.anl.gov/petsc/documentation/copyright.html"))))
"https://www.mcs.anl.gov/petsc/documentation/copyright.html"))))
(define-public petsc-complex
(package (inherit petsc)