mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-04 20:29:09 +01:00
10 lines
290 B
Text
10 lines
290 B
Text
PRGNAM="mcrl2"
|
|
VERSION="201409.1"
|
|
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=""
|
|
REQUIRES=""
|
|
MAINTAINER="orphaned - no maintainer"
|
|
EMAIL="nobody@nowhere"
|