rtyler
/
pkgsrc-wip
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

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

This commit is contained in:
Kamil Rytarowski 2016-09-20 04:09:24 +02:00
parent edb732bc14
commit 9a31985292
2 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
alt-ergo/Makefile
View File

@ -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/

7
alt-ergo/distinfo
View File

@ -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