crypt 1.3
Sync latest compiler pull requests
Remove runtime dependency on ospec

ospec is required neither for building nor for running uint.
Merge pull request #2021 from whitequark/patch-1

Remove runtime dependency on ospec
Merge pull request #2017 from seliopou/master

ox: Add version constraint to openflow dependency
Merge pull request #2019 from vbmithr/master

crypt 1.3
Merge pull request #2020 from bactrian/sync-prs-1399590001

Sync OCaml compiler PRs
add camlp4 dependencies to all core packages
Merge pull request #2022 from janestreet/master

add camlp4 dependencies to all core packages
Sync latest compiler pull requests
Merge pull request #2024 from bactrian/sync-prs-1399676401

Sync OCaml compiler PRs
camlp4.4.02.0: properly install and uninstall.

See also https://github.com/ocaml/camlp4/issues/30.
Add compiler using LSB: 4.01.0+lsb

Requires the Linux Standard Base SDK: http://www.linuxfoundation.org/collaborate/workgroups/lsb/download
Add compilers using musl-gcc: 4.01.0+musl, 4.01.0+musl+static

Requires musl-gcc to be installed (apt-get install musl-tools on Debian).
mascot: patch for 4.01
Fix coqide configure to accept make version 4

From: http://cvsweb.netbsd.org/bsdweb.cgi/~checkout~/pkgsrc/lang/coq/patches/patch-configure?rev=1.1
Merge pull request #2029 from hhugo/mascot4.01

mascot: patch for 4.01
Merge pull request #2023 from whitequark/master

camlp4.4.02.0: pass BINDIR/LIBDIR to configure
camlp4: build native
odepack 0.6.5