We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see ourdocumentation.
Merge pull request#32 from codinuum/developDevelop
Merge pull request#26 from codinuum/developfix
Merge pull request#25 from codinuum/developfix
Merge pull request#24 from codinuum/developto build with the latest environment
Merge pull request#23 from codinuum/developDevelop
Merge pull request#16 from codinuum/developDevelop
modified to use newer opam
Merge pull request#10 from codinuum/developDevelop
Merge pull request#8 from codinuum/developDevelop
Merge pull request#5 from codinuum/developsome search paths added