Changeset 53751


Ignore:
Timestamp:
Jul 13, 2009, 7:50:17 AM (10 years ago)
Author:
mww@…
Message:

version 2009-07-12

File:
1 edited

Legend:

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

    r53603 r53751  
    44
    55name                    isabelle-devel
    6 version                 2009-07-08
     6version                 2009-07-12
    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     6b1596f1c8a961e97c2b86fef08d86bc \
    25                     sha1    2b7f05bea4a15b1c45e5874b1d0265d2e642ec81 \
    26                     rmd160  675bfa5f8dc797795a690bdf272746c45233f70e
     24checksums           md5     03f81ab7f8de2f9e5444feb0971eb930 \
     25                    sha1    8d9f7c8777c059ba4c27ee526c9be79ccd97bfcc \
     26                    rmd160  09196c3d0d6306caea6bd7cbb6d07b05a50d553b
    2727patchfiles              patch-etc-settings.diff
    2828
Note: See TracChangeset for help on using the changeset viewer.