Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-22 19:44:21 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

development/mcrl2: Updated homepage and download.

Browse source 
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
This commit is contained in:
David Spencer 2018-05-02 22:56:15 +01:00
parent d66ede22ed
commit 68165dba10
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
development/mcrl2/mcrl2.info
View file

@ -1,7 +1,7 @@
PRGNAM="mcrl2"
VERSION="201409.1"
HOMEPAGE="http://www.mcrl2.org"
DOWNLOAD="http://www.mcrl2.org/download/release/mcrl2-201409.1.tar.gz"
HOMEPAGE="https://www.mcrl2.org"
DOWNLOAD="https://www.mcrl2.org/download/release/mcrl2-201409.1.tar.gz"
MD5SUM="32818c4111aa406033e865c30ac7862b"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""

2
development/mcrl2/slack-desc
View file

@ -14,6 +14,6 @@ mcrl2: behaviour of distributed systems and protocols and is the successor
mcrl2: to mCRL. Using its accompanying toolset systems can be analysed and
mcrl2: verified automatically.
mcrl2:
mcrl2: http://www.mcrl2.org/
mcrl2: https://www.mcrl2.org/
mcrl2:
mcrl2: