Hi, now with the actual ports attached. to update math/coq lablgtk3 is needed which in turn depends on ocaml-cairo and ocaml-configurator. new frama-c needs ocaml-yojson, which will pull in ocaml-cppo ocaml-easy-format and ocaml-binio with it. All except ocaml-configurator where removed from ports more or less recently.
ok to (re)import those ports? SUBDIR entries and quirks will need to be modified afterwards. Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1
lablgtk3.tar.gz
Description: application/gzip
pgpknIz4foA_6.pgp
Description: OpenPGP digital signature
