Synchronize generated files

Fix broken doc symlinks (Closes: #877267)

Update debian/clean

Disable dh_dwz for now

Bump debhelper compat to 12

Fix file dispatch and add binary package ocaml-man

Remove references to no-longer-shipped examples

Remove useless *.dirs* files

ocaml-mode is now an independent project

Fix in configure.am

Start updating packaging (not finished!)

Update patches

Deleted patches:
- Pass-no-relax-to-ld-on-alpha (broken)
- Call-ld-with-proper-flags (broken)
- Avoid-multiple-declarations-in-generated-.c-files-in (broken)
- Embed-bytecode-in-C-object-when-using-custom (broken)
- Native-backtraces-don-t-work-on-powerpc-and-sparc (broken)
- XL-001-tests.asmcomp (upstream)
- arm64-hide-symbols-for-stricter-binutils (upstream)
- Integer-overflows-when-unmarshaling-a-bigarray (upstream)
- Use-CCLINKFLAGS-for-linking-all-executables-and-shar (broken)
- Compute-a-stable-name-for-preprocessed-files (broken)

New upstream release

Update upstream source from tag 'upstream/4.08.0'

Update to upstream version '4.08.0'
with Debian dir 5262782490e5aa1c3027dcc0dfb420ea7c233db0

New upstream version 4.08.0

New upstream version 4.07.1

New upstream version 4.07.0

New upstream version 4.06.1

New upstream version 4.06.0

Update changelog and prepare upload to unstable

Delete trailing whitespaces in debian/changelog

Update Vcs-* to point to salsa

Use caml_ba_multov instead of caml_umul_overflow

Fix integer overflows when unmarshaling a bigarray

(Closes: #895472, CVE-2018-9838)

Refresh patches

dropped recommends camlp4

Merge branch 'debian/sid' into debian/experimental

Release 4.05.0-10 to Debian unstable.

Update gbp.conf for sid branches

Replace the ARM PIC patch with one from upstream

Drop support for ocamlopt on armel as suggested by upstream

Release 4.05.0-9 to Debian unstable.

Release 4.05.0-8 to Debian experimental

Replace arm64 patch with one applied upstream

Mark old bugs as closed

Convert the menu file to a desktop file

Update d/changelog

Merge branch 'debian/sid' into debian/experimental

Add .gitattributes for easy changelog merging

Release 4.05.0-7 to Debian experimental.

Only install ocaml-native-compilers.conf on native-code architectures

Release 4.05.0-6 to Debian experimental.

Mark certain symbols as .hidden in arm64 codegen, fixing FTBFS with binutils 2.29

Release 4.05.0-5 to Debian experimental.

Update d/changelog

Proper fix for kfreebsd-* not having dup3/pipe2

Release 4.05.0-4 to Debian experimental.

Properly fix new natdynlink logic

- fix the bogus "double-if" conditional
- filter is more correct than findstring, the latter gives amd64 even if only
  freebsd-amd64 is in the list

Release 4.05.0-3 to Debian experimental.

Simplify and fix the newer natdynlink handling

Fix Makefile $-escaping syntax

Release 4.05.0-2 to Debian experimental.

Close old bug reports

More restructuring of ocamlvars.mk to pull in dependency variables

Removing $(_ocaml_share_path)/ocamlvars.mk was too hasty, it defines OCAML_DLL_DIR

Refresh patches

Move OCAML_* vars into separate file so it's available for ocamlinit.mk

Whoops, missed one

Disable failing dup3/pipe2-related tests on kfreebsd-*

Update conditional-install rules for easier maintenance

Run ocamlinit-stamp after config-stamp; this allows us to directly use config/Makefile

Release 4.05.0-1 to Debian experimental.

Update to latest Standards-Version; no changes required.

Update Homepage

ccache does not seem that much quicker for ocaml, but leave the rules in

Update ABI in d/rules

Update d/changelog

Updated version 4.05.0 from 'upstream/4.05.0'

with Debian dir c844517dc96c16122fa8f074fd6dfbc03830ccab

New upstream version 4.05.0

Update 0006 patch from Stephane

Update changelog and prepare upload to unstable

Tell dh_installdocs to ignore README.Debian (see #868204)

Add Provides: ocamlbuild to ocaml-nox

Upstream now installs topdirs.mli into (what ends up in) ocaml-base-nox

for-loops in Makefiles need a 'set -e' to fail early

Move ocaml-base-nox to the top of d/control for dh_installdocs

Update installation rules

Try ccache

Update d/patches

Update d/changelog

Merge tag 'upstream/4.05.0_rc1' into debian/experimental

Upstream version 4.05.0~rc1

# gpg: Signature made Tue 04 Jul 2017 18:21:11 CEST
# gpg:                using RSA key 3667486A326DB2766D255546860DEF3B8F650B79
# gpg: Good signature from "Ximin Luo <infinity0@pwned.gg>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@torproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@freenetproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@debian.org>" [ultimate]
# gpg:                 aka "Satoshi Nakamoto (www.bitcoin.org) <satoshin@gmx.com>" [ultimate]

New upstream version 4.05.0~rc1

Release 4.04.0-2 to Debian experimental.

Fix the build on non-opt+64 arches for raw_spacetime

Release 4.04.0-1 to Debian experimental

Some raw_spacetime files are not installed on non-opt architectures

Not sure that this is the best solution, but do it for now so we can release

Don't install ocamloptp on non-opt architectures, properly

Fix some install paths

Add Replaces, lintian-overrides to d/control, reduce dpkg-gencontrol warnings

Fix ocaml-nox.install for non-opt arches

Update path to ocamlobjinfo

Merge ocaml-native-compilers into ocaml-nox

Release to unstable

CVE-2015-8869

Compute a stable name for preprocessed files (Closes: #838188)

Update headers of patch 0012-...

obey hardening LDFLAGS (Closes: #792502)

Update install files with new libraries

Update patches, versions, and changelog

Add correct branch to gbp.conf