diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-09-10 22:42:48 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-09-10 22:54:36 +0200 |
| commit | b38827096f6c3229ed6bfbfda3eaa28d78f3cbaa (patch) | |
| tree | 684708780c041bf852c9dedcb35f313a8c3fb879 /gnu/packages/maths.scm | |
| parent | 4105f13bb5e1ec946bfc9705498ed9aad2228bcf (diff) | |
| download | patches-b38827096f6c3229ed6bfbfda3eaa28d78f3cbaa.tar patches-b38827096f6c3229ed6bfbfda3eaa28d78f3cbaa.tar.gz | |
gnu: mcrl2: Use HTTPS home page.
* gnu/packages/maths.scm (mcrl2)[home-page]: Use HTTPS.
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 01bd03c600..4e1347e8fc 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -3975,7 +3975,7 @@ toolset supports analysis and automatic verification, linearisation, simulation, state-space exploration and generation, and tools to optimise and analyse specifications. Also, state spaces can be manipulated, visualised and analysed.") - (home-page "http://mcrl2.org") + (home-page "https://mcrl2.org") (license license:boost1.0))) (define-public r-subplex |