new package: safa
new package: safa (fixing an EOF)
new package: symkat
Merge branch 'master' of https://github.com/ocaml/opam-repository
fixing compilation/installation issues for safa
fixing compilation/installation issues for symkat
fixing md5sums for safa and symkat
Merge pull request #3108 from damien-pous/master

new package: safa (Symbolic Algorithms for Finite Automata)