[106340] trunk/dports/lang/coq/Portfile

larryv at macports.org larryv at macports.org
Wed May 22 17:54:08 PDT 2013


Revision: 106340
          https://trac.macports.org/changeset/106340
Author:   larryv at macports.org
Date:     2013-05-22 17:54:08 -0700 (Wed, 22 May 2013)
Log Message:
-----------
coq: Orphan abandoned port (#38042).

Modified Paths:
--------------
    trunk/dports/lang/coq/Portfile

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2013-05-23 00:49:30 UTC (rev 106339)
+++ trunk/dports/lang/coq/Portfile	2013-05-23 00:54:08 UTC (rev 106340)
@@ -7,7 +7,7 @@
 platforms   darwin
 categories  lang math
 license     LGPL-2.1
-maintainers loria.fr:reilles
+maintainers nomaintainer
 homepage    http://coq.inria.fr/
 master_sites ${homepage}V${version}/files/
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20130522/79d5b349/attachment.html>


More information about the macports-changes mailing list