Stéphane Glondu [Mon, 18 Sep 2023 11:41:40 +0000 (13:41 +0200)]
Prepare upload to experimental
Stéphane Glondu [Mon, 18 Sep 2023 11:40:16 +0000 (13:40 +0200)]
Update packaging
Stéphane Glondu [Mon, 18 Sep 2023 11:38:34 +0000 (13:38 +0200)]
Refresh patches
Stéphane Glondu [Mon, 18 Sep 2023 11:36:29 +0000 (13:36 +0200)]
New upstream release
Stéphane Glondu [Mon, 18 Sep 2023 11:36:14 +0000 (13:36 +0200)]
Update upstream source from tag 'upstream/4.14.1'
Update to upstream version '4.14.1'
with Debian dir
546b7ecb081ff63df8215e0c9f66aac49af5813f
Stéphane Glondu [Mon, 18 Sep 2023 11:36:04 +0000 (13:36 +0200)]
New upstream version 4.14.1
Stéphane Glondu [Mon, 18 Sep 2023 11:35:46 +0000 (13:35 +0200)]
New upstream version 4.14.0
Stéphane Glondu [Mon, 18 Sep 2023 11:29:33 +0000 (13:29 +0200)]
Switch to experimental branches
Stéphane Glondu [Fri, 25 Aug 2023 18:19:10 +0000 (20:19 +0200)]
Prepare upload to unstable
Stéphane Glondu [Fri, 25 Aug 2023 09:47:00 +0000 (11:47 +0200)]
Update changelog
Stéphane Glondu [Fri, 25 Aug 2023 09:10:11 +0000 (11:10 +0200)]
Fix source build after successful build (Closes: #
1049230)
Stéphane Glondu [Fri, 25 Aug 2023 09:08:24 +0000 (11:08 +0200)]
Remove empty override_dh_dwz
Stéphane Glondu [Fri, 25 Aug 2023 09:07:57 +0000 (11:07 +0200)]
Ignore test failures on hurd
Stéphane Glondu [Fri, 25 Aug 2023 06:23:52 +0000 (08:23 +0200)]
Prepare upload to unstable
Stéphane Glondu [Fri, 25 Aug 2023 06:22:45 +0000 (08:22 +0200)]
Revert "Switch to experimental branches"
This reverts commit
7e68eff183fb772a2c59b3c71992c9f2911ba9a5.
Stéphane Glondu [Wed, 23 Aug 2023 14:20:50 +0000 (16:20 +0200)]
Update changelog
Stéphane Glondu [Wed, 23 Aug 2023 13:59:21 +0000 (15:59 +0200)]
Add (empty) METAS directory in stdlib dir
Findlib is configured to look into this directory, and without it,
utop complains during completion in the `#require` directive.
Stéphane Glondu [Sun, 20 Aug 2023 09:09:06 +0000 (11:09 +0200)]
Rewrite read_lines and use List.filter_map
Stéphane Glondu [Sun, 20 Aug 2023 08:59:52 +0000 (10:59 +0200)]
Use option instead of exception in chop_prefix
Stéphane Glondu [Sun, 20 Aug 2023 08:44:10 +0000 (10:44 +0200)]
Use String.{starts,ends}_with
Stéphane Glondu [Sun, 20 Aug 2023 07:23:00 +0000 (09:23 +0200)]
libstdlib-ocaml breaks dh-ocaml (<< 2)
This is to enforce that dh-ocaml is upgraded to >= 2. Prior versions
would not add the dependency to versioned ocaml{,-base} virtual
packages with the new ocaml packaging.
Stéphane Glondu [Sat, 19 Aug 2023 03:17:37 +0000 (05:17 +0200)]
Update changelog and prepare upload to experimental
Stéphane Glondu [Sat, 19 Aug 2023 01:16:21 +0000 (03:16 +0200)]
Reorganize binary packages
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches
Stéphane Glondu [Fri, 18 Aug 2023 15:46:33 +0000 (17:46 +0200)]
Update changelog
Stéphane Glondu [Fri, 18 Aug 2023 15:50:52 +0000 (17:50 +0200)]
Update lintian overrides
Stéphane Glondu [Fri, 18 Aug 2023 15:45:59 +0000 (17:45 +0200)]
Bump Standards-Version to 4.6.2
Stéphane Glondu [Fri, 18 Aug 2023 14:17:14 +0000 (16:17 +0200)]
Compute an actual ABI for ocaml-compiler-libs
Stéphane Glondu [Sun, 12 Feb 2023 10:47:19 +0000 (11:47 +0100)]
Prepare upload to unstable
Stéphane Glondu [Sun, 12 Feb 2023 10:44:21 +0000 (11:44 +0100)]
Update packaging
Stéphane Glondu [Wed, 8 Feb 2023 08:48:17 +0000 (09:48 +0100)]
Update changelog
Stéphane Glondu [Wed, 8 Feb 2023 08:48:04 +0000 (09:48 +0100)]
Avoid build path ending up in binaries (Closes: #
1030785)
Stéphane Glondu [Wed, 8 Feb 2023 09:54:22 +0000 (10:54 +0100)]
Remove --with-x from call to configure
Stephane Glondu [Wed, 19 Jan 2022 10:15:02 +0000 (11:15 +0100)]
Prepare upload to unstable
Stephane Glondu [Wed, 19 Jan 2022 10:13:36 +0000 (11:13 +0100)]
Switch back to sid branches
Stephane Glondu [Thu, 30 Dec 2021 08:34:44 +0000 (09:34 +0100)]
Update changelog
Stephane Glondu [Thu, 30 Dec 2021 08:26:50 +0000 (09:26 +0100)]
Do no longer provide /usr/include/caml symlink
Stephane Glondu [Tue, 28 Dec 2021 10:03:44 +0000 (11:03 +0100)]
Adapt maintainer scripts to new binary package structure
Stephane Glondu [Wed, 22 Dec 2021 07:17:18 +0000 (08:17 +0100)]
Update changelog and prepare upload to experimental
Stephane Glondu [Wed, 22 Dec 2021 12:53:10 +0000 (13:53 +0100)]
Ignore tests failure on m68k
Stephane Glondu [Wed, 22 Dec 2021 08:24:46 +0000 (09:24 +0100)]
Enable fma emulation on m68k
Stephane Glondu [Wed, 22 Dec 2021 07:51:22 +0000 (08:51 +0100)]
Move ocaml-nox manpages to ocaml
Stephane Glondu [Wed, 22 Dec 2021 07:49:51 +0000 (08:49 +0100)]
Update Lintian overrides
Stephane Glondu [Wed, 22 Dec 2021 07:13:56 +0000 (08:13 +0100)]
Restore patch putting manpages in section 3o
Stephane Glondu [Wed, 22 Dec 2021 07:15:13 +0000 (08:15 +0100)]
Fix building of manpages on bytecode architectures
Stephane Glondu [Wed, 22 Dec 2021 07:05:41 +0000 (08:05 +0100)]
Put transitional packages in section oldlibs
Stephane Glondu [Tue, 21 Dec 2021 15:33:35 +0000 (16:33 +0100)]
Update changelog and prepare upload to experimental
Stephane Glondu [Tue, 21 Dec 2021 14:15:07 +0000 (15:15 +0100)]
Make *-nox packages transitional
There is no point in providing these packages, since graphics is now
a separate package.
Stephane Glondu [Tue, 21 Dec 2021 13:07:35 +0000 (14:07 +0100)]
Update packaging
Stephane Glondu [Tue, 21 Dec 2021 13:06:03 +0000 (14:06 +0100)]
Renumber patches
Stephane Glondu [Tue, 21 Dec 2021 13:03:33 +0000 (14:03 +0100)]
Refresh patches
Stephane Glondu [Tue, 21 Dec 2021 12:50:45 +0000 (13:50 +0100)]
New upstream release
Stephane Glondu [Tue, 21 Dec 2021 12:50:31 +0000 (13:50 +0100)]
Update upstream source from tag 'upstream/4.13.1'
Update to upstream version '4.13.1'
with Debian dir
0aa2aaf66af0c5d08c2f36ad4762fecd282f7926
Stephane Glondu [Tue, 21 Dec 2021 12:50:00 +0000 (13:50 +0100)]
New upstream version 4.13.1
Stephane Glondu [Tue, 21 Dec 2021 12:49:01 +0000 (13:49 +0100)]
New upstream version 4.13.0
Stephane Glondu [Tue, 21 Dec 2021 12:48:26 +0000 (13:48 +0100)]
New upstream version 4.12.1
Stephane Glondu [Tue, 21 Dec 2021 12:47:45 +0000 (13:47 +0100)]
New upstream version 4.12.0
Stephane Glondu [Tue, 21 Dec 2021 12:47:11 +0000 (13:47 +0100)]
New upstream version 4.11.2
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches
Stephane Glondu [Thu, 25 Nov 2021 14:40:10 +0000 (15:40 +0100)]
Update changelog and prepare upload to unstable
Stephane Glondu [Thu, 25 Nov 2021 14:35:53 +0000 (15:35 +0100)]
Bump Standards-Version to 4.6.0
Stephane Glondu [Thu, 25 Nov 2021 14:34:21 +0000 (15:34 +0100)]
Update debian/watch
Stephane Glondu [Thu, 25 Nov 2021 14:08:33 +0000 (15:08 +0100)]
Do not error on warnings in autoconf (Closes: #978875)
Stéphane Glondu [Thu, 25 Nov 2021 14:37:06 +0000 (14:37 +0000)]
Merge branch 'lintian-fixes' into 'debian/sid'
Fix some issues reported by lintian
See merge request ocaml-team/ocaml!2
Debian Janitor [Wed, 16 Jun 2021 01:36:42 +0000 (01:36 +0000)]
Fix day-of-week for changelog entries 3.00-4, 2.01-5, 2.01-1.
Changes-By: lintian-brush
Fixes: lintian: debian-changelog-has-wrong-day-of-week
See-also: https://lintian.debian.org/tags/debian-changelog-has-wrong-day-of-week.html
Debian Janitor [Wed, 16 Jun 2021 01:36:25 +0000 (01:36 +0000)]
Set field Upstream-Name in debian/copyright.
Changes-By: lintian-brush
Debian Janitor [Wed, 16 Jun 2021 01:36:16 +0000 (01:36 +0000)]
Use secure URI in debian/watch.
Changes-By: lintian-brush
Stephane Glondu [Fri, 30 Oct 2020 07:38:50 +0000 (08:38 +0100)]
Make sure ocaml pulls ocaml-nox as well. (Closes: #973039)
Stephane Glondu [Mon, 12 Oct 2020 14:56:50 +0000 (16:56 +0200)]
Prepare upload to unstable
Stephane Glondu [Sat, 5 Sep 2020 08:20:14 +0000 (10:20 +0200)]
Disable some tests that fail on Hurd
Stephane Glondu [Fri, 4 Sep 2020 13:31:48 +0000 (15:31 +0200)]
Prepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 13:31:05 +0000 (15:31 +0200)]
Call ./configure with --disable-native-compiler on bytecode
Stephane Glondu [Fri, 4 Sep 2020 06:33:30 +0000 (08:33 +0200)]
Prepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 06:32:21 +0000 (08:32 +0200)]
Update changelog
Stephane Glondu [Fri, 4 Sep 2020 03:57:11 +0000 (05:57 +0200)]
Re-enable most of tool-debugger tests
Stephane Glondu [Fri, 4 Sep 2020 04:24:26 +0000 (06:24 +0200)]
Fix static linking of lib{bfd,iberty}
Stephane Glondu [Fri, 4 Sep 2020 04:01:43 +0000 (06:01 +0200)]
Add riscv64 to native-archs
Stephane Glondu [Thu, 3 Sep 2020 14:24:19 +0000 (16:24 +0200)]
Re-enable testpreempt test for now
Stephane Glondu [Thu, 3 Sep 2020 14:18:31 +0000 (16:18 +0200)]
Update packaging
Stephane Glondu [Thu, 3 Sep 2020 13:21:10 +0000 (15:21 +0200)]
Trigger -output-complete-exe on -custom with an environment variable
Stephane Glondu [Thu, 3 Sep 2020 13:10:30 +0000 (15:10 +0200)]
Renumber patches
Stephane Glondu [Thu, 3 Sep 2020 13:06:02 +0000 (15:06 +0200)]
Refresh patches
* Avoid-duplicate-definitions-of-common-global-variabl: merged
upstream
* Reimplement-custom-without-hacks: removed for now; it will be
reimplemented with the new -output-complete-exe feature.
Stephane Glondu [Thu, 3 Sep 2020 12:53:20 +0000 (14:53 +0200)]
New upstream release
Stephane Glondu [Thu, 3 Sep 2020 12:53:05 +0000 (14:53 +0200)]
Update upstream source from tag 'upstream/4.11.1'
Update to upstream version '4.11.1'
with Debian dir
18488de9d93e9fc62d98bf0d65994acd4c1b76e6
Stephane Glondu [Thu, 3 Sep 2020 12:52:56 +0000 (14:52 +0200)]
New upstream version 4.11.1
Stephane Glondu [Thu, 3 Sep 2020 12:52:22 +0000 (14:52 +0200)]
New upstream version 4.11.0
Stephane Glondu [Thu, 3 Sep 2020 12:52:11 +0000 (14:52 +0200)]
New upstream version 4.10.1
Stephane Glondu [Thu, 3 Sep 2020 12:52:01 +0000 (14:52 +0200)]
New upstream version 4.10.0
Stephane Glondu [Thu, 3 Sep 2020 12:51:50 +0000 (14:51 +0200)]
New upstream version 4.09.1
Stephane Glondu [Thu, 3 Sep 2020 12:51:38 +0000 (14:51 +0200)]
New upstream version 4.09.0
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches
Stephane Glondu [Thu, 30 Jul 2020 12:45:52 +0000 (14:45 +0200)]
Prepare upload to unstable
Stephane Glondu [Wed, 29 Jul 2020 14:24:17 +0000 (16:24 +0200)]
Update changelog
Stephane Glondu [Thu, 30 Jul 2020 09:24:08 +0000 (11:24 +0200)]
Disable DT_TEXTREL warnings on i386
Stephane Glondu [Thu, 30 Jul 2020 09:23:56 +0000 (11:23 +0200)]
Revert "Disable PIE on Debian Linux i386"
This reverts commit
631ee1abf69f76cd8ce8c5205537dc1cb7043fd5.
Stephane Glondu [Wed, 29 Jul 2020 14:23:47 +0000 (16:23 +0200)]
Disable PIE on Debian Linux i386
Stephane Glondu [Thu, 30 Jul 2020 09:30:33 +0000 (11:30 +0200)]
Unconditionally disable testpreempt test
Stephane Glondu [Fri, 24 Jul 2020 14:51:10 +0000 (16:51 +0200)]
Prepare upload to unstable
Stephane Glondu [Fri, 24 Jul 2020 14:21:20 +0000 (16:21 +0200)]
Update changelog
Stephane Glondu [Fri, 24 Jul 2020 14:47:44 +0000 (16:47 +0200)]
Update Lintian overrides
projects / ocaml.git / log