alt-ergo: Fix make-fetch: Update to 1.01 and switch to GH

[Kamil Rytarowski <n54%gmx.com@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Kamil Rytarowski <n54%gmx.com@localhost>
Pushed By:	kamil
Date:		Tue Sep 20 04:09:24 2016 +0200
Changeset:	9a31985292500af28b4c799277c1031c6756d1aa

Modified Files:
	alt-ergo/Makefile
	alt-ergo/distinfo

Log Message:
alt-ergo: Fix make-fetch: Update to 1.01 and switch to GH

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=9a31985292500af28b4c799277c1031c6756d1aa

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 alt-ergo/Makefile | 6 ++++--
 alt-ergo/distinfo | 7 ++++---
 2 files changed, 8 insertions(+), 5 deletions(-)

diffs:
diff --git a/alt-ergo/Makefile b/alt-ergo/Makefile
index 973d168..75bee1f 100644
--- a/alt-ergo/Makefile
+++ b/alt-ergo/Makefile
@@ -1,8 +1,10 @@
 # $NetBSD: Makefile,v 1.5 2015/07/10 12:37:44 thomasklausner Exp $
 
-DISTNAME=	alt-ergo-0.93
+GITHUB_PROJECT=	alt-ergo
+GITHUB_TAG=	4a61506e48300b386fee5b2e09a28a045beb4491
+DISTNAME=	alt-ergo-1.01
 CATEGORIES=	devel
-MASTER_SITES=	-http://alt-ergo.ocamlpro.com/download_manager.php?target=${DISTNAME}${EXTRACT_SUFX}
+MASTER_SITES=	${MASTER_SITE_GITHUB:=OCamlPro/}
 
 MAINTAINER=	MarkoSchuetz%web.de@localhost
 HOMEPAGE=	http://ergo.lri.fr/
diff --git a/alt-ergo/distinfo b/alt-ergo/distinfo
index 039c8b9..eaf6243 100644
--- a/alt-ergo/distinfo
+++ b/alt-ergo/distinfo
@@ -1,5 +1,6 @@
 $NetBSD: distinfo,v 1.1 2011/05/21 19:14:41 marko_schuetz Exp $
 
-SHA1 (alt-ergo-0.93.tar.gz) = b1ac27fab7812590e5e2fd3ee5d795b599429577
-RMD160 (alt-ergo-0.93.tar.gz) = fd1f7f1f75f0d1392343e7a73d25b391ad083bae
-Size (alt-ergo-0.93.tar.gz) = 178783 bytes
+SHA1 (alt-ergo-1.01-4a61506e48300b386fee5b2e09a28a045beb4491.tar.gz) = 3b0f8312f96cd8eb061099c7b3ea08af0c28007c
+RMD160 (alt-ergo-1.01-4a61506e48300b386fee5b2e09a28a045beb4491.tar.gz) = 492c30dd97187be455809c8346bb8099164704c9
+SHA512 (alt-ergo-1.01-4a61506e48300b386fee5b2e09a28a045beb4491.tar.gz) = ffe559af7175b22c1c99516703f8bdf8ef0ce1bab0f729b11adfa45a706db5cfea82df6df8ec6c88a45c60707b6c93f878e50b32af86360a76c1f18c1bc97333
+Size (alt-ergo-1.01-4a61506e48300b386fee5b2e09a28a045beb4491.tar.gz) = 336553 bytes