Re: [UPDATE] math/z3 to 4.8.16

Frederic Cambus wrote: > Hi ports@, > > Here is a diff to update z3 to 4.8.16. > > Some functions have been removed from the library, so a major bump > is needed. > > Comments? OK? ok op@ I somehow managed to boostrap F* with OCaml using the updated z3. It's still half broken (not the parts

[UPDATE] math/z3 to 4.8.16

Hi ports@, Here is a diff to update z3 to 4.8.16. Some functions have been removed from the library, so a major bump is needed. Comments? OK? Index: Makefile === RCS file: /cvs/ports/math/z3/Makefile,v retrieving revision 1.25