opam file (for easy developement version)
in oasis, version is "dev"