diff options
Diffstat (limited to 'network/mps/mps.info')
| -rw-r--r-- | network/mps/mps.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/network/mps/mps.info b/network/mps/mps.info new file mode 100644 index 0000000000..82180e17ce --- /dev/null +++ b/network/mps/mps.info @@ -0,0 +1,10 @@ +PRGNAM="mps" +VERSION="0.20.1" +HOMEPAGE="https://github.com/np1/mps/" +DOWNLOAD="https://pypi.python.org/packages/source/m/mps/mps-0.20.01.tar.gz" +MD5SUM="79f58a735d6914cfd070f1dfda07911e" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="" +MAINTAINER="Dimitris Zlatanidis" +EMAIL="d.zlatanidis@gmail.com" |