The following commit has been merged in the master branch:
commit d8c1f8201c5686dad6e23de44aac56349d30910a
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 07:55:26 2013 +0200
Compile with OCaml = 4
diff --git a/debian/control b/debian/control
index 2f1a3ce..19b8922 100644
---
The following commit has been merged in the master branch:
commit 3ddc1fa52e12cda1b4bbaec9f75952ad1468dc3e
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 07:56:12 2013 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
The annotated tag, debian/0.8.4-3 has been created
at a18fad0e4879d858aa5801529337531ad54887bb (tag)
tagging 3ddc1fa52e12cda1b4bbaec9f75952ad1468dc3e (commit)
replaces debian/0.8.4-2
tagged by Stephane Glondu
on Thu Jul 25 08:06:32 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 631d95ef20020758f5611665819f7fc1445a003f
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 08:53:54 2013 +0200
Compile with OCaml = 4
diff --git a/debian/control b/debian/control
index 34b1b7d..dc2c6f3 100644
---
The annotated tag, debian/0.9.3-2 has been created
at a736120947150db367323abb27c7e4ea5362e797 (tag)
tagging bed482cd913f4d3a87539decca217cfdae1d3c8f (commit)
replaces debian/0.9.3-1
tagged by Stephane Glondu
on Thu Jul 25 08:55:57 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit bed482cd913f4d3a87539decca217cfdae1d3c8f
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 08:54:18 2013 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the experimental/master branch:
commit 262de0bc354af44a3583779d391b208f1ce4f789
Author: Lifeng Sun lifong...@gmail.com
Date: Thu Jul 25 18:39:11 2013 +0800
libounit-ocaml-dev: move ocaml-findlib from Depends to Suggests.
diff --git a/debian/control
The annotated tag, debian/1.1.2-3_exp1 has been created
at 91e1e57da9f75c7c18086d135e9fa263383bc666 (tag)
tagging 262de0bc354af44a3583779d391b208f1ce4f789 (commit)
replaces debian/1.1.2-2
tagged by Stephane Glondu
on Thu Jul 25 13:25:46 2013 +0200
- Shortlog
The following commit has been merged in the experimental/master branch:
commit f61a6949e6cb57578606e90f1536274641cf0ab5
Author: Lifeng Sun lifong...@gmail.com
Date: Thu Jul 25 19:43:33 2013 +0800
Update changelog and prepare upload to experimental.
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 2b746de9773d3ae87a8935a52263f5eb8541abb9
Author: Lifeng Sun lifong...@gmail.com
Date: Thu Jul 25 21:06:02 2013 +0800
Bump debhelper compat level to 9.
diff --git a/debian/clean b/debian/clean
deleted file mode 100755
index
The following commit has been merged in the master branch:
commit 8471c41d6a68b0fa5214630ffa1d108f265cb913
Author: Lifeng Sun lifong...@gmail.com
Date: Wed Jul 24 15:51:48 2013 +0800
debian/control: Canonical VCS-* fields.
diff --git a/debian/control b/debian/control
index 8b74491..cb20e83
The following commit has been merged in the master branch:
commit 862dc15d582cbecd01201f354a9692633f1e81d5
Author: Lifeng Sun lifong...@gmail.com
Date: Thu Jul 25 20:44:30 2013 +0800
Update debian/copyright.
diff --git a/debian/copyright b/debian/copyright
index 24a7467..0e67957 100644
---
The following commit has been merged in the master branch:
commit ce25b14597fda402533d4ec18fe89b654f100de4
Author: Lifeng Sun lifong...@gmail.com
Date: Thu Jul 25 20:47:12 2013 +0800
Compile with OCaml = 4.00.1.
diff --git a/debian/control b/debian/control
index cb20e83..da1b1c4 100644
---
The following commit has been merged in the master branch:
commit 354d2bfbdce77bcd39414db59c79a2dc0427bf71
Author: Lifeng Sun lifong...@gmail.com
Date: Thu Jul 25 21:11:59 2013 +0800
Update changelog and prepare upload to experimental.
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 785523ba548341ef31832e82142f5c619219d1eb
Author: Lifeng Sun lifong...@gmail.com
Date: Thu Jul 25 23:39:53 2013 +0800
Don't install *Props.* files.
diff --git a/debian/patches/0003-dont-install-Props-files.patch
The annotated tag, debian/109.30.00-1 has been created
at 192213c12d6bc7b779e149822bb0fbc7717dab27 (tag)
tagging 7d2dd14c52251415b4a4b9a4ca302c9b1b5d1241 (commit)
replaces debian/2.0.9-1
tagged by Stephane Glondu
on Thu Jul 25 20:43:19 2013 +0200
- Shortlog
The annotated tag, debian/2.16.0+dfsg-1_exp1 has been created
at 05442c59b769f8c3e82f48909c6556dd60c8685d (tag)
tagging 785523ba548341ef31832e82142f5c619219d1eb (commit)
replaces debian/2.14.2+dfsg-3
tagged by Stephane Glondu
on Thu Jul 25 20:55:42 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 6afaccec5704975701c93c67addb0b5f24a73724
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 07:50:12 2013 +0200
Compile with OCaml = 4
diff --git a/debian/control b/debian/control
index 05f732e..6399215 100644
---
The annotated tag, debian/2.1-1 has been created
at d4b246983a5bd8d4f6510ee91ffd6597a7edc577 (tag)
tagging c66a0c764ae3b2076ce29b72760dcaf4041f68f8 (commit)
replaces debian/2.0-1
tagged by Stephane Glondu
on Thu Jul 25 21:11:42 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit c66a0c764ae3b2076ce29b72760dcaf4041f68f8
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 07:50:36 2013 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 8ac8d7e74395dfad599d8493989bb28bea8fb75c
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:25:14 2013 +0200
Compile with OCaml = 4
diff --git a/debian/control b/debian/control
index 4b5b1b6..4416f62 100644
---
The following commit has been merged in the master branch:
commit 882c10b5c476b8a123780c3287499753b339caba
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:26:21 2013 +0200
Switch source package format to 3.0 (quilt)
diff --git a/debian/source/format b/debian/source/format
new
The annotated tag, debian/0.2.1-8 has been created
at 511cad9e08537fff064555ef9b2a869a535cbd3f (tag)
tagging 048f15a3289154bf650458346927d1f77b258522 (commit)
replaces debian/0.2.1-7
tagged by Stephane Glondu
on Thu Jul 25 21:30:33 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 35ce70fadf811e6df832422ae8e8edd100c9d698
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:32:24 2013 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 92abe5240538520787a5a77cdc457899c6f26a0f
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:32:10 2013 +0200
Compile with OCaml = 4
diff --git a/debian/control b/debian/control
index 449dc07..3b7e0fe 100644
---
The annotated tag, debian/1.7-2 has been created
at dea800e42bd08ee1ef6913d3f0dd58d000d32672 (tag)
tagging 35ce70fadf811e6df832422ae8e8edd100c9d698 (commit)
replaces debian/1.7-1
tagged by Stephane Glondu
on Thu Jul 25 21:34:20 2013 +0200
- Shortlog
The annotated tag, debian/1.05-2 has been created
at 8fc8756ea29364171366b70f0a9bfc151d1793d1 (tag)
tagging 9b7dbb8a687349ebf152171cdc51dd26d80b5029 (commit)
replaces debian/1.05-1
tagged by Stephane Glondu
on Thu Jul 25 21:38:31 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 9b7dbb8a687349ebf152171cdc51dd26d80b5029
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:36:30 2013 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 34e7ab92ce4309e254652bff758092a02f7e0e03
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:41:01 2013 +0200
Compile with OCaml = 4
diff --git a/debian/control b/debian/control
index b9addbc..9406e1c 100644
---
The annotated tag, debian/0.4.6-2 has been created
at 37736dead28d9e48a7a3c09456d7973b502f5db7 (tag)
tagging 3a45207107d7875acd5dc6aa10dc1729de5cb248 (commit)
replaces debian/0.4.6-1
tagged by Stephane Glondu
on Thu Jul 25 21:43:07 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 3a45207107d7875acd5dc6aa10dc1729de5cb248
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:41:12 2013 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the pristine-tar branch:
commit 4cfc2120079e5e244a8d08883366428419613534
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:18:50 2013 +0200
pristine-tar data for ocamlnet_3.6.6.orig.tar.gz
diff --git a/ocamlnet_3.6.6.orig.tar.gz.delta
The following commit has been merged in the master branch:
commit 7b9a6f0358bacf32ad1bcc8aa2228f0497c84094
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:22:14 2013 +0200
Compile with OCaml = 4
diff --git a/debian/control b/debian/control
index 906d2d5..60b104a 100644
---
The following commit has been merged in the master branch:
commit 29627fb53a44e57fdf7d95a0fd81123fef761c19
Merge: 889049c0bf7128ab444cba6e2d4022804cd89dce
e18c7346fe0c5d379ed13b634d523f7421834f10
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:18:51 2013 +0200
Merge tag
The following commit has been merged in the master branch:
commit 1ee1b27929fef59f631ba5f793065cd68e971eaa
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:22:27 2013 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 030ce97a508a69e1c19ca2eadeee73ebbe8bddd1
Author: Stephane Glondu st...@glondu.net
Date: Thu Jul 25 21:19:28 2013 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 9f5c229..0ff8be0 100644
---
The annotated tag, upstream/3.6.6 has been created
at 7d5e73108d60565001100fd3c99482b5ec342117 (tag)
tagging e18c7346fe0c5d379ed13b634d523f7421834f10 (commit)
replaces upstream/3.6.5
tagged by Stephane Glondu
on Thu Jul 25 21:18:51 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit cb9239229bec87b6213276598de2963e7dda5693
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 09:12:02 2013 +0800
debian/libcore-kernel-ocaml-dev.install.in: change OPT to DYN for *.cmxs
files.
diff --git
The following commit has been merged in the master branch:
commit 422958819e21ee23b619171ced6f1ccf76c124d9
Merge: 60295e209046472985db2c5870a5fd124ccd02e6
c333cff7829dd542fbbab97dc1556e26b6e6b753
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 09:16:00 2013 +0800
Merge tag
The following commit has been merged in the master branch:
commit 6a216383fc992642aba766ad05932a46d610062b
Merge: 422958819e21ee23b619171ced6f1ccf76c124d9
5dd4f601bd14f31062ab3b0e4f5cf697e93b2277
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 09:16:04 2013 +0800
Merge tag
The following commit has been merged in the master branch:
commit 9533aee3a07b217367388b711481fc03b69827bc
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 11:20:14 2013 +0800
fix documentation to avoid FTBFS.
diff --git a/debian/changelog b/debian/changelog
index 9673970..7e69b14
The following commit has been merged in the pristine-tar branch:
commit 98025407d12d903c2e2c9d60d0fcbc096ebcd5d8
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 09:16:04 2013 +0800
pristine-tar data for janest-core-kernel_109.34.00.orig.tar.gz
diff --git
The following commit has been merged in the pristine-tar branch:
commit 0a3aee479c48177453f4839cd210ee12701fc62d
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 09:16:00 2013 +0800
pristine-tar data for janest-core-kernel_109.33.00.orig.tar.gz
diff --git
The following commit has been merged in the pristine-tar branch:
commit bcfd9bf4d29d6698b0fa78c8c5d2c47c9c5ea703
Author: Lifeng Sun lifong...@gmail.com
Date: Sat Jul 6 09:54:11 2013 +0800
pristine-tar data for janest-core_109.32.00.orig.tar.gz
diff --git
The following commit has been merged in the pristine-tar branch:
commit d48f06dca2159b9985ecafe7b5aaead52487d05b
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 09:16:07 2013 +0800
pristine-tar data for janest-core-kernel_109.35.00.orig.tar.gz
diff --git
The following commit has been merged in the pristine-tar branch:
commit 403cf3a97658e931d63952aca913366aeebbac49
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 08:38:33 2013 +0800
pristine-tar data for janest-core_109.35.00.orig.tar.gz
diff --git
The following commit has been merged in the pristine-tar branch:
commit 2490f2fe35385157f04ea0bc875a987feeb2ea5b
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 08:38:28 2013 +0800
pristine-tar data for janest-core_109.34.00.orig.tar.gz
diff --git
The branch, experimental/master has been created
at c2cd92d09849a0754f253e2a9084911fb3311776 (commit)
- Shortlog
commit c2cd92d09849a0754f253e2a9084911fb3311776
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26 11:39:26
The branch, experimental/upstream has been created
at 956330d151603f6f356affad760ed56929216cf3 (commit)
- Shortlog
commit 956330d151603f6f356affad760ed56929216cf3
Author: Lifeng Sun lifong...@gmail.com
Date: Fri Jul 26
The following commit has been merged in the experimental/master branch:
commit a1d58f93b40a0e6fab973924e2a67ce46a17b3c6
Author: Stephane Glondu st...@glondu.net
Date: Fri Jul 26 06:17:37 2013 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog
The following commit has been merged in the experimental/master branch:
commit 30a8ce95026dd6cfa6f06bb754db18cd7646b92e
Author: Stephane Glondu st...@glondu.net
Date: Fri Jul 26 06:16:36 2013 +0200
Update Vcs-*
diff --git a/debian/control b/debian/control
index 145640d..840424a 100644
---
The following commit has been merged in the experimental/master branch:
commit 35ffa87c754391dff98e491e059243afb3e8a0d8
Author: Stephane Glondu st...@glondu.net
Date: Fri Jul 26 06:15:49 2013 +0200
Fix (arm) code generation bug with mod 1
diff --git
The annotated tag, debian/4.00.1-2 has been created
at 3d0c96e0452088e8efd8ea1dca26d7fa6f496e13 (tag)
tagging a1d58f93b40a0e6fab973924e2a67ce46a17b3c6 (commit)
replaces debian/4.00.1-1
tagged by Stephane Glondu
on Fri Jul 26 07:06:40 2013 +0200
- Shortlog
The annotated tag, debian/1.1-1 has been created
at b63c3647ea63a03948dc575c2cc6c0faee239133 (tag)
tagging bc17a36b6e7596b7688d788f43b39c360468fa9e (commit)
replaces upstream/1.1
tagged by Stephane Glondu
on Fri Jul 26 07:46:51 2013 +0200
- Shortlog
54 matches
Mail list logo
