Changeset 58721


Ignore:
Timestamp:
Oct 3, 2009, 11:17:18 AM (11 years ago)
Author:
mww@…
Message:

version 2009-10-01

File:
1 edited

Legend:

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

    r57375 r58721  
    44
    55name                    isabelle-devel
    6 version                 2009-08-19
     6version                 2009-10-01
    77set my_version          [clock format [clock scan ${version}] -format %d-%b-%Y]
    88categories              math lang ml
     
    2323master_sites            ${homepage}/devel/
    2424distname                Isabelle_${my_version}
    25 checksums           md5     19184bc7620a92c3d13b439de6722767 \
    26                     sha1    7adfffc38bd599c11ce2e34dae64515d458b92e8 \
    27                     rmd160  5eb4602750c8aafad4ab6e80074f3e2a34802c6e
     25checksums           md5     27972200c65514bd07044f473d8b5023 \
     26                    sha1    e170691acb2e6ded3409459afe8f4fa64ad7b016 \
     27                    rmd160  8dd39c2f40ba7804e5723ce848de04e4d65c7cd0
    2828patchfiles              patch-etc-settings.diff
    2929
Note: See TracChangeset for help on using the changeset viewer.