Ignore:
Timestamp:
Feb 4, 2009, 5:25:12 AM (11 years ago)
Author:
illogic-al@…
Message:

Delete eigen2-devel since stable 2.0 version is out.
Add and use eigen port instead. Update dependencies.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/kde/kdeedu4/Portfile

    r46056 r46400  
    66name                kdeedu4
    77version             4.2.0
    8 revision            0
     8revision            1
    99categories          kde kde4
    1010maintainers         nomaintainer
     
    2020depends_lib-append  port:kdelibs4 port:kdebase4 \
    2121                    port:ocaml port:openbabel \
    22                     port:eigen2-devel
     22                    port:eigen
    2323
    2424configure.args-append   ../${distname}
Note: See TracChangeset for help on using the changeset viewer.