Changeset 37506


Ignore:
Timestamp:
Jun 10, 2008, 11:21:24 AM (12 years ago)
Author:
mww@…
Message:

version 2008

Location:
trunk/dports/math/isabelle
Files:
1 edited
1 moved

Legend:

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

    r31976 r37506  
    22
    33PortSystem        1.0
     4
    45name              isabelle
    5 version           2007
    6 revision          1
     6version           2008
    77categories        math lang ml
     8platforms         darwin
    89maintainers       mww
    910description       Isabelle is a popular generic theorem proving environment.
     
    2223
    2324distname          Isabelle${version}
    24 checksums         md5 088e56b79a4c8cd3e4de7dad62a35827 \
    25                   sha1 dd1312a1af296cb02754069691801a23e03c7e15
    26 patchfiles        patch-etc-settings
     25checksums         md5 4ebd3288458b6a87979b211bf8fe3e15 \
     26                  sha1 82b4c9bf1791d24560561a8fafd0b24f4dfd1971
     27patchfiles        patch-etc-settings.diff
    2728
    2829depends_lib       port:polyml
Note: See TracChangeset for help on using the changeset viewer.