Merge branch 'master' of git://github.com/ocaml/opam-repository
Merge branch 'master' of git://github.com/ocaml/opam-repository
Merge branch 'master' of github.com:mirage/opam-repository
Merge branch 'master' of git://github.com/ocaml/opam-repository
[Why3] new version 0.82
Converting files containing CRLF line terminators

Patch files with CRLF terminators are not correctly handled by FreeBSD's
patch(1). A package description file also had a CRLF terminator and was also
converted.
openflow: remove lwt as a required dependency
added new package ACPC v1.0
aws 0.0.3
update camlzip patch

- build and install cmxs
- install cmx
add aliases package
Add LLVM 3.4
Remove packages alt-ergo versions 0.94, 0.95 and 0.95.1 for which download links are broken.
Add deriving-yojson
Merge pull request #1552 from mirage/master

Fix Travis
Merge branch 'deriving-yojson' of git://github.com/hhugo/opam-repository into hhugo-deriving-yojson
Merge branch 'openflow.0.2.0' of git://github.com/seliopou/opam-repository into combined-fixed-with-fixed-travis
Merge branch 'aliases' of git://github.com/hhugo/opam-repository into combined-fixed-with-fixed-travis
Merge branch 'acpc_1.0' of git://github.com/UnixJunkie/opam-repository into combined-fixed-with-fixed-travis
acpc: fix typo that broke installation