Ignore:
Timestamp:
Dec 2, 2011, 7:09:02 PM (6 years ago)
Author:
dports@…
Message:

coq: update to v8.3pl2 (#32074, maintainer timeout)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/lang/coq/Portfile

    r84101 r87727  
    44
    55name        coq
    6 version     8.3pl1
     6version     8.3pl2
    77platforms   darwin
    88categories  lang math
     
    1818  Camlp4.  For more information, see <${homepage}>.
    1919
    20 checksums           md5     1869d22b337f5da59ba3bbe1433f9a3b \
    21                     sha1    3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f \
    22                     rmd160  687983bcaca723299b6ea902a1e1b07338209d55
     20checksums           rmd160  f59ee288a35c1009f88f050362bee21311b459a8 \
     21                    sha256  b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1
    2322
    2423use_parallel_build yes
Note: See TracChangeset for help on using the changeset viewer.