Ticket #45719: Portfile-isl.diff

File Portfile-isl.diff, 723 bytes (added by Schamschula (Marius Schamschula), 10 years ago)
  • Portfile

    old new  
    77name                isl
    88conflicts           isl-devel
    99
    10 version             0.13
     10version             0.14
    1111epoch               2
    1212
    1313categories          devel math
     
    3434use_autoreconf      yes
    3535autoreconf.args     -fvi
    3636
    37 checksums           rmd160  418eeadbc3d82cc49b1eab51242813820b7c82c8 \
    38                     sha256  7265fd897b7f9147fde76560f28ed18f2c20e5f5da7f4bd9d0e01f8a713401f1
     37checksums           rmd160  4c69d026b51561bc1948cb7db79331b78a9d2c39 \
     38                    sha256  7e3c02ff52f8540f6a85534f54158968417fd676001651c8289c705bd0228f36
    3939
    4040depends_lib         port:gmp
    4141