The following commit has been merged in the master branch:
commit 6a5b68c94a1788a628d8b59a44e2977bbaa58908
Author: Stephane Glondu
Date: Tue Nov 1 13:51:52 2011 +0100
Add support for ENOTSUP (Closes: #646372)
diff --git a/debian/patches/0014-Add-support-for-ENOTSUP.patch
b/debian/patches/
The following commit has been merged in the master branch:
commit 9b633660d649fab266d7b81e4fa328ff7560265f
Author: Stephane Glondu
Date: Tue Nov 1 13:31:52 2011 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 2d125c5..4de9fd2 100
The annotated tag, debian/3.12.1-1 has been created
at 989f3d11ab2666d27b45c6373e9b3659e3d0cb5c (tag)
tagging 9b633660d649fab266d7b81e4fa328ff7560265f (commit)
replaces debian/3.12.0-7
tagged by Stephane Glondu
on Tue Nov 1 14:14:49 2011 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 694859734cf64515214d063c786d8921eeb46941
Author: Stephane Glondu
Date: Tue Nov 1 15:30:03 2011 +0100
Do not add -R$dir in X11 link options on GNU/kFreeBSD
diff --git
a/debian/patches/0015-Do-not-add-R-dir-in-X11-link-option
The following commit has been merged in the master branch:
commit 11c28aeda7936aad610412e87c8fc19bfe1bd8ef
Author: Stephane Glondu
Date: Tue Nov 1 16:04:19 2011 +0100
Add reference to upstream bugreport
diff --git
a/debian/patches/0015-Do-not-add-R-dir-in-X11-link-options-on-GNU-kFreeBSD.
The following commit has been merged in the master branch:
commit 0fcb3e84013b0176b5e3475cba9847b728736af9
Author: Stephane Glondu
Date: Tue Nov 1 16:12:25 2011 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 4de9fd2..adde36f 100
The annotated tag, debian/3.12.1-2 has been created
at 9135bf32c923d6f79da30ceca3d46bc30ce3ce67 (tag)
tagging 0fcb3e84013b0176b5e3475cba9847b728736af9 (commit)
replaces debian/3.12.1-1
tagged by Stephane Glondu
on Tue Nov 1 17:02:43 2011 +0100
- Shortlog
The following commit has been merged in the master branch:
commit a98dea50b7a993a2cc8ed06304faf385f251f4b4
Author: Stephane Glondu
Date: Tue Nov 1 20:27:58 2011 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index faa6e66..1abae90 100
The following commit has been merged in the master branch:
commit 2d944151380b25fbf3dec9baf141d83e8e5ee360
Author: Stephane Glondu
Date: Tue Nov 1 20:30:32 2011 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index bedae49..941324b 100
The annotated tag, debian/1.03-20 has been created
at a12f01b34682fd5034793b0b410795254899553c (tag)
tagging a98dea50b7a993a2cc8ed06304faf385f251f4b4 (commit)
replaces debian/1.03-19
tagged by Stephane Glondu
on Tue Nov 1 20:33:24 2011 +0100
- Shortlog --
The annotated tag, debian/1.10-14 has been created
at 5dd4f43a6e50fd41ba425f1eac92606d9118c194 (tag)
tagging 2d944151380b25fbf3dec9baf141d83e8e5ee360 (commit)
replaces debian/1.10-13
tagged by Stephane Glondu
on Tue Nov 1 20:33:26 2011 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit cc8ac1c4a6c95a34ea42667b8ef6df5eb7990426
Author: Stephane Glondu
Date: Tue Nov 1 20:36:00 2011 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index bc657b8..a46cb06 100
The annotated tag, debian/0.39-19 has been created
at e74ac776481d220949c0e8215edf99b2e5ee20f8 (tag)
tagging cc8ac1c4a6c95a34ea42667b8ef6df5eb7990426 (commit)
replaces debian/0.39-17
tagged by Stephane Glondu
on Tue Nov 1 20:37:10 2011 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit bab439a68f1116ed434b151775c34870023ed42a
Merge: e87b40c21d7e26b36ced01b470e65d521237f7e8
22b54f3b7d1a04c6e3636b4e2cc26549e4d01c12
Author: Stephane Glondu
Date: Wed Jul 6 18:22:44 2011 +0200
Merge commit 'upstream/3.12.1.0'
The following commit has been merged in the master branch:
commit f471cf20ede22f70f88addcd347df5b791a20168
Author: Stephane Glondu
Date: Wed Jul 6 18:11:32 2011 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index c898913..58927de 100644
--- a/debian/changelog
The following commit has been merged in the pristine-tar branch:
commit ef1c1f3c9235e16e2e2f2182376931aba0c6c58d
Author: Stephane Glondu
Date: Wed Jul 6 18:22:44 2011 +0200
pristine-tar data for ocamlduce_3.12.1.0.orig.tar.gz
diff --git a/ocamlduce_3.12.1.0.orig.tar.gz.delta
b/ocamlduce_3
The annotated tag, upstream/3.12.1.0 has been created
at 2f7ca9019aae3dbba6a2212e331a69e45e9f0e33 (tag)
tagging 22b54f3b7d1a04c6e3636b4e2cc26549e4d01c12 (commit)
replaces upstream/3.12.0.0
tagged by Stephane Glondu
on Wed Jul 6 18:22:44 2011 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 87795e84e6af91da07fb49c5503a4d7bb16d03dd
Author: Stephane Glondu
Date: Tue Nov 1 20:50:32 2011 +0100
Bump versioned build-dependency to ocaml
diff --git a/debian/control b/debian/control
index 078cf1b..56e35c1 100644
--- a/d
The following commit has been merged in the master branch:
commit 4891da77f9dacba72c52e42b60fe4b658fed7796
Author: Stephane Glondu
Date: Tue Nov 1 20:49:46 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 58927de..fb30c74 100644
--- a/debian/chan
The annotated tag, debian/3.12.1.0-1 has been created
at 3b2842c619c04a2856238a68cdf8f90d17018672 (tag)
tagging 4891da77f9dacba72c52e42b60fe4b658fed7796 (commit)
replaces debian/3.12.0.0-1
tagged by Stephane Glondu
on Tue Nov 1 20:59:53 2011 +0100
- Shortlog
The following commit has been merged in the master branch:
commit be48c2b9e4bb2d97bcd7897671ee3b254c64dc76
Author: Stephane Glondu
Date: Tue Nov 1 21:08:13 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 0e1066a..606e848 100644
--- a/debian/chan
The annotated tag, debian/1.37-15 has been created
at 2f19b5c54e82f52f851019c30cdca62e69348192 (tag)
tagging be48c2b9e4bb2d97bcd7897671ee3b254c64dc76 (commit)
replaces debian/1.37-14
tagged by Stephane Glondu
on Tue Nov 1 21:11:15 2011 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit 44349c89b8deeb3b7c8259936eb85db3a436ca18
Author: Stephane Glondu
Date: Tue Nov 1 21:10:20 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 9a72401..96b6f04 100644
--- a/debian/chan
The annotated tag, debian/0.3-10 has been created
at 3610998e611e9a8c29e2974ab73242716406f33f (tag)
tagging 44349c89b8deeb3b7c8259936eb85db3a436ca18 (commit)
replaces debian/0.3-9
tagged by Stephane Glondu
on Tue Nov 1 21:12:01 2011 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit 78909591649c16066e3dd6590d9a18967f654309
Author: Stephane Glondu
Date: Tue Nov 1 21:26:55 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 4481210..9b7e101 100644
--- a/debian/chan
The annotated tag, debian/0.1.13-13 has been created
at f7a86e8584ec94041552a58e9c654184a7dfc777 (tag)
tagging 78909591649c16066e3dd6590d9a18967f654309 (commit)
replaces debian/0.1.13-12
tagged by Stephane Glondu
on Tue Nov 1 21:38:30 2011 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit 53f9ddea2bf59d8fae5c069425eefcc490d1fcf3
Author: Stephane Glondu
Date: Tue Nov 1 21:26:48 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index c554124..28cc384 100644
--- a/debian/chan
The annotated tag, debian/1.0.6.ds2-12 has been created
at 7fc0fd4dac0ed507211e99cff78d3b68c1d873fc (tag)
tagging 53f9ddea2bf59d8fae5c069425eefcc490d1fcf3 (commit)
replaces debian/1.0.6.ds2-11
tagged by Stephane Glondu
on Tue Nov 1 21:44:53 2011 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 186ad48756d7c1dac8c59c8aebaf7255a537968d
Author: Stephane Glondu
Date: Tue Nov 1 22:17:26 2011 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index d76696b..1189a5c 100
The following commit has been merged in the master branch:
commit 6691cb8d1cde6fcca4513682b2191c34ffb62f06
Author: Stephane Glondu
Date: Tue Nov 1 22:22:40 2011 +0100
Import upstream patch 6.02.3-1
diff --git a/debian/patches/0001-Upstream-patch-6.02.3-1.patch
b/debian/patches/0001-Upstre
The annotated tag, debian/6.02.3-1 has been created
at 0a85b4f48dcc73d3237176dde5245ebc57bcdddf (tag)
tagging 186ad48756d7c1dac8c59c8aebaf7255a537968d (commit)
replaces debian/6.02.2-1
tagged by Stephane Glondu
on Tue Nov 1 22:28:30 2011 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 842fdf6ca0e9f52d7744737ac5eb8ca706201700
Merge: 15093e0a736bc103456bcbae659d7a328f2e1fa8
e12f18cc8276cf8fa1000c202e119bbea924cd8c
Author: Mehdi Dogguy
Date: Tue Nov 1 22:13:41 2011 +0100
Merge commit 'upstream/3.12.1'
--
The following commit has been merged in the master branch:
commit 46cc1a07c931593c693f3c3f1f00fffdd2abcde4
Author: Mehdi Dogguy
Date: Tue Nov 1 22:14:14 2011 +0100
New upstream release
diff --git a/debian/changelog b/debian/changelog
index b6e2ee4..4d062ce 100644
--- a/debian/changelog
+++
The following commit has been merged in the master branch:
commit ada7ceae43ac9b237f4d4e8f9f3102e57d75b330
Author: Mehdi Dogguy
Date: Tue Nov 1 22:15:23 2011 +0100
Refresh patches
diff --git a/debian/changelog b/debian/changelog
index 4d062ce..1225bbe 100644
--- a/debian/changelog
+++ b/de
The following commit has been merged in the master branch:
commit 9b318d785931dc6b32f088af69b48d3ef66dba6d
Author: Mehdi Dogguy
Date: Tue Nov 1 22:23:06 2011 +0100
Add new patches from src:ocaml
diff --git a/debian/changelog b/debian/changelog
index 1225bbe..920cf5c 100644
--- a/debian/cha
The following commit has been merged in the master branch:
commit 9a04cb522f034ed775c53646f1843f65217be78a
Author: Mehdi Dogguy
Date: Tue Nov 1 22:44:18 2011 +0100
Bump least version needed for OCaml in Build-Depends
diff --git a/debian/changelog b/debian/changelog
index 920cf5c..2271fd0 1
The following commit has been merged in the master branch:
commit 7bb6ab298ed7a35c01a4223d450498f831b2e8fa
Author: Mehdi Dogguy
Date: Tue Nov 1 22:44:58 2011 +0100
Bump Standards-Version to 3.9.2, no changes required.
diff --git a/debian/changelog b/debian/changelog
index 2271fd0..f7dd720
The following commit has been merged in the master branch:
commit 32175676700b5d514c28d1683cbc3201b60491f4
Author: Mehdi Dogguy
Date: Tue Nov 1 22:52:18 2011 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index f7dd720..15d02fe 100644
--- a/debian/changelog
+++
The following commit has been merged in the pristine-tar branch:
commit 5107f570cfb99c3b867aab553e0ffdfd0376e8d3
Author: Mehdi Dogguy
Date: Tue Nov 1 22:13:41 2011 +0100
pristine-tar data for jocaml_3.12.1.orig.tar.gz
diff --git a/jocaml_3.12.1.orig.tar.gz.delta b/jocaml_3.12.1.orig.tar.gz
The annotated tag, debian/3.12.1-1 has been created
at d8c76ef368897bf02df83d48315b4524acbb9f74 (tag)
tagging 32175676700b5d514c28d1683cbc3201b60491f4 (commit)
replaces debian/3.12.0-1
tagged by Mehdi Dogguy
on Tue Nov 1 23:02:37 2011 +0100
- Shortlog ---
The annotated tag, upstream/3.12.1 has been created
at 7700b7a619e08343b884fb53df7349e6ccbbdf7e (tag)
tagging e12f18cc8276cf8fa1000c202e119bbea924cd8c (commit)
replaces upstream/3.12.0
tagged by Mehdi Dogguy
on Tue Nov 1 22:13:41 2011 +0100
- Shortlog ---
The following commit has been merged in the master branch:
commit e63027e3ce021a2ceb0926ef89fae1fa507d2369
Author: Stephane Glondu
Date: Wed Nov 2 07:06:21 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index ec6b908..ac525f9 100644
--- a/debian/chan
The annotated tag, debian/1.94-2 has been created
at 5d02512eb85655b68c7cd35eda0b29ee3f9a1a8b (tag)
tagging 83236e60dcbd05f065fcba7b26f80696edfc6c9c (commit)
replaces debian/1.94-1
tagged by Stephane Glondu
on Tue Sep 22 23:03:00 2009 +0200
- Shortlog ---
The annotated tag, debian/1.96-5 has been created
at 08bd2a482262a7bd6e4d379db8e54ba5beb4006f (tag)
tagging e63027e3ce021a2ceb0926ef89fae1fa507d2369 (commit)
replaces debian/1.96-3
tagged by Stephane Glondu
on Wed Nov 2 07:12:23 2011 +0100
- Shortlog
The following commit has been merged in the master branch:
commit db560b89f4018c7d7b7413a9db8e6b7a882c3d02
Author: Stephane Glondu
Date: Wed Nov 2 07:10:04 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index d936628..73be557 100644
--- a/debian/chan
The annotated tag, debian/0.9.2-1 has been created
at e3d34871943bc5b95f05614bc9a727a7a2ac0a73 (tag)
tagging db560b89f4018c7d7b7413a9db8e6b7a882c3d02 (commit)
replaces upstream/0.9.2
tagged by Stephane Glondu
on Wed Nov 2 07:17:19 2011 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit 878f525a9399d847e770f74239eb854a636e6405
Author: Stephane Glondu
Date: Wed Nov 2 07:14:59 2011 +0100
Remove trailing whitespaces
diff --git a/debian/camlmix.mkd b/debian/camlmix.mkd
index af7111c..684f1e2 100644
--- a/debian
The following commit has been merged in the master branch:
commit 6256043910bd103cdbf4e54303115d60746ac088
Author: Stephane Glondu
Date: Wed Nov 2 07:18:24 2011 +0100
Fix typo spotted by Lintian
diff --git a/debian/camlmix.mkd b/debian/camlmix.mkd
index 684f1e2..f6b217c 100644
--- a/debian
The following commit has been merged in the master branch:
commit 5504448cde21d04ef4796c73c3f8fa3ca03ddfce
Author: Stephane Glondu
Date: Wed Nov 2 07:18:43 2011 +0100
Regenerate manpage
diff --git a/debian/camlmix.1 b/debian/camlmix.1
index 8e9f9c0..32869eb 100644
--- a/debian/camlmix.1
++
The following commit has been merged in the master branch:
commit c7442db30b9a42f28e1425109fdfbd0fe68665ff
Author: Stephane Glondu
Date: Wed Nov 2 07:08:59 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 24ff31a..041939a 100644
--- a/debian/chan
The annotated tag, debian/1.3.0-3 has been created
at d7689cdaefaf7f1715e445aa17ad6cbf85905e78 (tag)
tagging c7442db30b9a42f28e1425109fdfbd0fe68665ff (commit)
replaces debian/1.3.0-2
tagged by Stephane Glondu
on Wed Nov 2 07:21:06 2011 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit b1df528cf9d6ab3e29035ba4398a642296de3f27
Author: Stephane Glondu
Date: Wed Nov 2 07:23:27 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index af590bc..8685c62 100644
--- a/debian/chan
The annotated tag, debian/0.0.1-3 has been created
at 10f9eda0f16fc970f2aa4ba8f034f224da3e9a6c (tag)
tagging b1df528cf9d6ab3e29035ba4398a642296de3f27 (commit)
replaces debian/0.0.1-2
tagged by Stephane Glondu
on Wed Nov 2 07:25:42 2011 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit 5559b14495375a12a7e7a5b4b061a8b35f41b291
Author: Stephane Glondu
Date: Wed Nov 2 07:23:53 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index f585d70..e55994b 100644
--- a/debian/chan
The annotated tag, debian/1.0.0-3 has been created
at 90f92a0360d19dc77bfaebdbf1cc779cea81000a (tag)
tagging 5559b14495375a12a7e7a5b4b061a8b35f41b291 (commit)
replaces debian/1.0.0-2
tagged by Stephane Glondu
on Wed Nov 2 07:26:30 2011 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit d0173097158c244b73987707c2764ce25f1105c4
Author: Stephane Glondu
Date: Wed Nov 2 07:24:22 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index b36ec76..33951f8 100644
--- a/debian/chan
The annotated tag, debian/1.8-3 has been created
at 313bef70e9298e3471cc21f6b12f6dcbc0503310 (tag)
tagging d0173097158c244b73987707c2764ce25f1105c4 (commit)
replaces debian/1.8-2
tagged by Stephane Glondu
on Wed Nov 2 07:27:12 2011 +0100
- Shortlog --
57 matches
Mail list logo
