ocaml.git
10 years agoEnable ocamldoc to build reproducible manpages (Closes: #794586)
Stephane Glondu [Thu, 13 Aug 2015 11:19:55 +0000 (13:19 +0200)]
Enable ocamldoc to build reproducible manpages (Closes: #794586)

Patch by Valentin Lorentz.

10 years agoReproducible ocaml-source package (Closes: #779086)
Stephane Glondu [Wed, 12 Aug 2015 12:11:12 +0000 (14:11 +0200)]
Reproducible ocaml-source package (Closes: #779086)

Patch from Chris Lamb.

10 years agoCope with installation of *.cmt and *.cmti files
Stephane Glondu [Mon, 10 Aug 2015 13:54:24 +0000 (15:54 +0200)]
Cope with installation of *.cmt and *.cmti files

10 years agoUpdate ABI
Stephane Glondu [Mon, 10 Aug 2015 09:24:17 +0000 (11:24 +0200)]
Update ABI

10 years agoNew upstream release
Stephane Glondu [Mon, 10 Aug 2015 09:17:38 +0000 (11:17 +0200)]
New upstream release

10 years agoMerge tag 'upstream/4.02.3' into experimental/master
Stephane Glondu [Mon, 10 Aug 2015 09:13:35 +0000 (11:13 +0200)]
Merge tag 'upstream/4.02.3' into experimental/master

Upstream version 4.02.3

10 years agoImported Upstream version 4.02.3
Stephane Glondu [Mon, 10 Aug 2015 09:13:22 +0000 (11:13 +0200)]
Imported Upstream version 4.02.3

10 years agoRefresh patches
Stephane Glondu [Mon, 10 Aug 2015 08:53:32 +0000 (10:53 +0200)]
Refresh patches

10 years agoMore flexible upstream tarball
Stephane Glondu [Fri, 19 Jun 2015 16:01:57 +0000 (18:01 +0200)]
More flexible upstream tarball

10 years agoUpdate ABI
Stephane Glondu [Fri, 19 Jun 2015 16:00:58 +0000 (18:00 +0200)]
Update ABI

10 years agoNew upstream release
Stephane Glondu [Fri, 19 Jun 2015 15:59:51 +0000 (17:59 +0200)]
New upstream release

10 years agoMerge tag 'upstream/4.02.2' into experimental/master
Stephane Glondu [Fri, 19 Jun 2015 15:59:21 +0000 (17:59 +0200)]
Merge tag 'upstream/4.02.2' into experimental/master

Upstream version 4.02.2

10 years agoImported Upstream version 4.02.2
Stephane Glondu [Fri, 19 Jun 2015 15:59:12 +0000 (17:59 +0200)]
Imported Upstream version 4.02.2

10 years agoNew installed files
Stephane Glondu [Fri, 12 Jun 2015 14:49:51 +0000 (16:49 +0200)]
New installed files

10 years agoUpstream tarball is .gz
Stephane Glondu [Fri, 12 Jun 2015 14:37:53 +0000 (16:37 +0200)]
Upstream tarball is .gz

10 years agoRe-enable tests that have been fixed upstream
Stephane Glondu [Fri, 12 Jun 2015 14:29:34 +0000 (16:29 +0200)]
Re-enable tests that have been fixed upstream

10 years agoUpdate ABI
Stephane Glondu [Fri, 12 Jun 2015 14:27:42 +0000 (16:27 +0200)]
Update ABI

10 years agoRefresh patches
Stephane Glondu [Fri, 12 Jun 2015 14:25:25 +0000 (16:25 +0200)]
Refresh patches

10 years agoNew upstream release candidate
Stephane Glondu [Fri, 12 Jun 2015 14:24:20 +0000 (16:24 +0200)]
New upstream release candidate

10 years agoMerge tag 'upstream/4.02.2_rc1' into experimental/master
Stephane Glondu [Fri, 12 Jun 2015 14:23:55 +0000 (16:23 +0200)]
Merge tag 'upstream/4.02.2_rc1' into experimental/master

Upstream version 4.02.2~rc1

10 years agoImported Upstream version 4.02.2~rc1
Stephane Glondu [Fri, 12 Jun 2015 14:23:52 +0000 (16:23 +0200)]
Imported Upstream version 4.02.2~rc1

10 years agoPrepare upload to experimental
Stephane Glondu [Mon, 16 Feb 2015 10:14:11 +0000 (11:14 +0100)]
Prepare upload to experimental

10 years agoUpdate control.in
Stephane Glondu [Mon, 16 Feb 2015 10:37:29 +0000 (11:37 +0100)]
Update control.in

10 years agoRemove traces of camlp4
Stephane Glondu [Mon, 16 Feb 2015 10:36:40 +0000 (11:36 +0100)]
Remove traces of camlp4

10 years agoUpdate changelog
Stephane Glondu [Thu, 20 Nov 2014 15:49:45 +0000 (16:49 +0100)]
Update changelog

10 years agoDisable faulty test case
Stephane Glondu [Mon, 16 Feb 2015 09:07:02 +0000 (10:07 +0100)]
Disable faulty test case

11 years agoFix asmcomp tests on sparc
Stephane Glondu [Thu, 20 Nov 2014 15:49:14 +0000 (16:49 +0100)]
Fix asmcomp tests on sparc

11 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Wed, 19 Nov 2014 05:57:13 +0000 (06:57 +0100)]
Update changelog and prepare upload to experimental

11 years agoAdd arm64 to natdynlink-archs as well
Stephane Glondu [Wed, 19 Nov 2014 06:07:21 +0000 (07:07 +0100)]
Add arm64 to natdynlink-archs as well

11 years agoMerge tag 'debian/4.01.0-5' into experimental/master
Stephane Glondu [Thu, 30 Oct 2014 10:07:50 +0000 (11:07 +0100)]
Merge tag 'debian/4.01.0-5' into experimental/master

ocaml Debian release 4.01.0-5

Conflicts:
debian/changelog

11 years agoPrepare upload to unstable
Stephane Glondu [Thu, 30 Oct 2014 08:28:16 +0000 (09:28 +0100)]
Prepare upload to unstable

11 years agoAdd missing comma
Stephane Glondu [Thu, 30 Oct 2014 09:06:42 +0000 (10:06 +0100)]
Add missing comma

11 years agoUpdate changelog
Stephane Glondu [Tue, 28 Oct 2014 08:45:28 +0000 (09:45 +0100)]
Update changelog

11 years agoAdd arm64 to native architectures
Stephane Glondu [Tue, 28 Oct 2014 08:43:55 +0000 (09:43 +0100)]
Add arm64 to native architectures

11 years agoDisable faulty test cases
Stephane Glondu [Tue, 28 Oct 2014 08:43:15 +0000 (09:43 +0100)]
Disable faulty test cases

11 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Tue, 21 Oct 2014 15:31:56 +0000 (17:31 +0200)]
Update changelog and prepare upload to experimental

11 years agoDisable failing tests for now
Stephane Glondu [Tue, 21 Oct 2014 13:03:06 +0000 (15:03 +0200)]
Disable failing tests for now

11 years agoUpdate packaging
Stephane Glondu [Tue, 21 Oct 2014 10:04:53 +0000 (12:04 +0200)]
Update packaging

11 years agoRemove references to camlp4 (now distributed separately)
Stephane Glondu [Tue, 21 Oct 2014 13:36:44 +0000 (15:36 +0200)]
Remove references to camlp4 (now distributed separately)

11 years agoRemove references to labltk (now distributed separately)
Stephane Glondu [Tue, 21 Oct 2014 10:14:13 +0000 (12:14 +0200)]
Remove references to labltk (now distributed separately)

11 years agoUpdate ABI
Stephane Glondu [Tue, 21 Oct 2014 10:02:27 +0000 (12:02 +0200)]
Update ABI

11 years agoRefresh patches
Stephane Glondu [Tue, 21 Oct 2014 09:55:24 +0000 (11:55 +0200)]
Refresh patches

11 years agoNew upstream release
Stephane Glondu [Tue, 21 Oct 2014 09:41:24 +0000 (11:41 +0200)]
New upstream release

11 years agoMerge tag 'upstream/4.02.1' into experimental/master
Stephane Glondu [Tue, 21 Oct 2014 09:41:03 +0000 (11:41 +0200)]
Merge tag 'upstream/4.02.1' into experimental/master

Upstream version 4.02.1

11 years agoUse experimental branches
Stephane Glondu [Tue, 21 Oct 2014 09:37:07 +0000 (11:37 +0200)]
Use experimental branches

11 years agoImported Upstream version 4.02.1
Stephane Glondu [Tue, 21 Oct 2014 09:38:39 +0000 (11:38 +0200)]
Imported Upstream version 4.02.1

11 years agoImported Upstream version 4.02.0
Stephane Glondu [Tue, 21 Oct 2014 09:38:19 +0000 (11:38 +0200)]
Imported Upstream version 4.02.0

11 years agoUpdate debian/watch
Stephane Glondu [Tue, 21 Oct 2014 09:34:50 +0000 (11:34 +0200)]
Update debian/watch

11 years agoocaml-mode : dep on emacsen-common, add emacs compat level
Ralf Treinen [Thu, 10 Jul 2014 18:09:26 +0000 (20:09 +0200)]
ocaml-mode : dep on emacsen-common, add emacs compat level

11 years agochange dependency of ocaml-mode on emacs23 to emacs
Ralf Treinen [Thu, 10 Jul 2014 17:55:17 +0000 (19:55 +0200)]
change dependency of ocaml-mode on emacs23 to emacs

11 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Sat, 17 May 2014 13:26:18 +0000 (15:26 +0200)]
Update changelog and prepare upload to unstable

11 years agoDisable the testsocket test, it tries to reach the net (Closes: #732951)
Matthias Klose [Thu, 26 Dec 2013 21:12:28 +0000 (22:12 +0100)]
Disable the testsocket test, it tries to reach the net (Closes: #732951)

11 years agoFix lost locations in out-of-bounds exceptions
Stephane Glondu [Thu, 26 Dec 2013 20:59:07 +0000 (21:59 +0100)]
Fix lost locations in out-of-bounds exceptions

12 years agoMake "ocamlopt -g" more resistant to ill-formed locations
Stephane Glondu [Thu, 12 Dec 2013 14:34:28 +0000 (15:34 +0100)]
Make "ocamlopt -g" more resistant to ill-formed locations

12 years agoNOT RELEASED YET
Stephane Glondu [Thu, 12 Dec 2013 14:32:26 +0000 (15:32 +0100)]
NOT RELEASED YET

12 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Mon, 2 Dec 2013 17:36:05 +0000 (18:36 +0100)]
Update changelog and prepare upload to unstable

12 years agoPrepare merge with master branch
Stephane Glondu [Mon, 2 Dec 2013 17:33:44 +0000 (18:33 +0100)]
Prepare merge with master branch

12 years agoAdd libiberty-dev to Build-Depends (Closes: #731047)
Stephane Glondu [Mon, 2 Dec 2013 17:32:34 +0000 (18:32 +0100)]
Add libiberty-dev to Build-Depends (Closes: #731047)

12 years agoDisable native backtraces on powerpcspe too
Stephane Glondu [Mon, 2 Dec 2013 17:30:05 +0000 (18:30 +0100)]
Disable native backtraces on powerpcspe too

12 years agoUpdate SLOW_ARCHITECTURES and remove almabench test there
Stephane Glondu [Mon, 2 Dec 2013 17:26:34 +0000 (18:26 +0100)]
Update SLOW_ARCHITECTURES and remove almabench test there

12 years agoFix native backtraces on arm*
Stephane Glondu [Wed, 13 Nov 2013 13:29:30 +0000 (14:29 +0100)]
Fix native backtraces on arm*

12 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Sat, 9 Nov 2013 06:57:42 +0000 (07:57 +0100)]
Update changelog and prepare upload to experimental

12 years agoNative backtraces don't work on powerpc, sparc and arm*
Stephane Glondu [Sat, 9 Nov 2013 06:56:39 +0000 (07:56 +0100)]
Native backtraces don't work on powerpc, sparc and arm*

12 years agoUpdate changelog
Stephane Glondu [Fri, 8 Nov 2013 15:44:07 +0000 (16:44 +0100)]
Update changelog

12 years agoTune resource usage of some tests
Stephane Glondu [Fri, 8 Nov 2013 21:29:51 +0000 (22:29 +0100)]
Tune resource usage of some tests

12 years agoFix ocamlopt on sparc
Stephane Glondu [Fri, 8 Nov 2013 14:04:09 +0000 (15:04 +0100)]
Fix ocamlopt on sparc

12 years agoAdd links to upstream bug reports
Stephane Glondu [Fri, 8 Nov 2013 15:03:34 +0000 (16:03 +0100)]
Add links to upstream bug reports

12 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Fri, 8 Nov 2013 08:23:37 +0000 (09:23 +0100)]
Update changelog and prepare upload to experimental

12 years agoUpdate debian/control.in
Stephane Glondu [Fri, 8 Nov 2013 08:44:47 +0000 (09:44 +0100)]
Update debian/control.in

12 years agoUse unversioned Tcl/Tk dependencies
Stephane Glondu [Fri, 8 Nov 2013 08:39:44 +0000 (09:39 +0100)]
Use unversioned Tcl/Tk dependencies

12 years agoEnable mkstemp in yacc
Stephane Glondu [Thu, 7 Nov 2013 15:09:38 +0000 (16:09 +0100)]
Enable mkstemp in yacc

12 years agoAdd const qualifiers in Tcl/Tk bindings
Stephane Glondu [Thu, 7 Nov 2013 15:09:23 +0000 (16:09 +0100)]
Add const qualifiers in Tcl/Tk bindings

12 years agoRemove testsuite special casing for now
Stephane Glondu [Mon, 21 Oct 2013 14:57:01 +0000 (16:57 +0200)]
Remove testsuite special casing for now

12 years agoFix upstream typos and bad wordings
Stephane Glondu [Mon, 21 Oct 2013 14:34:24 +0000 (16:34 +0200)]
Fix upstream typos and bad wordings

12 years agoMore tests need upstream behaviour of -custom
Stephane Glondu [Mon, 21 Oct 2013 13:53:53 +0000 (15:53 +0200)]
More tests need upstream behaviour of -custom

12 years agoRefresh patches
Stephane Glondu [Thu, 17 Oct 2013 09:43:54 +0000 (11:43 +0200)]
Refresh patches

12 years agoUpdate ABI
Stephane Glondu [Thu, 17 Oct 2013 09:41:29 +0000 (11:41 +0200)]
Update ABI

12 years agoNew upstream release
Stephane Glondu [Thu, 17 Oct 2013 09:40:54 +0000 (11:40 +0200)]
New upstream release

12 years agoMerge tag 'upstream/4.01.0' into experimental/master
Stephane Glondu [Thu, 17 Oct 2013 09:40:06 +0000 (11:40 +0200)]
Merge tag 'upstream/4.01.0' into experimental/master

Upstream version 4.01.0

12 years agoImported Upstream version 4.01.0
Stephane Glondu [Thu, 17 Oct 2013 09:40:02 +0000 (11:40 +0200)]
Imported Upstream version 4.01.0

12 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Fri, 26 Jul 2013 04:17:37 +0000 (06:17 +0200)]
Update changelog and prepare upload to experimental

12 years agoUpdate Vcs-*
Stephane Glondu [Fri, 26 Jul 2013 04:16:36 +0000 (06:16 +0200)]
Update Vcs-*

12 years agoFix (arm) code generation bug with mod 1
Stephane Glondu [Fri, 26 Jul 2013 04:15:49 +0000 (06:15 +0200)]
Fix (arm) code generation bug with mod 1

13 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Wed, 14 Nov 2012 12:13:56 +0000 (13:13 +0100)]
Update changelog and prepare upload to experimental

