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

diff --git a/alt-ergo/Makefile b/alt-ergo/Makefile
index 973d168bf1a08d1df3dbbd27a91502c8cf6ae6a1..75bee1fd1e88b346ba8052652b30062c84e7f921 100644 (file)
--- 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
 HOMEPAGE=      http://ergo.lri.fr/

diff --git a/alt-ergo/distinfo b/alt-ergo/distinfo
index 039c8b94e7213d91650083f816c254e70be87264..eaf6243cd3ba05079176018473557908eb788efb 100644 (file)
--- 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