Julien Cristau [Tue, 19 May 2009 15:24:52 +0000 (17:24 +0200)]
Put manpages in section 3o instead of 3
Gbp-Pq: Name 0004-Put-manpages-in-section-3o-instead-of-3.patch
Stefano Zacchiroli [Tue, 19 May 2009 15:24:14 +0000 (17:24 +0200)]
Don't use rpath
Gbp-Pq: Name 0003-Don-t-use-rpath.patch
Stephane Glondu [Fri, 8 Nov 2019 10:43:41 +0000 (11:43 +0100)]
Update changelog and prepare upload to unstable
Stephane Glondu [Fri, 8 Nov 2019 10:42:46 +0000 (11:42 +0100)]
Install seq compatibility package
Stephane Glondu [Fri, 8 Nov 2019 10:39:00 +0000 (11:39 +0100)]
ocaml-base-nox Breaks/Replaces also ocaml-nox (Closes: #944126)
Stephane Glondu [Wed, 6 Nov 2019 10:00:42 +0000 (11:00 +0100)]
Update changelog and prepare upload to unstable
Stephane Glondu [Wed, 6 Nov 2019 10:10:06 +0000 (11:10 +0100)]
Add relationship for ocaml-nox overwriting ocaml-base-nox (Closes: #944126)
..and clean up obsolete Breaks/Replaces.
Stephane Glondu [Wed, 6 Nov 2019 09:55:55 +0000 (10:55 +0100)]
Do no longer install ocaml-native-compilers.conf
ocaml{dep,c,...} are now symlinks to the "best" versions.
Stephane Glondu [Mon, 4 Nov 2019 12:44:22 +0000 (13:44 +0100)]
Prepare upload to unstable
Stephane Glondu [Mon, 4 Nov 2019 09:46:17 +0000 (10:46 +0100)]
Update changelog
Stephane Glondu [Mon, 4 Nov 2019 09:42:36 +0000 (10:42 +0100)]
Disable failing tests on hurd
Stephane Glondu [Mon, 4 Nov 2019 09:34:51 +0000 (10:34 +0100)]
ocaml-nox do no longer provide num
Stephane Glondu [Mon, 4 Nov 2019 09:29:07 +0000 (10:29 +0100)]
Switch experimental branches to sid
Stephane Glondu [Mon, 4 Nov 2019 09:25:39 +0000 (10:25 +0100)]
Merge branch 'debian/experimental' into debian/sid
Stephane Glondu [Mon, 30 Sep 2019 14:57:00 +0000 (16:57 +0200)]
Avoid leaving an empty file after patch
Stephane Glondu [Mon, 30 Sep 2019 14:40:57 +0000 (16:40 +0200)]
Prepare upload to experimental
Stephane Glondu [Mon, 30 Sep 2019 13:47:03 +0000 (15:47 +0200)]
Refresh patches
Stephane Glondu [Mon, 30 Sep 2019 13:40:20 +0000 (15:40 +0200)]
Update changelog
Stephane Glondu [Mon, 30 Sep 2019 14:05:20 +0000 (16:05 +0200)]
Update OCAML_ABI
Stephane Glondu [Mon, 30 Sep 2019 13:38:38 +0000 (15:38 +0200)]
Update upstream source from tag 'upstream/4.08.1'
Update to upstream version '4.08.1'
with Debian dir
d8f1f22ce576a72aa7e4231b5247bca8a01f660d
Stephane Glondu [Mon, 30 Sep 2019 13:38:28 +0000 (15:38 +0200)]
New upstream version 4.08.1
Stephane Glondu [Mon, 30 Sep 2019 13:35:53 +0000 (15:35 +0200)]
Update debian/control.in
Stephane Glondu [Mon, 30 Sep 2019 13:35:24 +0000 (15:35 +0200)]
Build-depend on debhelper-compat
Stephane Glondu [Sat, 24 Aug 2019 05:04:44 +0000 (07:04 +0200)]
Remove quilt from Build-Depends
Stephane Glondu [Sun, 18 Aug 2019 06:30:05 +0000 (08:30 +0200)]
Explicit dependencies of static -lbfd
Stephane Glondu [Sun, 18 Aug 2019 06:07:27 +0000 (08:07 +0200)]
Update changelog
Stephane Glondu [Sun, 18 Aug 2019 06:06:20 +0000 (08:06 +0200)]
Reimplement -custom without hacks
Stephane Glondu [Sat, 17 Aug 2019 15:12:54 +0000 (17:12 +0200)]
Update changelog
Stephane Glondu [Sat, 17 Aug 2019 14:55:25 +0000 (16:55 +0200)]
Disable testpreempt on kfreebsd for now
Stephane Glondu [Sat, 17 Aug 2019 14:45:04 +0000 (16:45 +0200)]
Add Breaks/Replaces: ocaml-base to ocaml-base-nox (Closes: #933792)
Stephane Glondu [Sat, 17 Aug 2019 14:44:19 +0000 (16:44 +0200)]
Put VERSION in ocaml-base-nox
Stephane Glondu [Sat, 17 Aug 2019 14:38:18 +0000 (16:38 +0200)]
Statically link -lbfd to avoid a tight dep with libbinutils
Stephane Glondu [Tue, 6 Aug 2019 07:31:06 +0000 (09:31 +0200)]
Remove debian/source/local-options
Stephane Glondu [Tue, 6 Aug 2019 07:27:28 +0000 (09:27 +0200)]
Update changelog and prepare upload to unstable
Stephane Glondu [Tue, 6 Aug 2019 07:25:52 +0000 (09:25 +0200)]
Provide libnum-ocaml{,-dev}
Stephane Glondu [Wed, 31 Jul 2019 06:13:44 +0000 (08:13 +0200)]
Document forwarded patch
Stephane Glondu [Tue, 30 Jul 2019 11:27:22 +0000 (13:27 +0200)]
Prepare upload to experimental
Stephane Glondu [Thu, 25 Jul 2019 06:30:32 +0000 (08:30 +0200)]
Update changelog
Stephane Glondu [Tue, 30 Jul 2019 11:09:51 +0000 (13:09 +0200)]
Document forwarded patches
Stephane Glondu [Mon, 29 Jul 2019 10:50:07 +0000 (12:50 +0200)]
Tune testpreempt test to make it work on kfreebsd
Stephane Glondu [Tue, 30 Jul 2019 11:12:46 +0000 (13:12 +0200)]
Disable native compiler on powerpc
Stephane Glondu [Wed, 24 Jul 2019 11:18:15 +0000 (13:18 +0200)]
Disable native compiler on x32
Stephane Glondu [Wed, 24 Jul 2019 09:04:06 +0000 (11:04 +0200)]
Fix discrepancy in upstream sources reported by dgit
Stephane Glondu [Wed, 24 Jul 2019 08:53:57 +0000 (10:53 +0200)]
Prepare upload to experimental
Stephane Glondu [Mon, 22 Jul 2019 08:16:48 +0000 (10:16 +0200)]
Update changelog
Stephane Glondu [Wed, 24 Jul 2019 08:30:06 +0000 (10:30 +0200)]
Remove Samuel from Uploaders
Stephane Glondu [Wed, 24 Jul 2019 08:29:49 +0000 (10:29 +0200)]
Bump Standards-Version to 4.4.0
Stephane Glondu [Wed, 24 Jul 2019 08:06:13 +0000 (10:06 +0200)]
Fix spelling errors reported by Lintian
Stephane Glondu [Wed, 24 Jul 2019 07:57:00 +0000 (09:57 +0200)]
Add more Lintian overrides
Stephane Glondu [Wed, 24 Jul 2019 07:37:47 +0000 (09:37 +0200)]
Remove debian/source/local-options
Stephane Glondu [Wed, 24 Jul 2019 07:29:30 +0000 (09:29 +0200)]
Add support for Debian's armhf in configure.ac
Stephane Glondu [Wed, 24 Jul 2019 07:16:33 +0000 (09:16 +0200)]
Add x32 to native architectures
Stephane Glondu [Wed, 24 Jul 2019 07:09:33 +0000 (09:09 +0200)]
Check for definition of AT_SECURE before using it
Stephane Glondu [Wed, 24 Jul 2019 07:03:42 +0000 (09:03 +0200)]
Properly disable almabench test on slow architectures
Stephane Glondu [Mon, 22 Jul 2019 11:32:08 +0000 (13:32 +0200)]
Use CCLINKFLAGS for linking all executables and shared libraries
Stephane Glondu [Fri, 19 Jul 2019 15:30:04 +0000 (17:30 +0200)]
Build with BUILD_PATH_PREFIX_MAP set
... to avoid Lintian's file-references-package-build-path
Stephane Glondu [Thu, 11 Jul 2019 12:20:04 +0000 (14:20 +0200)]
Prepare upload to experimental
Stephane Glondu [Thu, 11 Jul 2019 12:01:14 +0000 (14:01 +0200)]
Update changelog
Stephane Glondu [Thu, 11 Jul 2019 12:17:35 +0000 (14:17 +0200)]
Remove useless build-dependency
Stephane Glondu [Thu, 11 Jul 2019 12:08:14 +0000 (14:08 +0200)]
Update debian/copyright
Stephane Glondu [Thu, 11 Jul 2019 11:22:04 +0000 (13:22 +0200)]
Fix disabling sockets test
Stephane Glondu [Thu, 11 Jul 2019 11:47:59 +0000 (13:47 +0200)]
Synchronize generated files
Stephane Glondu [Thu, 11 Jul 2019 11:40:58 +0000 (13:40 +0200)]
Fix broken doc symlinks (Closes: #877267)
Stephane Glondu [Thu, 11 Jul 2019 11:18:29 +0000 (13:18 +0200)]
Update debian/clean
Stephane Glondu [Thu, 11 Jul 2019 11:02:45 +0000 (13:02 +0200)]
Disable dh_dwz for now
Stephane Glondu [Thu, 11 Jul 2019 09:42:21 +0000 (11:42 +0200)]
Bump debhelper compat to 12
Stephane Glondu [Thu, 11 Jul 2019 05:56:27 +0000 (07:56 +0200)]
Fix file dispatch and add binary package ocaml-man
Stephane Glondu [Thu, 11 Jul 2019 10:44:25 +0000 (12:44 +0200)]
Remove references to no-longer-shipped examples
Stephane Glondu [Thu, 11 Jul 2019 09:40:31 +0000 (11:40 +0200)]
Remove useless *.dirs* files
Stephane Glondu [Thu, 11 Jul 2019 09:25:22 +0000 (11:25 +0200)]
ocaml-mode is now an independent project
Stephane Glondu [Wed, 10 Jul 2019 14:45:11 +0000 (16:45 +0200)]
Fix in configure.am
Stephane Glondu [Wed, 10 Jul 2019 13:45:30 +0000 (15:45 +0200)]
Start updating packaging (not finished!)
Stephane Glondu [Wed, 10 Jul 2019 13:32:42 +0000 (15:32 +0200)]
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)
Stephane Glondu [Wed, 10 Jul 2019 12:57:53 +0000 (14:57 +0200)]
New upstream release
Stephane Glondu [Wed, 10 Jul 2019 12:50:53 +0000 (14:50 +0200)]
Update upstream source from tag 'upstream/4.08.0'
Update to upstream version '4.08.0'
with Debian dir
5262782490e5aa1c3027dcc0dfb420ea7c233db0
Stephane Glondu [Wed, 10 Jul 2019 12:50:44 +0000 (14:50 +0200)]
New upstream version 4.08.0
Stephane Glondu [Wed, 10 Jul 2019 12:50:03 +0000 (14:50 +0200)]
New upstream version 4.07.1
Stephane Glondu [Wed, 10 Jul 2019 12:49:53 +0000 (14:49 +0200)]
New upstream version 4.07.0
Stephane Glondu [Wed, 10 Jul 2019 12:49:44 +0000 (14:49 +0200)]
New upstream version 4.06.1
Stephane Glondu [Wed, 10 Jul 2019 12:49:34 +0000 (14:49 +0200)]
New upstream version 4.06.0
Stephane Glondu [Fri, 25 Jan 2019 13:03:50 +0000 (14:03 +0100)]
Update changelog and prepare upload to unstable
Stephane Glondu [Fri, 25 Jan 2019 13:57:38 +0000 (14:57 +0100)]
Delete trailing whitespaces in debian/changelog
Stephane Glondu [Fri, 25 Jan 2019 13:56:59 +0000 (14:56 +0100)]
Update Vcs-* to point to salsa
Stephane Glondu [Fri, 25 Jan 2019 13:36:36 +0000 (14:36 +0100)]
Use caml_ba_multov instead of caml_umul_overflow
Stephane Glondu [Fri, 25 Jan 2019 13:01:58 +0000 (14:01 +0100)]
Fix integer overflows when unmarshaling a bigarray
(Closes: #895472, CVE-2018-9838)
Stephane Glondu [Fri, 25 Jan 2019 12:51:28 +0000 (13:51 +0100)]
Refresh patches
Ralf Treinen [Wed, 18 Apr 2018 20:40:28 +0000 (22:40 +0200)]
dropped recommends camlp4
Ximin Luo [Wed, 4 Oct 2017 12:16:08 +0000 (14:16 +0200)]
Merge branch 'debian/sid' into debian/experimental
Ximin Luo [Wed, 4 Oct 2017 12:14:42 +0000 (14:14 +0200)]
Release 4.05.0-10 to Debian unstable.
Ximin Luo [Wed, 4 Oct 2017 12:11:38 +0000 (14:11 +0200)]
Update gbp.conf for sid branches
Ximin Luo [Tue, 3 Oct 2017 21:35:14 +0000 (23:35 +0200)]
Replace the ARM PIC patch with one from upstream
Ximin Luo [Tue, 3 Oct 2017 19:44:19 +0000 (21:44 +0200)]
Drop support for ocamlopt on armel as suggested by upstream
Ximin Luo [Fri, 15 Sep 2017 16:41:22 +0000 (18:41 +0200)]
Release 4.05.0-9 to Debian unstable.
Ximin Luo [Thu, 14 Sep 2017 10:02:42 +0000 (12:02 +0200)]
Release 4.05.0-8 to Debian experimental
Ximin Luo [Thu, 14 Sep 2017 10:01:59 +0000 (12:01 +0200)]
Replace arm64 patch with one applied upstream
Ximin Luo [Wed, 16 Aug 2017 12:10:43 +0000 (14:10 +0200)]
Mark old bugs as closed
Pino Toscano [Sun, 13 Aug 2017 10:35:55 +0000 (12:35 +0200)]
Convert the menu file to a desktop file
Ximin Luo [Wed, 9 Aug 2017 13:01:58 +0000 (15:01 +0200)]
Update d/changelog
Ximin Luo [Wed, 9 Aug 2017 12:58:48 +0000 (14:58 +0200)]
Merge branch 'debian/sid' into debian/experimental
Ximin Luo [Wed, 9 Aug 2017 12:53:09 +0000 (14:53 +0200)]
Add .gitattributes for easy changelog merging
projects / ocaml.git / log