Changeset 54243


Ignore:
Timestamp:
Jul 23, 2009, 6:35:28 PM (10 years ago)
Author:
mww@…
Message:

version 2009-07-23

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/math/isabelle-devel/Portfile

    r53751 r54243  
    44
    55name                    isabelle-devel
    6 version                 2009-07-12
     6version                 2009-07-23
    77set my_version          [clock format [clock scan ${version}] -format %d-%b-%Y]
    88categories              math lang ml
     
    2222master_sites            ${homepage}/devel/
    2323distname                Isabelle_${my_version}
    24 checksums           md5     03f81ab7f8de2f9e5444feb0971eb930 \
    25                     sha1    8d9f7c8777c059ba4c27ee526c9be79ccd97bfcc \
    26                     rmd160  09196c3d0d6306caea6bd7cbb6d07b05a50d553b
     24checksums           md5     1149cadeacb70a7f715299ea94b8dc44 \
     25                    sha1    f951455e989c5b6a3e3a57263b4f68617f9e0a05 \
     26                    rmd160  59e40c7c9f35f7af8329c44816f7585eedb62e32
    2727patchfiles              patch-etc-settings.diff
    2828
Note: See TracChangeset for help on using the changeset viewer.