13 years agoBump debhelper compat level to 9
Stephane Glondu [Wed, 14 Nov 2012 13:16:51 +0000 (14:16 +0100)]
Bump debhelper compat level to 9

13 years agoBump Standards-Version to 3.9.4 (no changes)
Stephane Glondu [Wed, 14 Nov 2012 12:26:06 +0000 (13:26 +0100)]
Bump Standards-Version to 3.9.4 (no changes)

13 years agoocaml-compiler-libs replaces/breaks ocaml-base-nox (Closes: #684031)
Stephane Glondu [Wed, 14 Nov 2012 12:18:51 +0000 (13:18 +0100)]
ocaml-compiler-libs replaces/breaks ocaml-base-nox (Closes: #684031)

13 years agoMerge branch 'master' into experimental/master
Stephane Glondu [Wed, 14 Nov 2012 12:10:43 +0000 (13:10 +0100)]
Merge branch 'master' into experimental/master

Conflicts:
debian/changelog
debian/rules

13 years agoUpdate ABI
Stephane Glondu [Wed, 14 Nov 2012 12:08:28 +0000 (13:08 +0100)]
Update ABI

13 years agoRefresh patches
Stephane Glondu [Wed, 14 Nov 2012 12:08:13 +0000 (13:08 +0100)]
Refresh patches

13 years agoNew upstream release
Stephane Glondu [Wed, 14 Nov 2012 12:07:31 +0000 (13:07 +0100)]
New upstream release

13 years agoMerge tag 'upstream/4.00.1' into experimental/master
Stephane Glondu [Wed, 14 Nov 2012 12:02:57 +0000 (13:02 +0100)]
Merge tag 'upstream/4.00.1' into experimental/master

Upstream version 4.00.1

13 years agoImported Upstream version 4.00.1
Stephane Glondu [Wed, 14 Nov 2012 12:02:46 +0000 (13:02 +0100)]
Imported Upstream version 4.00.1

13 years agoUse DEB_BUILD_GNU_TYPE instead of relying on "uname -m" (Closes: #689517). Thanks...
Mehdi Dogguy [Fri, 5 Oct 2012 13:04:23 +0000 (15:04 +0200)]
Use DEB_BUILD_GNU_TYPE instead of relying on "uname -m" (Closes: #689517). Thanks to Konstantinos Margaritis for the patch.

13 years agoRemove Sylvain Le Gall from uploaders
Sylvain Le Gall [Fri, 21 Sep 2012 01:20:17 +0000 (01:20 +0000)]
Remove Sylvain Le Gall from uploaders

13 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Fri, 27 Jul 2012 05:30:17 +0000 (07:30 +0200)]
Update changelog and prepare upload to experimental

13 years agoNew file in @OCamlStdlibDir@: topdirs.cmi
Stephane Glondu [Fri, 27 Jul 2012 06:32:22 +0000 (08:32 +0200)]
New file in @OCamlStdlibDir@: topdirs.cmi

13 years agoUpdate ABI
Stephane Glondu [Fri, 27 Jul 2012 05:27:58 +0000 (07:27 +0200)]
Update ABI

13 years agoNew upstream release
Stephane Glondu [Fri, 27 Jul 2012 05:26:32 +0000 (07:26 +0200)]
New upstream release

13 years agoMerge tag 'upstream/4.00.0' into experimental/master
Stephane Glondu [Fri, 27 Jul 2012 05:25:24 +0000 (07:25 +0200)]
Merge tag 'upstream/4.00.0' into experimental/master

Upstream version 4.00.0