diff options
| author | Robby Workman <rworkman@slackbuilds.org> | 2021-04-21 21:34:34 -0500 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2021-04-21 21:34:34 -0500 |
| commit | 9c3ee4249b075d6b7467bd46e7265945dc4cd198 (patch) | |
| tree | f260b0e24ae4a6ed05246e11d6f5681a2c720deb /development/mcrl2/mcrl2.info | |
| parent | c56dc44e9311b4e917cae883ee059f6802a6514b (diff) | |
development/mcrl2: Removed (no maintainer)
Diffstat (limited to 'development/mcrl2/mcrl2.info')
| -rw-r--r-- | development/mcrl2/mcrl2.info | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/development/mcrl2/mcrl2.info b/development/mcrl2/mcrl2.info deleted file mode 100644 index a5ea44ca71acb..0000000000000 --- a/development/mcrl2/mcrl2.info +++ /dev/null @@ -1,10 +0,0 @@ -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" |