[38585] trunk/dports/math/ProofGeneral/Portfile

[mww at macports.org]

Revision: 38585
          http://trac.macosforge.org/projects/macports/changeset/38585
Author:   mww at macports.org
Date:     2008-07-25 04:39:09 -0700 (Fri, 25 Jul 2008)
Log Message:
-----------
version 3.7.1;
switch livecheck to check for releases instead of pre-release versions

Modified Paths:
--------------
    trunk/dports/math/ProofGeneral/Portfile

Modified: trunk/dports/math/ProofGeneral/Portfile
===================================================================
--- trunk/dports/math/ProofGeneral/Portfile	2008-07-25 11:38:39 UTC (rev 38584)
+++ trunk/dports/math/ProofGeneral/Portfile	2008-07-25 11:39:09 UTC (rev 38585)
@@ -3,7 +3,7 @@
 PortSystem        1.0
 
 name              ProofGeneral
-version           3.7.1pre080526
+version           3.7.1
 categories        math
 maintainers       mww
 platforms         darwin
@@ -18,7 +18,7 @@
 homepage          http://proofgeneral.inf.ed.ac.uk/
 master_sites      ${homepage}/releases/
 extract.suffix    .tgz
-checksums         sha1 710522108d353ef80f8d83bfe11f8c08916da4d8
+checksums         sha1 8bfa5b8c8f670ac992628aa05824f4bf514673a2
 
 use_configure     no
 
@@ -36,6 +36,6 @@
 (load-file \"${prefix}/share/ProofGeneral/generic/proof-site.el\")\n"
 }
 
-livecheck.url	http://proofgeneral.inf.ed.ac.uk/releases/prereltag.txt
+livecheck.url	http://proofgeneral.inf.ed.ac.uk/releases/?C=M\;O=D
 livecheck.check	regex
-livecheck.regex	(\[a-zA-Z0-9.\]+)
+livecheck.regex	ProofGeneral-(\[0-9.\]+).tgz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20080725/85c453a7/attachment.html