The following commit has been merged in the master branch:
commit 6ec7ec578f94ecf776425bc05a15023d60f6a9fe
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Jul 4 13:27:36 2009 +0200
add closes statement in changlog (#535675)
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 1769cbaddea77112dd6f336316d8eb9a0945a1e6
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 11:58:21 2009 +0200
Keep some file from doc/common/styles/html/simple
They are needed for HTML API doc generation.
The following commit has been merged in the master branch:
commit 3a420f4ad929e8372d32c735fd0fd89dfc0346a1
Merge: 1769cbaddea77112dd6f336316d8eb9a0945a1e6
e4282ea99c664d8d58067bee199cbbcf881b60d5
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 13:28:38 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit d43a92cbe2dd9b90393698e98eb96104b14c04fa
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 12:14:10 2009 +0200
New Upstream Version
diff --git a/debian/changelog b/debian/changelog
index 11d3c53..9692444 100644
---
The following commit has been merged in the pristine-tar branch:
commit 03081be093d8fe2eb290fe63db4b3d1bb83be652
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 13:28:37 2009 +0200
pristine-tar data for coq_8.2.pl1+dfsg.orig.tar.gz
diff --git a/coq_8.2.pl1+dfsg.orig.tar.gz.delta
The annotated tag, debian/8.2.pl1+dfsg-1 has been created
at 35fa0c947758cb3a8e16e9ced728dd31d96f2574 (tag)
tagging d43a92cbe2dd9b90393698e98eb96104b14c04fa (commit)
replaces debian/8.2-1+dfsg-2
tagged by Stephane Glondu
on Sat Jul 4 14:12:54 2009 +0200
- Shortlog
The annotated tag, upstream/8.2.pl1+dfsg has been created
at deef30f6aec0954b20629e56ab2c4bddc704f3c2 (tag)
tagging e4282ea99c664d8d58067bee199cbbcf881b60d5 (commit)
replaces upstream/8.2-1+dfsg
tagged by Stephane Glondu
on Sat Jul 4 13:28:37 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit b1f9cb06d2dbc984114627ae33ad87f5dbaf30da
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 14:07:17 2009 +0200
Rebuild with Coq 8.2pl1
diff --git a/debian/changelog b/debian/changelog
index b13ff37..c54a8ce 100644
---
The annotated tag, debian/8.2-1.2-3 has been created
at 908da9b22045a83409ff9371beefb1fbaa896c5d (tag)
tagging b1f9cb06d2dbc984114627ae33ad87f5dbaf30da (commit)
replaces debian/8.2-1.2-2
tagged by Stephane Glondu
on Sat Jul 4 14:27:28 2009 +0200
- Shortlog
Author: glondu-guest
Date: Sat Jul 4 12:43:30 2009
New Revision: 6422
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6422
Log:
Switch ocaml-reins packaging to Git
Added:
trunk/packages/ocaml-reins/trunk/README
Removed:
trunk/packages/ocaml-reins/tarballs/
The following commit has been merged in the master branch:
commit 609414c9fd5454bdaa4da6c5b787715054ed3b07
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 14:47:55 2009 +0200
Switch packaging to git
diff --git a/debian/changelog b/debian/changelog
index d7bfdab..7fd6361 100644
---
The following commit has been merged in the master branch:
commit b22e5621ff359174a7ba3ce4877191d19f97efc0
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 14:50:12 2009 +0200
Switch patches to quilt, add README.source
diff --git a/debian/README.source b/debian/README.source
new
The following commit has been merged in the master branch:
commit 79f6ec9741cfe161504675687b49765f8c2d29ad
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 15:06:25 2009 +0200
Switch Maintainer to d-o-m, add Mike and myself to Uploaders
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 85c2fa00b231e5fcc0baa362ff3126405dd980c8
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 15:12:27 2009 +0200
Use dh and bump debhelper compatibility level to 7
diff --git a/debian/compat b/debian/compat
index
The following commit has been merged in the master branch:
commit 5bb4611226c0fab282c3886573e477674db2d64c
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 15:14:13 2009 +0200
Move to section ocaml
diff --git a/debian/control b/debian/control
index ae5335e..7b9c364 100644
---
The following commit has been merged in the master branch:
commit 385a9e380aac37f97fc6ff5536b557738e537c0e
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 15:14:35 2009 +0200
Update Standards-Version to 3.8.2
diff --git a/debian/control b/debian/control
index 7b9c364..02fdc6f
The following commit has been merged in the master branch:
commit 80e1e4d562efda67e4a5677ab9a5bf6df4f0f9c3
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 15:18:34 2009 +0200
Switch debian/copyright to new format
diff --git a/debian/copyright b/debian/copyright
index
The following commit has been merged in the master branch:
commit c47911d73dda900cd9550d61206f33da9cc91e3f
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 15:21:09 2009 +0200
Update changelog
diff --git a/debian/changelog b/debian/changelog
index 7fd6361..0faa32b 100644
---
The following commit has been merged in the master branch:
commit f04a7ad2bfe72b9dee2fb82e4693e0d66f8fa3b8
Author: Stephane Glondu st...@glondu.net
Date: Sat Jul 4 16:12:24 2009 +0200
Properly strip only on native architectures
diff --git a/debian/changelog b/debian/changelog
index
The annotated tag, debian/0.9.8.5-3-6 has been created
at b0006d516490ef74e391418e96c190a7933e1f75 (tag)
tagging 29db9e546b2fa68913489a76078798625339a864 (commit)
replaces debian/0.9.8.5-3-5
tagged by Stephane Glondu
on Sat Jul 4 16:20:32 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 8c24bcbb5edf899507f87d818dee058a3a884fb7
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Apr 20 14:25:47 2009 +0200
Remove useless file: /var/log/mldonkey/mldonkey-server.log
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 0ebc473098fc38b25f350e17c2af6c962aadcbd8
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Jul 4 21:14:59 2009 +0200
Update build-dependencies to ease OCaml 3.11.1 transition.
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit af317bc09e0ecead89c825740da045c80cc22c87
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Jul 4 21:18:21 2009 +0200
Add a patch ocaml_3.11.1 to let mldonkey build with OCaml 3.11.1
diff --git a/debian/changelog
The annotated tag, debian/3.0.0-3 has been created
at 71e421fee0a65469bfcdf2f3999e59264bca0507 (tag)
tagging 3f44d2fb0c8d30e52d603a5b73e00e501c6cc7d9 (commit)
replaces debian/3.0.0-2
tagged by Mehdi Dogguy
on Sat Jul 4 22:02:12 2009 +0200
- Shortlog
The annotated tag, debian/2.0.0-2 has been created
at acd52e97d7064ab12873ab6036141e93ca5687d6 (tag)
tagging 6f982df00297ec5bba15861cf7373a844635d996 (commit)
replaces debian/2.0.0-1
tagged by Sylvain Le Gall
on Sat Jul 4 21:08:57 2009 +
- Shortlog
The following commit has been merged in the master branch:
commit 6f982df00297ec5bba15861cf7373a844635d996
Author: Sylvain Le Gall gil...@debian.org
Date: Sat Jul 4 21:05:17 2009 +
Fix camlp4of.opt detection in configure
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 099ae10467374285f3d85c03ed331921acf6e76f
Merge: bb5f702de884c7feb3e1540e6289134dab77d117
7f168fe0ebfb79f12b5b142f92680ebd36779ab1
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Jun 24 13:07:24 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit e53276342fcb7b9eee391493a80dc2e490b27586
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Jul 4 21:43:07 2009 +0200
Remove one part of the patch as it was included upstream
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit b2ca3b0030c70061bd30c5d5069146d3ec1aae25
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Jul 4 22:20:11 2009 +0200
Update some build-deps versions
diff --git a/debian/changelog b/debian/changelog
index 1cf408b..f7ae4c4
The following commit has been merged in the master branch:
commit b79cbd447d20ebba8f8cd67f2b412942ec284d68
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Jul 4 22:20:58 2009 +0200
Upgrade Standards-Version to 3.8.2, no changes needed.
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit bdd4088d1f1391675545dc35d85269fddc275fe7
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Jul 4 21:52:51 2009 +0200
Update patch 01_makefile
diff --git a/debian/changelog b/debian/changelog
index 8d3094d..a1cc31d 100644
The following commit has been merged in the pristine-tar branch:
commit becef2bd41e33eda1c1a512c7079b9647608eeaa
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Jun 24 13:07:24 2009 +0200
pristine-tar data for ocamlgraph_1.1.orig.tar.gz
diff --git a/ocamlgraph_1.1.orig.tar.gz.delta
The annotated tag, upstream/1.1 has been created
at 16936d7c1851aaa53ee9d8b9ba11c251d5cbf63d (tag)
tagging 7f168fe0ebfb79f12b5b142f92680ebd36779ab1 (commit)
replaces upstream/1.0
tagged by Mehdi Dogguy
on Wed Jun 24 13:07:24 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit ac791552c5cbbaca8e5d1b7089290a6b40466109
Author: Sylvain Le Gall gil...@debian.org
Date: Sat Jul 4 21:36:01 2009 +
Use a unique ID foreach document managed by doc-base
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 1ccb222a819b92a107e507d49bf4331055ebbd50
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Jul 4 23:28:38 2009 +0200
Update list of files to backup
diff --git a/debian/rules b/debian/rules
index ae3e048..5737797 100755
The annotated tag, debian/2.0.0-3 has been created
at e7dfd669b7f0b7ea27a6c2ae2d14e2f1fde05b8e (tag)
tagging 2a43517d614f42f334446d729c0f5a97a7931dad (commit)
replaces debian/2.0.0-2
tagged by Sylvain Le Gall
on Sat Jul 4 22:09:32 2009 +
- Shortlog
The following commit has been merged in the master branch:
commit a3c1c3d9f8a98cead98ea4862728a0fe77a229a0
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sun Jul 5 00:34:04 2009 +0200
Fix typo in patch
diff --git a/debian/patches/01_makefile.dpatch
b/debian/patches/01_makefile.dpatch
The following commit has been merged in the master branch:
commit 435c98ca2f65ef0c3eec095447cbc8fbc376c632
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sun Jul 5 00:43:02 2009 +0200
Include +lablgtk2 when generating documentation
diff --git a/debian/rules b/debian/rules
index
The following commit has been merged in the master branch:
commit b0792c3b0d3a8f3e0d5886b2b9517a60923897ba
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sun Jul 5 00:00:19 2009 +0200
Update OCaml version in build-deps
diff --git a/debian/changelog b/debian/changelog
index
The annotated tag, debian/0.5.1-1 has been created
at 9f1530afb57ba1208b7a8d62442cf84aa95e0370 (tag)
tagging b0792c3b0d3a8f3e0d5886b2b9517a60923897ba (commit)
replaces debian/0.5.0-1
tagged by Mehdi Dogguy
on Sun Jul 5 01:19:00 2009 +0200
- Shortlog
40 matches
Mail list logo