Changeset 47219


Ignore:
Timestamp:
Feb 23, 2009, 7:45:19 PM (8 years ago)
Author:
alakazam@…
Message:

Update to Coq 8.2. Closes #18536 (maintainer timeout).

File:
1 edited

Legend:

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

    r36889 r47219  
    44
    55name        coq
    6 version     8.1pl3
     6version     8.2
    77categories  lang math
    88maintainers reilles@loria.fr
     
    1717  Camlp4.  For more information, see <${homepage}>.
    1818
    19 checksums \
    20     md5 84311faf7865b2eab964990cdb365dca \
    21     sha1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e \
    22     rmd160 f8f4749e1014cb47a83915550713cf9ce1992e34
     19checksums           md5     077c027e0f69e8ea240206ceb0f0d003 \
     20                    sha1    cac79093f1639c309b400aced13c749f278abbea \
     21                    rmd160  fb8506fa0c469a428a43649a13819bc18949570e
    2322
    2423use_parallel_build yes
Note: See TracChangeset for help on using the changeset viewer.