nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: mcrl2: Use HTTPS home page. 

* gnu/packages/maths.scm (mcrl2)[home-page]: Use HTTPS.
This commit is contained in:
Tobias Geerinckx-Rice 2018-09-10 22:42:48 +02:00
parent 4105f13bb5
commit b38827096f
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gnu/packages/maths.scm
View File

@ -3975,7 +3975,7 @@ toolset supports analysis and automatic verification, linearisation, simulation,
state-space exploration and generation, and tools to optimise and analyse state-space exploration and generation, and tools to optimise and analyse
specifications. Also, state spaces can be manipulated, visualised and specifications. Also, state spaces can be manipulated, visualised and
analysed.") analysed.")
(home-page "http://mcrl2.org") (home-page "https://mcrl2.org")
(license license:boost1.0))) (license license:boost1.0)))
(define-public r-subplex (define-public r-subplex