The branch, master has been created
at 48f6306d4ec4be950507366620eb848f03d91162 (commit)
- Shortlog
commit 48f6306d4ec4be950507366620eb848f03d91162
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Wed Nov 5 15:23:17 2008 +0100
The branch, pristine-tar has been created
at cfa35baa6fe5e85c7a9ffaa69cc1b87b19d8e246 (commit)
- Shortlog
commit cfa35baa6fe5e85c7a9ffaa69cc1b87b19d8e246
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Wed Nov 5 15:23:17 2008
The branch, upstream has been created
at 48f6306d4ec4be950507366620eb848f03d91162 (commit)
- Shortlog
commit 48f6306d4ec4be950507366620eb848f03d91162
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Wed Nov 5 15:23:17 2008 +0100
The annotated tag, upstream/0.8 has been created
at ad314c82a031d0f247b4c18ab29d83fd0faa22b5 (tag)
tagging 48f6306d4ec4be950507366620eb848f03d91162 (commit)
tagged by Mehdi Dogguy
on Wed Nov 5 15:23:17 2008 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 6117ca7396a39569a991398431f0ebb93c1c5285
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Wed Nov 5 22:54:43 2008 +0100
Adding a copyright notice
diff --git a/debian/copyright b/debian/copyright
index c245221..0a99c5b 100644
The following commit has been merged in the master branch:
commit 6a6dbc54e4e5352f1d79bb4a6ac99ec8beb065e0
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Wed Nov 5 19:12:54 2008 +0100
Not used anymore.
diff --git a/debian/purify_tarball b/debian/purify_tarball
deleted file mode 100755
index
The following commit has been merged in the master branch:
commit 22bed50882d0eabdd252e35b08b0e91b6f6b4060
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Wed Nov 5 19:13:31 2008 +0100
License version is 2.
diff --git a/debian/copyright b/debian/copyright
index 1fd9c3e..cba275c 100644
The following commit has been merged in the master branch:
commit b8c989e81590e1132df0344feb5ab7bcab227955
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Sat Nov 8 15:27:00 2008 +0100
Set compat to 7 and add debian/clean file to reset source directory
diff --git a/debian/clean b/debian/clean
The following commit has been merged in the master branch:
commit 349cdc765df84a77fcee97b0984f423ba169acbc
Merge: 22bed50882d0eabdd252e35b08b0e91b6f6b4060
1294bd29717124b8c21f918a9dc4291ab2adb552
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Sat Nov 8 22:04:03 2008 +0100
Merge commit
The following commit has been merged in the master branch:
commit fdc2309ac77d61a585e646ca1ee746fcf8b377b0
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Sat Nov 8 23:05:20 2008 +0100
- Add debian/README.source to explain how I created .dfsg tarball
- Update newest version in changelog
The following commit has been merged in the master branch:
commit f2e5234ed9da7042f2d8efc540fac08d01d07c79
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Sat Nov 8 21:18:04 2008 +0100
- Some cleaning
- Add makefile.in.dpatch to not clean examples-v7 directory (which doesn't
exist)
diff
The annotated tag, upstream/2.16.dfsg has been created
at 07c4257ab9352d9237c246da3eee66d0b5aa467f (tag)
tagging 1294bd29717124b8c21f918a9dc4291ab2adb552 (commit)
replaces upstream/2.16
tagged by Mehdi Dogguy
on Sat Nov 8 22:04:03 2008 +0100
- Shortlog
The following commit has been merged in the pristine-tar branch:
commit b4b5f87632c649a56d6029aa72c30acf19a2ab45
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Sun Nov 9 12:31:29 2008 +0100
pristine-tar data for why_2.16.dfsg.orig.tar.gz
diff --git a/why_2.16.dfsg.orig.tar.gz.delta b
The following commit has been merged in the master branch:
commit 45faa86fc14a094567a74b878153a314b5c487ec
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Mon Nov 10 12:47:43 2008 +0100
Clean and complete cleaning in debian/rules
diff --git a/debian/clean b/debian/clean
index f3a8568..b2e7907
The following commit has been merged in the master branch:
commit b7214440017cf65044a4718212b2d7f7b75a9d51
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Sat Nov 15 17:12:54 2008 +0100
Add README.source in doc directory
diff --git a/debian/docs b/debian/docs
index e845566..0da37bf 100644
The following commit has been merged in the master branch:
commit e55995afbcd4a0ce82859b1c4dc57099422ed518
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Sat Nov 15 17:30:00 2008 +0100
Add description for makefile.in.dpatch
diff --git a/debian/patches/makefile.in.dpatch
b/debian/patches
The following commit has been merged in the master branch:
commit 1cb8947d4be605b2341efb2bfae123df03bed6f3
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Sat Nov 15 21:28:16 2008 +0100
* Add a binary package libjessie-ocaml-dev
+ Add jessie_lib.dpatch patch for Jessie library
The following commit has been merged in the master branch:
commit c3adee38d910d2c98b5cf96857a4c591ff7758f6
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Sat Nov 15 22:46:58 2008 +0100
Remove extra lines
diff --git a/debian/alt-ergo.dirs b/debian/alt-ergo.dirs
index 1acef58..3760460 100644
The following commit has been merged in the master branch:
commit 2ff07e3f1a5d5b1d419dfd40a7ceb02633e3c0b7
Author: Mehdi Dogguy [EMAIL PROTECTED]
Date: Tue Nov 25 16:28:23 2008 +0100
This is the right solution to not install jc.a on non native archs
diff --git a/debian/libjessie-ocaml
The following commit has been merged in the master branch:
commit 4fac2d7fad91fe63674f7861f06fdc7a3202ea7f
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Dec 17 18:40:05 2008 +0100
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 759ec64..c1422c8 100644
The annotated tag, upstream/2.17.dfsg has been created
at 4d59508d39ca8686ee4dfbf4d77a74751e1501e5 (tag)
tagging 303d036aa211e6847370e819aae64b0b50422e37 (commit)
replaces upstream/2.16.dfsg
tagged by Mehdi Dogguy
on Wed Dec 17 18:35:06 2008 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 45ec02f0183da1c103efe2c3885063fc53ee46c3
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Dec 20 10:27:11 2008 +0100
why-examples depends on why
diff --git a/debian/control b/debian/control
index 8fe3dc7..6b9566e 100644
The following commit has been merged in the master branch:
commit ebede5869d3f33808725521a8dd63e0540b70531
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sat Dec 27 17:18:16 2008 +0100
Ergo is now Alt-Ergo
diff --git a/debian/control b/debian/control
index 6b9566e..6bfecca 100644
The following commit has been merged in the master branch:
commit 55099ce38423022b8fd8f36b9444f9afcd3debe3
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Sun Jan 4 16:26:26 2009 +0100
why-examples recommends why and why recommends alt-ergo
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit dbb9f4befc4c072d224a4cb392e43730f689e5fa
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Jan 14 15:55:42 2009 +0100
Fix Vcs-* flags to point to Git repository
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit e03199d4f3c203d42548557ba7da45dd955eb4da
Merge: 700de871c4ab89a8100e36361dc06d5dd68f750f
b0bcb735076897ce01a3b223864c83d611186be2
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 6 17:14:16 2009 +0100
Merge commit
The following commit has been merged in the master branch:
commit a85efe2301372dd3e925af618430f6748675056f
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 6 17:21:48 2009 +0100
- Adding myself to uploaders and set maintainer to d-o-m
- Bump standards version to 3.8.0
The following commit has been merged in the pristine-tar branch:
commit 682305bccc7f99db7d8fb7af5501edb316e947d2
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 6 17:14:15 2009 +0100
pristine-tar data for menhir_20080912.dfsg.orig.tar.gz
diff --git a/menhir_20080912
The following commit has been merged in the master branch:
commit 26fe0dfd907802f7c8a6d4e7d822e4b79733b309
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Jan 19 09:24:54 2009 +0100
Bump debhelper compat to 7
diff --git a/debian/changelog b/debian/changelog
index 8a4c1be..ab5fcf4
The following commit has been merged in the master branch:
commit f62b173246beb0147ede2d7eca80e5cd8bc89470
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Jan 19 14:19:43 2009 +0100
Add src_Makefile.dpatch to not try to build cmx files on non-native archs
diff --git a/debian/patches
The following commit has been merged in the master branch:
commit 734fe2e5beea63edd9701fa1fcf7359e60929367
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Jan 19 14:20:25 2009 +0100
Shorten debian/rules
diff --git a/debian/control b/debian/control
index c49e407..2df06ce 100644
The following commit has been merged in the master branch:
commit 1dee1a7f5adc73e0457f2643d718325358ca927f
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Jan 19 14:21:54 2009 +0100
Add src_Makefile.dpatch and shorten debian/rules
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 7c25d928454b4d8ddd01081431aa8f2e355b4c83
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Jan 19 14:27:44 2009 +0100
Rename OCamlABI to OCamlRuntime
diff --git a/debian/control b/debian/control
index 2df06ce..66f0768
The following commit has been merged in the master branch:
commit f10c2953bd8f8fa57a5d8b740d7a9dc106d58457
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 16:15:00 2009 +0100
Add myself to uploaders
diff --git a/debian/control b/debian/control
index e6f8ea8..1e08f35 100644
The following commit has been merged in the master branch:
commit 8160ec8701aeadd6feae0cd9859f5da3fd5983fb
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 16:15:18 2009 +0100
Bump standards version (3.8.0)
diff --git a/debian/control b/debian/control
index 1e08f35..f2a2afc
The following commit has been merged in the master branch:
commit 68ea55af88d36126e921390dc4566f9318ca4251
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 16:17:58 2009 +0100
Add ${misc:Depends} as a dependency to mldonkey-gui
diff --git a/debian/control b/debian/control
index
The following commit has been merged in the master branch:
commit 3d2bcf60d1bea8a1eecab0a5db657605a5a1c3fc
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 16:18:33 2009 +0100
Use commands in $PATH
diff --git a/debian/mldonkey-server.postinst b/debian/mldonkey-server.postinst
The following commit has been merged in the master branch:
commit 598d738de45c27e639596e53aeedde43ce342be8
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 16:21:13 2009 +0100
Add DMUA flag
diff --git a/debian/control b/debian/control
index 607e33e..c54e871 100644
--- a/debian
The following commit has been merged in the master branch:
commit 40ff1ab75323f023c1ce45fdb87b91042b942167
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 16:21:26 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 9c5a8dc..6e07fd1 100644
The following commit has been merged in the master branch:
commit 554fd08fe96bcdbc4ae4b3e448ae5a32ef9a0d71
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 16:31:33 2009 +0100
Add Homepage field
diff --git a/debian/control b/debian/control
index c54e871..4d301d6 100644
The following commit has been merged in the master branch:
commit efdad13ab5c346ea07cb4bfdcbc531c44475f6d1
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 16:32:09 2009 +0100
ChangeLog update
diff --git a/debian/changelog b/debian/changelog
index 6e07fd1..de5fe0f 100644
The following commit has been merged in the master branch:
commit 72db2714f85810a11f7375550315115cdd7c3cae
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 16:33:13 2009 +0100
Add homepage field
diff --git a/debian/changelog b/debian/changelog
index b04e073..6d4e772 100644
The following commit has been merged in the master branch:
commit 330fd303c5f3bd70876fed37a921178056cb41d7
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Jan 21 17:48:56 2009 +0100
HOWTO update/publish the policy
diff --git a/debian/README.Debian b/debian/README.Debian
index f40d0d3
The following commit has been merged in the master branch:
commit a073ffc4e4b22f3c050de75576e7b8480bb1941b
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Jan 21 11:02:07 2009 +0100
Add a comment
diff --git a/debian/patches/13_tiger_tree_corruption.dpatch
b/debian/patches
The following commit has been merged in the master branch:
commit f4de24d8b51882608f90dddcae6920dc27b1
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jan 20 19:15:38 2009 +0100
Use ocamlbuild to build utils
diff --git a/debian/utils/Makefile b/debian/utils/Makefile
index a79904a
The following commit has been merged in the master branch:
commit e71fc4c5ad755243c87d4f023235a1365b8451ba
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Jan 22 19:30:41 2009 +0100
Using debhelper 7
diff --git a/debian/compat b/debian/compat
index 7ed6ff8..7f8f011 100644
--- a/debian
The following commit has been merged in the master branch:
commit 3aaac4e8577ee085e5388869c12be0aa571ec24b
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Jan 22 19:31:27 2009 +0100
Shorten debian/rules
diff --git a/debian/rules b/debian/rules
index e92bd1d..e528cc3 100755
The following commit has been merged in the master branch:
commit e3e9a6280b11a12131a03237d12e90b13b33fbcd
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Jan 22 19:33:44 2009 +0100
Creating a manpage for mldonkey (link to mlnet's manpage)
diff --git a/debian/mldonkey-server.links b
The following commit has been merged in the master branch:
commit f9ed93f50d36aadabb58565f2d5e034dc12f48b5
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Jan 22 19:49:23 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index de5fe0f..a8064ff 100644
The following commit has been merged in the master branch:
commit 97a7fbeb0b377f563df4854f2b415af14f70eaf3
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Jan 23 12:42:00 2009 +0100
Updating the patch
diff --git a/debian/patches/src_Makefile.dpatch
b/debian/patches
The following commit has been merged in the master branch:
commit f7b09845f381afb5b6ad19d700c67c05a1343931
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Jan 23 12:43:06 2009 +0100
Installing MenhirLib
diff --git a/debian/rules b/debian/rules
index 2252fa7..d3ee3f7 100755
The following commit has been merged in the master branch:
commit f6f8bdbc7058f7df01fb8495b88d42b3642b53b7
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Jan 23 12:43:22 2009 +0100
Minor changes in debian/rules
diff --git a/debian/rules b/debian/rules
index d3ee3f7..db098e1 100755
The following commit has been merged in the master branch:
commit 3268661f6641d03307eaa2f27421490c4757d1a5
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Jan 23 12:43:50 2009 +0100
OCamlfind is not used, reset ocaml dependency to 3.10.2
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 1d16edf83d0531c7c4d11cc796e2c965868f3e0c
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Jan 23 12:44:22 2009 +0100
changelog update
diff --git a/debian/changelog b/debian/changelog
index 6d4e772..c252a15 100644
The following commit has been merged in the master branch:
commit 5fc01b7dd1265aabc2335de4436ac1d75775ee35
Merge: 55099ce38423022b8fd8f36b9444f9afcd3debe3
dd8738e3503aec3e1383fdaab3205c39115587b0
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 2 18:14:18 2009 +0100
Merge commit
The following commit has been merged in the master branch:
commit 5e53c332ee44f4c2c17d19aafe45cd5a55bb2cc9
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 2 18:27:20 2009 +0100
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 5b82e33..f979967 100644
The following commit has been merged in the pristine-tar branch:
commit 3da1431d146e810fe0c5ad5fd707ba31b34c14d9
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 2 18:14:18 2009 +0100
pristine-tar data for why_2.18.dfsg.orig.tar.gz
diff --git a/why_2.18.dfsg.orig.tar.gz.delta b
The annotated tag, upstream/2.18.dfsg has been created
at 69eb58316f5b2ba9363133f2865ee07c35e638d6 (tag)
tagging dd8738e3503aec3e1383fdaab3205c39115587b0 (commit)
replaces upstream/2.17.dfsg
tagged by Mehdi Dogguy
on Mon Feb 2 18:14:18 2009 +0100
- Shortlog
The branch, pristine-tar has been created
at a53ea3e25bac2a198f6203a397c3c68e46ed9957 (commit)
- Shortlog
commit a53ea3e25bac2a198f6203a397c3c68e46ed9957
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 6 14:34:52
The branch, upstream has been created
at ad739bd62e0159181b762449c668233660adf18f (commit)
- Shortlog
commit ad739bd62e0159181b762449c668233660adf18f
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 6 14:34:50 2009
The branch, master has been created
at ad739bd62e0159181b762449c668233660adf18f (commit)
- Shortlog
commit ad739bd62e0159181b762449c668233660adf18f
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 6 14:34:50 2009
The annotated tag, upstream/3.11.0 has been created
at 1fd6c2675a28105773dc56568a0c16ae0474d70e (tag)
tagging ad739bd62e0159181b762449c668233660adf18f (commit)
tagged by Mehdi Dogguy
on Fri Feb 6 14:34:52 2009 +0100
- Shortlog
The following commit has been merged in the master branch:
commit c5897bfe391653e202b201165e4cf2d7a496f4f3
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:20:54 2009 +0100
Shorten debian/rules
diff --git a/debian/menhir.clean b/debian/menhir.clean
new file mode 100644
index
The following commit has been merged in the master branch:
commit 207bf93fe91424365cc661a97bcc1d114a63da65
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:22:27 2009 +0100
- Bump ocaml version to 3.11
- Add build-dependency on dh-ocaml
diff --git a/debian/changelog b
The following commit has been merged in the master branch:
commit 0cea82f87b7ced9d749775f70eb33cebfd2491a7
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:30:25 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index a30208b..1fbc060 100644
The following commit has been merged in the master branch:
commit 6044e364c99666743d4c587dcc8aad86b7518d2d
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:45:33 2009 +0100
Add misc:Depends
diff --git a/debian/control b/debian/control
index 13930e0..b5e1b84 100644
The following commit has been merged in the master branch:
commit 54c92ca0a796668c4b8154cbac2265d07ca5239a
Merge: 6044e364c99666743d4c587dcc8aad86b7518d2d
302c57f39750387bf70e9de25a71f49f98f574e5
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:45:36 2009 +0100
Merge commit
The following commit has been merged in the pristine-tar branch:
commit d714df6d9bfc87e037d3b96e89f6cf53b77ad08e
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:45:35 2009 +0100
pristine-tar data for menhir_20090204.dfsg.orig.tar.gz
diff --git a/menhir_20090204
The annotated tag, upstream/20090204.dfsg has been created
at 58e4452c99531795eb74e5f7da1b2910794969b6 (tag)
tagging 302c57f39750387bf70e9de25a71f49f98f574e5 (commit)
replaces upstream/20080912.dfsg
tagged by Mehdi Dogguy
on Wed Feb 18 16:45:36 2009 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 4b4e116d37be8b6fa8abadc8883090137113944d
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:49:59 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 6466ea5..c676724 100644
The following commit has been merged in the master branch:
commit 6664a4110295f4cb274632b726de25a4be0c4674
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 17:03:10 2009 +0100
Update src_Makefile.dpatch
diff --git a/debian/changelog b/debian/changelog
index c676724..8d06467
The following commit has been merged in the master branch:
commit cb7b61ca5fa7bfaa451e05f97b29ebf10ef7531f
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 18:11:05 2009 +0100
Add DMUA flag with Sam's blessing
diff --git a/debian/changelog b/debian/changelog
index 8d06467
The following commit has been merged in the master branch:
commit 902b600b202905679b383ae1106bf9eeba992947
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 19 13:13:49 2009 +0100
PREFIX is set bask to /usr
diff --git a/debian/rules b/debian/rules
index b5368e9..360c9a7 100755
The following commit has been merged in the master branch:
commit f31c0ca180cd44572073070817a566dc163c8879
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 19 13:14:29 2009 +0100
cahngelog update
diff --git a/debian/changelog b/debian/changelog
index 9f4704a..0659d71 100644
- Shortlog
Debian release 20090204.dfsg-1
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.9 (GNU/Linux)
iD8DBQBJnVFo1cqbBPLEI7wRAuxwAKDVKCi0RLxSmpcAhHxkCMT3DVnz+ACeJRn1
QZUh8KOdDd39wbMHieMEqKM=
=sX6l
-END PGP SIGNATURE-
Mehdi Dogguy (9
The following commit has been merged in the master branch:
commit 6823705c343dafbc184e9b50257cd891bc38a3ec
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 19 15:47:38 2009 +0100
Housekeeping: update some watch files
diff --git a/debian/changelog b/debian/changelog
index c29f3dc
The following commit has been merged in the master branch:
commit e0e24cad277e094132926a6aeedf0876e39e621c
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 19 15:47:46 2009 +0100
Housekeeping: update some watch files
diff --git a/debian/changelog b/debian/changelog
index 04255e3
The following commit has been merged in the master branch:
commit 31f3ca07c18885e924516b5e722e8d8cbe5712f2
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 19 15:47:43 2009 +0100
Housekeeping: update some watch files
diff --git a/debian/changelog b/debian/changelog
index 7642ca2
The following commit has been merged in the master branch:
commit 4c1ae65321208a00509e1b192e86968a9eb19b3c
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 19 15:47:50 2009 +0100
Housekeeping: update some watch files
diff --git a/debian/changelog b/debian/changelog
index 4fe6bce
The following commit has been merged in the master branch:
commit 6a10154d9bd2a722ddb775b0c0b3a70baeafce90
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 19 18:34:22 2009 +0100
Depend on coq-${F:CoqABI} instead of Coq
diff --git a/debian/changelog b/debian/changelog
index d677578
The following commit has been merged in the master branch:
commit 68ca4f1fbff2f6810380fa1b759b6d90c363e7d8
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:08:58 2009 +0100
Add variable OCAML_BEST in ocamlvars.mk, Add myself to uploaders
diff --git a/debian/control b/debian
The following commit has been merged in the master branch:
commit 947ba222fb59625da4f98c8c4ac37fe6d0789f25
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:09:14 2009 +0100
changelog update
diff --git a/debian/changelog b/debian/changelog
index f356bfc..38277e2 100644
The following commit has been merged in the master branch:
commit ed0e411063cdc7aa389adc525e7491d9921522ee
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:22:56 2009 +0100
Remove extra whitespaces
diff --git a/share/ocamlvars.mk b/share/ocamlvars.mk
index 06417d0..75ad992
The following commit has been merged in the master branch:
commit 050be647272e5719670a65f702af53a797a259ac
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:20:57 2009 +0100
Use predefined variable OCAML_BEST (dh-ocaml = 0.3)
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 85357f10eb3cbdb70ec9eb50992cb1fcba0f5b7e
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:32:08 2009 +0100
The opposite is better
diff --git a/debian/rules b/debian/rules
index 5096bca..a44e2b8 100755
The following commit has been merged in the master branch:
commit a005d865cee494be71af33d1ed22ce022b0ff38c
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 17:38:43 2009 +0100
They are already defined in ocamlvars.mk
diff --git a/debian/rules b/debian/rules
index 03990d8
The following commit has been merged in the master branch:
commit 6fb02c1ce54ae01815c7ef919e17cc8b708f60bf
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 17:39:02 2009 +0100
Use the one defined in ocamlvars.mk
diff --git a/debian/rules b/debian/rules
index 4912c4b..9bdb596
The following commit has been merged in the master branch:
commit dee43569a26e1ea76ccb44bffb6421f513afa858
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 23 11:02:26 2009 +0100
Fix a typo in description of libcameleon-ocaml-dev
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 3a801b10e47b4c4eacf9f9421813ee52834b8363
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 23 11:08:44 2009 +0100
Bump dh-ocaml version
diff --git a/debian/control b/debian/control
index b78f84b..6f6c549 100644
The following commit has been merged in the master branch:
commit eb0121f32905dffe3d8352956aef55afcba63601
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 23 11:10:42 2009 +0100
New binary package: libmenhir-ocaml-dev
diff --git a/debian/control b/debian/control
index 6f6c549
The following commit has been merged in the master branch:
commit 3e45c7f98d400d0575e72c3db38e38d1f06f61d5
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 23 11:11:29 2009 +0100
Use correct substvars for each package
diff --git a/debian/control b/debian/control
index 241a5ba
The following commit has been merged in the master branch:
commit 9a0df0cd5b8914d0e41ed7fadbfa2cbaf65df061
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 23 11:17:05 2009 +0100
remove no longer needed SVN setting
diff --git a/debian/svn-deblayout b/debian/svn-deblayout
deleted
The following commit has been merged in the master branch:
commit 5091c16029262d57e2a3b8e6df5f742ea2976b79
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 23 11:23:57 2009 +0100
Add {dirs,install} files for libmenhir-ocaml-dev, and updating others
diff --git a/debian/dirs b/debian
The following commit has been merged in the master branch:
commit 55aeafe1276b534e00c6f59fa97365e44c982f29
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Mon Feb 23 11:18:14 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 7991087..3bd8f33 100644
The following commit has been merged in the master branch:
commit c595582ba5e510ab57ad33516bbf8d399e333400
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Feb 24 10:33:28 2009 +0100
Use debhelper 7, ocaml 3.11 and add dh-ocaml to build-dep
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 8478821ed8efbb77f2f8ac17684e9cd083bc184b
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Feb 24 10:33:54 2009 +0100
Add licences where needed
diff --git a/debian/copyright b/debian/copyright
index 701557e..b1a3572
The following commit has been merged in the master branch:
commit db2798c6c0181fac29926efce3cbee8dbcfb2a38
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Feb 24 10:34:15 2009 +0100
Add alt-ergo.install file
diff --git a/debian/alt-ergo.install b/debian/alt-ergo.install
new file mode
The following commit has been merged in the master branch:
commit 0c06064fa63e953d0aeec988569fdf52aadbddb0
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Feb 24 10:34:43 2009 +0100
Use dh-ocaml predefined variables
diff --git a/debian/rules b/debian/rules
index 561cd07..ae58f80
The following commit has been merged in the master branch:
commit 615b3971d0100011b5f9634b54faa53c3f697275
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Feb 24 10:34:53 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 437c25c..78f4557 100644
The following commit has been merged in the master branch:
commit b096995b0c985d0b900aead1c6a569377902dec2
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Feb 24 10:48:59 2009 +0100
Initial changelog ≃ empty changelog
diff --git a/debian/changelog b/debian/changelog
index 78f4557
1 - 100 of 2444 matches
Mail list logo