The annotated tag, debian/1.0.3-2 has been created
at bbf9869f3dee553fcf2e37ddaff0f63a15d87f52 (tag)
tagging d3345c28d344302700818f4b1095422aede72203 (commit)
replaces debian/1.0.3-1
tagged by Mehdi Dogguy
on Thu Jan 5 02:46:43 2012 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit d3345c28d344302700818f4b1095422aede72203
Author: Mehdi Dogguy
Date: Thu Jan 5 02:44:11 2012 +0100
Fix by copyright-with-old-dh-make-debian-copyright s/(C)/©/.
diff --git a/debian/changelog b/debian/changelog
index a20e2ac..0
The following commit has been merged in the master branch:
commit 677f474b1ef99c352ec3b8e47d63ff0c4a37e45f
Author: Mehdi Dogguy
Date: Thu Jan 5 02:42:31 2012 +0100
Fix duplicate-short-description
diff --git a/debian/changelog b/debian/changelog
index 4348b7f..a20e2ac 100644
--- a/debian/ch
The following commit has been merged in the master branch:
commit 3c1b29112cd11a3c44fc804ba8137a4b37ba9619
Author: Mehdi Dogguy
Date: Thu Jan 5 02:38:24 2012 +0100
Fix debian-rules-missing-recommended-target build-{arch,indep}
diff --git a/debian/changelog b/debian/changelog
index e8134f7.
The following commit has been merged in the master branch:
commit 5058c79bc03160848fa0371953b24ae931e14678
Author: Mehdi Dogguy
Date: Thu Jan 5 02:35:15 2012 +0100
Bump Standards-Version to 3.9.2, no changes needed
diff --git a/debian/changelog b/debian/changelog
index da43a26..e8134f7 100
The following commit has been merged in the master branch:
commit 4806ed2af33e6a0010846bdc278c4b3d8cd3ed6a
Author: Mehdi Dogguy
Date: Thu Jan 5 02:32:13 2012 +0100
Fix debhelper-but-no-misc-depends
diff --git a/debian/changelog b/debian/changelog
index a8e5807..da43a26 100644
--- a/debian/
The following commit has been merged in the master branch:
commit c773971e102488290234c85571dffd4c5accc029
Author: Mehdi Dogguy
Date: Thu Jan 5 02:30:06 2012 +0100
Convert to 3.0 (quilt) source format
diff --git a/debian/changelog b/debian/changelog
index ef96fbb..a8e5807 100644
--- a/debi
The following commit has been merged in the master branch:
commit c893a198ddaf6dfa3e5ddfc21139aa000f65444d
Author: Mehdi Dogguy
Date: Thu Jan 5 02:24:28 2012 +0100
Enable wide character support
diff --git a/debian/changelog b/debian/changelog
index 6ca64b0..ef96fbb 100644
--- a/debian/chan
The annotated tag, debian/1.2-2 has been created
at 7f6c2dba4ca8c49ac7042dcca97e4dbfdc151171 (tag)
tagging c80798e4bf21bd13fde4b613cce0d1f6a203a866 (commit)
replaces debian/1.2-1
tagged by Mehdi Dogguy
on Wed Jan 4 22:59:26 2012 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit 229a92b26f4b9b5f3bf2bea6d6fd9141e7a8624e
Author: Mehdi Dogguy
Date: Wed Jan 4 22:50:20 2012 +0100
Fix duplicate-short-description
diff --git a/debian/changelog b/debian/changelog
index dcd3d64..d2ad9cb 100644
--- a/debian/ch
The following commit has been merged in the master branch:
commit c80798e4bf21bd13fde4b613cce0d1f6a203a866
Author: Mehdi Dogguy
Date: Wed Jan 4 22:52:04 2012 +0100
Add a watch file
diff --git a/debian/changelog b/debian/changelog
index d2ad9cb..b7e3c55 100644
--- a/debian/changelog
+++ b/d
The following commit has been merged in the master branch:
commit ca571fabffd39fe4ddf2cee0f82ea1eddeecb80d
Author: Mehdi Dogguy
Date: Wed Jan 4 22:45:58 2012 +0100
Bump Standards-Version to 3.9.2, no changes needed.
diff --git a/debian/changelog b/debian/changelog
index 1fa1e8f..dcd3d64 10
The following commit has been merged in the master branch:
commit 69c99023a540a759aa35c560f2e1dd00fa8fe1b0
Author: Mehdi Dogguy
Date: Wed Jan 4 22:45:00 2012 +0100
Generate html documentation
diff --git a/debian/changelog b/debian/changelog
index d0d7109..1fa1e8f 100644
--- a/debian/change
The annotated tag, upstream/20120103 has been created
at 083c16ce2a7c31657a82fd4b96b2f1314a100d26 (tag)
tagging 90b93cd7331861152a6da28c9ec793f2b4c445c2 (commit)
replaces upstream/20090719
tagged by Mehdi Dogguy
on Wed Jan 4 21:39:37 2012 +0100
- Shortlog ---
The annotated tag, debian/20120103-1 has been created
at cfd1b69a596d67f724e0f602485133576a9a26a6 (tag)
tagging 8df3dd99df63cf78a491e7d9b09eda3e5435c97b (commit)
replaces debian/20090719-1
tagged by Mehdi Dogguy
on Wed Jan 4 22:24:02 2012 +0100
- Shortlog ---
The following commit has been merged in the master branch:
commit 8df3dd99df63cf78a491e7d9b09eda3e5435c97b
Author: Mehdi Dogguy
Date: Wed Jan 4 22:23:43 2012 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index b16b156..45dde58 100644
--- a/debian/changelog
+++
The following commit has been merged in the pristine-tar branch:
commit d214d580544d932533405bd8492e919694533792
Author: Mehdi Dogguy
Date: Wed Jan 4 21:39:37 2012 +0100
pristine-tar data for ocaml-tools_20120103.orig.tar.gz
diff --git a/ocaml-tools_20120103.orig.tar.gz.delta
b/ocaml-tool
The following commit has been merged in the master branch:
commit d31975a699cd17c8b8424267646246064a41feb7
Author: Mehdi Dogguy
Date: Wed Jan 4 22:00:15 2012 +0100
Convert to 3.0 (quilt) source format
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0
The following commit has been merged in the master branch:
commit 72a670a54b7fbcbaa46158805ab17daf53023097
Author: Mehdi Dogguy
Date: Wed Jan 4 21:57:21 2012 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 537e8f0..b16b156 100644
--- a/debian/changelog
+++ b/d
The following commit has been merged in the master branch:
commit b32a8be1ebcd80b3fa48067b7db4904835f5247b
Author: Mehdi Dogguy
Date: Wed Jan 4 21:54:08 2012 +0100
Bump S-V to 3.9.2, no further changes required
diff --git a/debian/control b/debian/control
index ef5d81c..903b216 100644
---
The following commit has been merged in the master branch:
commit f9b9e41b0dba357a6ed1f9a42bc8eef456dbb41b
Author: Mehdi Dogguy
Date: Wed Jan 4 21:53:37 2012 +0100
Fix copyright-refers-to-deprecated-bsd-license-file
diff --git a/debian/copyright b/debian/copyright
index 701b6e5..88835b2 10
The following commit has been merged in the master branch:
commit 4edf57b2f527a7df16bb045e48673be186c3ab35
Author: Mehdi Dogguy
Date: Wed Jan 4 21:52:06 2012 +0100
Fix typo in README.Debian
diff --git a/debian/README.Debian b/debian/README.Debian
index 6710851..4f4cdee 100644
--- a/debian/
The following commit has been merged in the master branch:
commit edb07a173d88561b760638e0c7b986b1f338627e
Author: Mehdi Dogguy
Date: Wed Jan 4 21:51:33 2012 +0100
Fix debian-rules-missing-recommended-target build-{arch,indep}
diff --git a/debian/rules b/debian/rules
index 5c651dd..f177510
The following commit has been merged in the master branch:
commit 39087cd0355301134292da64eeda3dd5afd721f2
Author: Mehdi Dogguy
Date: Wed Jan 4 21:58:01 2012 +0100
Add myself to uploaders
diff --git a/debian/control b/debian/control
index 538bc53..ef5d81c 100644
--- a/debian/control
+++ b/
The following commit has been merged in the master branch:
commit 04216a086297ffb4d0b5fd078e834016e24c014c
Author: Mehdi Dogguy
Date: Wed Jan 4 21:33:52 2012 +0100
Compile and install ocamldot
diff --git a/debian/control b/debian/control
index d740e9a..538bc53 100644
--- a/debian/control
+
The following commit has been merged in the master branch:
commit ab94560d6480ed2063d418ded7c45a2c9da10451
Merge: 5273260523c153fc453dd726bad11c14a4728986
90b93cd7331861152a6da28c9ec793f2b4c445c2
Author: Mehdi Dogguy
Date: Wed Jan 4 21:39:37 2012 +0100
Merge commit 'upstream/20120103'
--
The annotated tag, debian/1.4-2 has been updated
to a6c88f1ed8fefb4cb3331cca277877d1cf2a5c40 (tag)
from 8fdc6f23631b6575ea98eef919bbfa136ee1ee7a (which is now obsolete)
tagging 7a10089adfea03fc826997c11f5dde2b75471f12 (commit)
replaces debian/1.4-1
tagged by Mehdi Dogguy
The following commit has been merged in the master branch:
commit 7a10089adfea03fc826997c11f5dde2b75471f12
Author: Mehdi Dogguy
Date: Wed Jan 4 21:25:16 2012 +0100
Replaced homepage link with the project's homepage
diff --git a/debian/control b/debian/control
index c5c347d..d70bd3e 100644
The annotated tag, debian/1.4-2 has been created
at 8fdc6f23631b6575ea98eef919bbfa136ee1ee7a (tag)
tagging f1be59264e3ac7682ca06dcfd3d7ce8d0877f869 (commit)
replaces debian/1.4-1
tagged by Mehdi Dogguy
on Wed Jan 4 21:22:26 2012 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit f1be59264e3ac7682ca06dcfd3d7ce8d0877f869
Author: Mehdi Dogguy
Date: Wed Jan 4 21:08:00 2012 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 9e56c4e..877ec14 100644
--- a/debian/changelog
+++ b/d
The following commit has been merged in the master branch:
commit 6d73e8a01346847130a3f9402bf5a07efeff72a0
Author: Mehdi Dogguy
Date: Wed Jan 4 21:17:27 2012 +0100
Turn a Conflicts into a Break to fix conflicts-with-version
diff --git a/debian/control b/debian/control
index 5243c89..c5c347
The following commit has been merged in the master branch:
commit bbaaca697e5c4bb2b7edf1eae9d0e0aa42077f25
Author: Mehdi Dogguy
Date: Wed Jan 4 21:14:35 2012 +0100
Fix duplicate-short-description
diff --git a/debian/control b/debian/control
index a0ba5b6..5243c89 100644
--- a/debian/contro
The following commit has been merged in the master branch:
commit 4f0dcb65eca759e4e531f5ae0070996d3c38a95b
Author: Mehdi Dogguy
Date: Wed Jan 4 21:11:28 2012 +0100
Convert to 3.0 (quilt) source format
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0
The following commit has been merged in the master branch:
commit e819a6f57440c6a09b54f48801870aa0e337d76d
Author: Mehdi Dogguy
Date: Wed Jan 4 21:05:22 2012 +0100
Add support for hex format (Closes: #640134)
diff --git a/debian/patches/05_support_hex_format
b/debian/patches/05_support_he
The following commit has been merged in the master branch:
commit b5f94d237de00290fdf770904e2cca447413fb7a
Author: Mehdi Dogguy
Date: Wed Jan 4 20:58:12 2012 +0100
Bump S-v to 3.9.2, no further changes required
diff --git a/debian/control b/debian/control
index 88200a2..a0ba5b6 100644
---
The following commit has been merged in the master branch:
commit c13bdb5a105b55d45c969d4613c998dafd1a1fe2
Author: Mehdi Dogguy
Date: Wed Jan 4 20:51:35 2012 +0100
PG'OCaml moved to forge.ocamlcore.org
diff --git a/debian/control b/debian/control
index f979a89..88200a2 100644
--- a/debian/
The annotated tag, debian/1.03-21 has been created
at 6527ce46356978e3a7e0bf9bc64cdb334838cf00 (tag)
tagging 4303a6feab2e48a53af1f5b6f225db6386294135 (commit)
replaces debian/1.03-20
tagged by Mehdi Dogguy
on Wed Jan 4 18:57:12 2012 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit 4303a6feab2e48a53af1f5b6f225db6386294135
Author: Mehdi Dogguy
Date: Wed Jan 4 18:36:56 2012 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index c485da9..a44387f 100644
--- a/debian/changelog
+++ b/d
The following commit has been merged in the master branch:
commit 086aa072eee5c347cc9c58c4d17266b713fef301
Author: Mehdi Dogguy
Date: Wed Jan 4 18:46:20 2012 +0100
Fix spelling-error-in-manpage
diff --git a/debian/xml-man/headache.xml b/debian/xml-man/headache.xml
index 8352c0a..083e05e 10
The following commit has been merged in the master branch:
commit 2a0bdeba6709fdf888fbf2cf3e19265c14ef0fc3
Author: Mehdi Dogguy
Date: Wed Jan 4 18:36:08 2012 +0100
Add missing colon in patch's header
diff --git a/debian/patches/02_skip_begin b/debian/patches/02_skip_begin
index 69fa052..51
The following commit has been merged in the master branch:
commit 44fcbad385d2d7059eb41f7cadcff8fad3284816
Author: Mehdi Dogguy
Date: Wed Jan 4 18:05:49 2012 +0100
Setting dist to UNRELEASED
The .cmxs file should be moved into a new libxml-light-ocaml package
prior to upload in
The following commit has been merged in the master branch:
commit 17443214bc9e7e0faf70d2a6b5912a4fcf73abd9
Author: Mehdi Dogguy
Date: Wed Jan 4 17:58:57 2012 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 2e2ca8e..fcb359b 100644
--- a/debian/changelog
+++ b/d
The following commit has been merged in the master branch:
commit 23fd16ecc6b723bd0b7e741e7c52dcc3d15d4d95
Author: Mehdi Dogguy
Date: Wed Jan 4 17:47:46 2012 +0100
Various changes
diff --git a/debian/control b/debian/control
index 69e08b2..2c19403 100644
--- a/debian/control
+++ b/debian/c
The following commit has been merged in the master branch:
commit bad76762ce2c83a90f285742437fba89aa628ec7
Author: Mehdi Dogguy
Date: Wed Jan 4 17:43:52 2012 +0100
Provide a .cmxs plugin in libxml-light-ocaml-dev (Closes: #647299). Thanks
to Benjamin Sigonneau for the patch.
diff --git a/
The annotated tag, debian/3.12-2 has been created
at 5a38897770c07eeece8584c6f543e953ed561aa9 (tag)
tagging de58f74ff89c35faa15acca1c8c69453854a7258 (commit)
replaces debian/3.12-1
tagged by Mehdi Dogguy
on Wed Jan 4 16:56:37 2012 +0100
- Shortlog ---
The following commit has been merged in the master branch:
commit de58f74ff89c35faa15acca1c8c69453854a7258
Author: Mehdi Dogguy
Date: Wed Jan 4 16:49:44 2012 +0100
Minor change in debian/ocaml-doc.doc-base.ocaml.in
diff --git a/debian/changelog b/debian/changelog
index f316d15..9e2f864 100
The annotated tag, upstream/3.12 has been created
at ad9b945d485534177fe6abd810b78639c2dca847 (tag)
tagging b4c49f76a9b76998fc11acc87bd071f801ad32d5 (commit)
replaces upstream/3.11
tagged by Mehdi Dogguy
on Wed Jan 4 15:04:16 2012 +0100
- Shortlog ---
The annotated tag, debian/3.12-1 has been created
at 2202c962d6e4db4043f5db127483a9899ead207c (tag)
tagging 7e263109adae040a56988ad34bd38c1ab363548e (commit)
replaces debian/3.11-1
tagged by Mehdi Dogguy
on Wed Jan 4 16:44:00 2012 +0100
- Shortlog ---
The following commit has been merged in the pristine-tar branch:
commit 6d544099152ac195607c442741a421b861eba275
Author: Mehdi Dogguy
Date: Wed Jan 4 15:04:16 2012 +0100
pristine-tar data for ocaml-doc_3.12.orig.tar.gz
diff --git a/ocaml-doc_3.12.orig.tar.gz.delta b/ocaml-doc_3.12.orig.tar
The following commit has been merged in the master branch:
commit aa9498c992f728f4983c65209e03f8a0495a8f03
Author: Mehdi Dogguy
Date: Wed Jan 4 15:13:06 2012 +0100
Update changelog
diff --git a/debian/changelog b/debian/changelog
index f9264db..f316d15 100644
--- a/debian/changelog
+++ b/d
The following commit has been merged in the master branch:
commit 7e263109adae040a56988ad34bd38c1ab363548e
Author: Mehdi Dogguy
Date: Wed Jan 4 16:38:39 2012 +0100
Add a small paragraph describing OCaml in ocaml-doc's long description
diff --git a/debian/control b/debian/control
index c57d
The following commit has been merged in the master branch:
commit 1ff207395c00f9c1bd3d4e45e8b3c9f3cb154bd2
Author: Mehdi Dogguy
Date: Wed Jan 4 15:08:17 2012 +0100
Various changes
diff --git a/debian/clean b/debian/clean
new file mode 100644
index 000..c130fbc
--- /dev/null
+++ b/debia
The following commit has been merged in the master branch:
commit 51adb76656919ba744a53e9fd836a6145d7e9fa7
Author: Mehdi Dogguy
Date: Wed Jan 4 15:05:08 2012 +0100
New upstream release (Closes: #627791)
diff --git a/debian/changelog b/debian/changelog
index 054323e..f9264db 100644
--- a/de
The following commit has been merged in the master branch:
commit 7ece035bb6e4fe8326e6ce8d995b4ad4e0cf3579
Merge: ab09b6baae98b86626adc39b5d0681c7c01994fc
b4c49f76a9b76998fc11acc87bd071f801ad32d5
Author: Mehdi Dogguy
Date: Wed Jan 4 15:04:16 2012 +0100
Merge commit 'upstream/3.12'
--
oc
The following commit has been merged in the master branch:
commit ab09b6baae98b86626adc39b5d0681c7c01994fc
Author: Mehdi Dogguy
Date: Wed Jan 4 15:03:29 2012 +0100
Add a script to generate a new tarball
diff --git a/debian/generate_tarball b/debian/generate_tarball
new file mode 100755
ind
The following commit has been merged in the master branch:
commit 8311762d17cbfb68879c0888fadc2406e1cde288
Author: Mehdi Dogguy
Date: Wed Jan 4 15:03:06 2012 +0100
Add myself to uploaders
diff --git a/debian/control b/debian/control
index b5a2f8c..88ebb0d 100644
--- a/debian/control
+++ b/
56 matches
Mail list logo