[30037] trunk/dports/math/isabelle-devel/Portfile
source_changes at macosforge.org
source_changes at macosforge.org
Thu Oct 18 14:37:24 PDT 2007
Revision: 30037
http://trac.macosforge.org/projects/macports/changeset/30037
Author: mww at macports.org
Date: 2007-10-18 14:37:24 -0700 (Thu, 18 Oct 2007)
Log Message:
-----------
add 'lang' and 'ml' to categories, add livecheck
Modified Paths:
--------------
trunk/dports/math/isabelle-devel/Portfile
Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile 2007-10-18 20:52:23 UTC (rev 30036)
+++ trunk/dports/math/isabelle-devel/Portfile 2007-10-18 21:37:24 UTC (rev 30037)
@@ -4,7 +4,7 @@
name isabelle-devel
version 2007-10-18
-categories math
+categories math lang ml
platforms darwin
maintainers mww
description Isabelle is a popular generic theorem proving environment
@@ -37,3 +37,6 @@
file delete -force ${destroot}${prefix}/lib/isabelle2007/src
}
+livecheck.check moddate
+livecheck.url ${master_sites}
+
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071018/f001a8a4/attachment.html
More information about the macports-changes
mailing list