diff options
Diffstat (limited to 'python/dotty/dotty.info')
| -rw-r--r-- | python/dotty/dotty.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/python/dotty/dotty.info b/python/dotty/dotty.info new file mode 100644 index 0000000000..a9a67331a4 --- /dev/null +++ b/python/dotty/dotty.info @@ -0,0 +1,10 @@ +PRGNAM="dotty" +VERSION="1.5" +HOMEPAGE="https://github.com/google/dotty" +DOWNLOAD="https://github.com/google/dotty/archive/v1.5/dotty-1.5.tar.gz" +MD5SUM="1ac6248a028ca43b6011e702c84fc317" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="six" +MAINTAINER="Barry J. Grundy" +EMAIL="bgrundy<at>linuxleo.com" |