Changeset 53603


Ignore:
Timestamp:
Jul 9, 2009, 4:49:15 PM (10 years ago)
Author:
mww@…
Message:

version 2009-07-08

File:
1 edited

Legend:

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

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