Changeset 54985


Ignore:
Timestamp:
Aug 5, 2009, 4:06:33 PM (11 years ago)
Author:
mww@…
Message:

version 2009-08-05

File:
1 edited

Legend:

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

    r54915 r54985  
    44
    55name                    isabelle-devel
    6 version                 2009-07-31
     6version                 2009-08-05
    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     beb277ad887e4f71632af461e3912735 \
    25                     sha1    16e97ce9dc7b04df5c09baca2ec1298dd79faa15 \
    26                     rmd160  1f21fa382a86e3a6dfd9d87d3dcbd88448352851
     24checksums           md5     4f4549eca24494b59cecdb5b4afb9762 \
     25                    sha1    f660504e77644e902f8dd0571098ce723ac1aeb9 \
     26                    rmd160  2c68a596eb6fa3f79087f7e1d47f53d09cc76f99
    2727patchfiles              patch-etc-settings.diff
    2828
Note: See TracChangeset for help on using the changeset viewer.