The annotated tag, upstream/0.8.1 has been created
at 66b0064f03fd7108d44577f8824c17aa0e23bf80 (tag)
tagging 11d5e3f5b37300af3cc8d58561aaaf415c31b25e (commit)
tagged by Sylvain Le Gall
on Tue Nov 30 20:31:56 2010 +0100
- Shortlog
The branch, master has been created
at 7aaff7feca4faf1039f14fb70799f05a01763c53 (commit)
- Shortlog
commit 7aaff7feca4faf1039f14fb70799f05a01763c53
Author: Sylvain Le Gall
Date: Tue Nov 30 21:56:23 2010 +0100
Imported
The branch, pristine-tar has been created
at 3232e76abfdad578b773cc1bc3834fd6366064c1 (commit)
- Shortlog
commit 3232e76abfdad578b773cc1bc3834fd6366064c1
Author: Sylvain Le Gall
Date: Tue Nov 30 21:56:24 2010 +0100
The branch, upstream has been created
at 7aaff7feca4faf1039f14fb70799f05a01763c53 (commit)
- Shortlog
commit 7aaff7feca4faf1039f14fb70799f05a01763c53
Author: Sylvain Le Gall
Date: Tue Nov 30 21:56:23 2010 +0100
Imported
The annotated tag, upstream/1.0.2 has been created
at 488aeb2b1fdbee5e9166621e1c7ad99c12840976 (tag)
tagging 7aaff7feca4faf1039f14fb70799f05a01763c53 (commit)
tagged by Sylvain Le Gall
on Tue Nov 30 21:56:24 2010 +0100
- Shortlog
The annotated tag, debian/1.8-1 has been created
at 3324d65ccb85b60baaf65852361cf0165901eb96 (tag)
tagging 509bfd561403b59eb9ac66581e920a9fb4e4428d (commit)
replaces upstream/1.8
tagged by Sylvain Le Gall
on Thu Dec 2 01:00:40 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 1d1ad1825bdcd0575c88d758520159b10e60687f
Author: Sylvain Le Gall
Date: Wed Dec 1 13:00:01 2010 +
Fix clean and distclean targets
diff --git a/Makefile b/Makefile
index 3458442..882ffd6 100644
--- a/Makefile
+++ b
The following commit has been merged in the master branch:
commit 5a05b5c3de3417e2399e36c373d149c608cd4d3d
Author: Sylvain Le Gall
Date: Wed Dec 1 14:28:06 2010 +
Further support for OASIS
diff --git a/_oasis b/_oasis
index 2ebbe0d..95c585d 100644
--- a/_oasis
+++ b/_oasis
@@ -2,7
The following commit has been merged in the master branch:
commit a47e73ca0cd8d633cfdb1cae39b1ff4aa9976302
Author: Sylvain Le Gall
Date: Wed Dec 1 15:22:49 2010 +
Add a build depends on camlp4
diff --git a/META b/META
index e8fb5ba..af48ddd 100644
--- a/META
+++ b/META
@@ -1,7 +1,8
The following commit has been merged in the master branch:
commit 14e79b310656359a5f4e5bb10ef9b3f92d165fec
Author: Sylvain Le Gall
Date: Wed Dec 1 15:30:45 2010 +
Install doc and example
diff --git a/debian/libxstrp4-ocaml-dev.docs b/debian/libxstrp4-camlp4-dev.docs
similarity index
The following commit has been merged in the master branch:
commit 77af884e8539a1674829e86341b0789b8d6fa3fd
Author: Sylvain Le Gall
Date: Thu Dec 2 00:53:57 2010 +0100
Fix cowbuilder
diff --git a/debian/control b/debian/control
index 9ed72c9..4ab0505 100644
--- a/debian/control
+++ b
The following commit has been merged in the master branch:
commit 1b7879e7f0e3abfc20286760a9479d1728983754
Author: Sylvain Le Gall
Date: Thu Dec 2 00:56:43 2010 +0100
Update _oasis to reflect the need of camlp4, the tool
diff --git a/_oasis b/_oasis
index 4ae2f38..0f42e7b 100644
--- a
The following commit has been merged in the master branch:
commit 509bfd561403b59eb9ac66581e920a9fb4e4428d
Author: Sylvain Le Gall
Date: Thu Dec 2 01:00:14 2010 +0100
Let the patches applied
diff --git a/debian/gbp.conf b/debian/gbp.conf
index 6c7ed3b..f73414e 100644
--- a/debian/gbp.conf
The annotated tag, debian/1.2-1 has been created
at 8e169f45de9f13f1de77a076bb1105ef126b4a61 (tag)
tagging f0aab8d9ce2e4827953939b765107408ee20a08d (commit)
replaces upstream/1.2
tagged by Sylvain Le Gall
on Thu Dec 2 11:30:49 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit d0e4edbcd6fe9d793b472bea165a070ab80b0871
Author: Sylvain Le Gall
Date: Wed Dec 1 16:33:23 2010 +
Don't use make in clean
diff --git a/_oasis b/_oasis
index ad48432..798185d 100644
--- a/_oasis
+++ b/_oasis
@@
The following commit has been merged in the master branch:
commit 146029354a89d7e2d6c1f4b66e4118300cf00b42
Author: Sylvain Le Gall
Date: Thu Dec 2 11:25:48 2010 +0100
Prepare release
diff --git a/debian/changelog b/debian/changelog
index e2fc4b0..d0d7109 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit 10d84eb5eca1bce58f32274b94b892f876747c0c
Author: Sylvain Le Gall
Date: Thu Dec 2 11:27:14 2010 +0100
Keep quilt applied
diff --git a/debian/gbp.conf b/debian/gbp.conf
index 6c7ed3b..f73414e 100644
--- a/debian/gbp.conf
The following commit has been merged in the master branch:
commit f0aab8d9ce2e4827953939b765107408ee20a08d
Author: Sylvain Le Gall
Date: Thu Dec 2 11:29:25 2010 +0100
Update patch
diff --git a/debian/patches/debian-changes-1.2-1
b/debian/patches/debian-changes-1.2-1
index b21c5b3
The annotated tag, debian/1.0.0-1 has been created
at d8f5cfb1cea42f3b72941575132f444d1dcab032 (tag)
tagging 480d23aa710c8bd9cf610c7f108ad1defcf2f837 (commit)
replaces upstream/1.0.0
tagged by Sylvain Le Gall
on Thu Dec 2 15:38:18 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 480d23aa710c8bd9cf610c7f108ad1defcf2f837
Author: Sylvain Le Gall
Date: Thu Dec 2 15:35:39 2010 +0100
Initial packaging
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 000..afeb8de
--- /dev
The annotated tag, debian/1.3.0-1 has been created
at beac298447275bd6c02398e602acf6569031c158 (tag)
tagging e19287b44539769b6246ab39d6bd1c07fffb10d3 (commit)
replaces upstream/1.3.0
tagged by Sylvain Le Gall
on Thu Dec 2 16:36:30 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit e19287b44539769b6246ab39d6bd1c07fffb10d3
Author: Sylvain Le Gall
Date: Thu Dec 2 16:34:00 2010 +0100
Initial packaging
diff --git a/debian/camlmix.1 b/debian/camlmix.1
new file mode 100644
index 000..8e9f9c0
--- /dev
The annotated tag, debian/1.0.2-1 has been created
at 241aeaa3e766837771bef8910bdb91c7098eff46 (tag)
tagging a7cf40c207f41dbd0fed7a02bf83feba85477e3f (commit)
replaces upstream/1.0.2
tagged by Sylvain Le Gall
on Thu Dec 2 22:30:09 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit ce7f1f7308eb4c9e537ba4499b1446bfa1f74a04
Author: Sylvain Le Gall
Date: Thu Dec 2 17:58:55 2010 +0100
Initial packaging
diff --git a/Makefile b/Makefile
index 5f399cb..baf1dda 100644
--- a/Makefile
+++ b/Makefile
@@ -19,8
The following commit has been merged in the master branch:
commit a7cf40c207f41dbd0fed7a02bf83feba85477e3f
Author: Sylvain Le Gall
Date: Thu Dec 2 22:28:32 2010 +0100
Prepare release, add missing dependencies
diff --git a/debian/changelog b/debian/changelog
index d80f1e5..82d2a43 100644
The branch, master has been created
at de6015eea78ca4d8bb93cdee85b9f0269ea47260 (commit)
- Shortlog
commit de6015eea78ca4d8bb93cdee85b9f0269ea47260
Author: Sylvain Le Gall
Date: Thu Dec 2 22:34:36 2010 +0100
Imported
The branch, pristine-tar has been created
at 9d604a73d953a3198a660262e27bd3fa3f544d6a (commit)
- Shortlog
commit 9d604a73d953a3198a660262e27bd3fa3f544d6a
Author: Sylvain Le Gall
Date: Thu Dec 2 22:34:36 2010 +0100
The branch, upstream has been created
at de6015eea78ca4d8bb93cdee85b9f0269ea47260 (commit)
- Shortlog
commit de6015eea78ca4d8bb93cdee85b9f0269ea47260
Author: Sylvain Le Gall
Date: Thu Dec 2 22:34:36 2010 +0100
Imported
The annotated tag, upstream/0.9.2 has been created
at 568452b902f34b0c184bc8cc2f8054666b1a33de (tag)
tagging de6015eea78ca4d8bb93cdee85b9f0269ea47260 (commit)
tagged by Sylvain Le Gall
on Thu Dec 2 22:34:36 2010 +0100
- Shortlog
The branch, master has been created
at 3b2bcd7231cc62e0ff94906475c7ca78489cad71 (commit)
- Shortlog
commit 3b2bcd7231cc62e0ff94906475c7ca78489cad71
Author: Sylvain Le Gall
Date: Thu Dec 2 23:36:08 2010 +0100
Imported
The branch, pristine-tar has been created
at b96c83fd30b0de48ed2d4d8d2238423c1b9da196 (commit)
- Shortlog
commit b96c83fd30b0de48ed2d4d8d2238423c1b9da196
Author: Sylvain Le Gall
Date: Thu Dec 2 23:36:09 2010 +0100
The annotated tag, upstream/1.4.1 has been created
at e1b7f060ca038b62d21907f74ff3bd4b1312cc13 (tag)
tagging 3b2bcd7231cc62e0ff94906475c7ca78489cad71 (commit)
tagged by Sylvain Le Gall
on Thu Dec 2 23:36:09 2010 +0100
- Shortlog
The branch, upstream has been created
at 3b2bcd7231cc62e0ff94906475c7ca78489cad71 (commit)
- Shortlog
commit 3b2bcd7231cc62e0ff94906475c7ca78489cad71
Author: Sylvain Le Gall
Date: Thu Dec 2 23:36:08 2010 +0100
Imported
The annotated tag, debian/1.4.1-1 has been created
at 4e0b312e2fa15413c85ac2ce672e4a23aac4bebe (tag)
tagging 9341347d80dce7062f5d3f60cc262bfe00f6d347 (commit)
replaces upstream/1.4.1
tagged by Sylvain Le Gall
on Fri Dec 3 00:52:55 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 65132193624cc410963fa76aeb765e04e5d145cb
Author: Sylvain Le Gall
Date: Fri Dec 3 00:24:44 2010 +0100
Initial packaging
diff --git a/Makefile b/Makefile
index cb88035..e31f73e 100644
--- a/Makefile
+++ b/Makefile
@@ -57,24
The annotated tag, debian/1.0.0-1 has been created
at 04f97f49d3ad37bb280754e3501f8c2f8dba6adf (tag)
tagging 3b424aabc0761eef79d9a804b8815f3520b07db6 (commit)
replaces upstream/1.0.0
tagged by Sylvain Le Gall
on Fri Dec 3 01:10:15 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 3b424aabc0761eef79d9a804b8815f3520b07db6
Author: Sylvain Le Gall
Date: Fri Dec 3 01:08:13 2010 +0100
Initial packaging
diff --git a/Makefile b/Makefile
index c10111c..09d38ba 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6
The annotated tag, debian/0.9.2-1 has been created
at f388fde815152b49a768fbccce838d29211b78aa (tag)
tagging 6c6768fec935f3caae064c85d5b446c86ea093bb (commit)
replaces upstream/0.9.2
tagged by Sylvain Le Gall
on Fri Dec 3 01:41:37 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 914c4e15fae7aedc902ddb44d84196515437009d
Author: Sylvain Le Gall
Date: Fri Dec 3 01:32:51 2010 +0100
Initial packaging
diff --git a/Makefile b/Makefile
index e67eb84..8e36586 100644
--- a/Makefile
+++ b/Makefile
@@ -144,6
The following commit has been merged in the master branch:
commit 6c6768fec935f3caae064c85d5b446c86ea093bb
Author: Sylvain Le Gall
Date: Fri Dec 3 01:39:31 2010 +0100
Compile on non-native arches
diff --git a/Makefile b/Makefile
index 8e36586..3a865d1 100644
--- a/Makefile
+++ b/Makefile
The annotated tag, debian/0.9.0-1 has been created
at cdbec9e70845e76b8e06a63fc21af1e2431e2815 (tag)
tagging f84ee528e9b735e5a1645c7ac257a5da9a2028dc (commit)
replaces upstream/0.9.0
tagged by Sylvain Le Gall
on Sat Dec 4 23:06:49 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit f84ee528e9b735e5a1645c7ac257a5da9a2028dc
Author: Sylvain Le Gall
Date: Sat Dec 4 23:04:17 2010 +0100
Initial packaging
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 000..33b3b9f
--- /dev
The annotated tag, debian/0.9.2-2 has been created
at 066fd4aad09cbfad23bb29621f34d25890e18904 (tag)
tagging 2024887190cd02fb61b3809fcf1421692531cf91 (commit)
replaces debian/0.9.2-1
tagged by Sylvain Le Gall
on Sat Dec 4 23:44:22 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 154a9ee0f654250d84c763e60d26d91a1394c4b6
Author: Sylvain Le Gall
Date: Sat Dec 4 23:43:28 2010 +0100
Add doc-base for ATD manual
diff --git a/debian/changelog b/debian/changelog
index 6f8d33f..525d4a2 100644
--- a/debian
The following commit has been merged in the master branch:
commit 2024887190cd02fb61b3809fcf1421692531cf91
Author: Sylvain Le Gall
Date: Sat Dec 4 23:43:56 2010 +0100
Prepare release
diff --git a/debian/changelog b/debian/changelog
index 525d4a2..fe17dcc 100644
--- a/debian/changelog
The annotated tag, debian/0.9.1-1 has been created
at b39479af73e511152939d5e22b51fb5ca88faddc (tag)
tagging 3acfe4ec7d884b9c457c03e8b1e42ba523e06c88 (commit)
replaces upstream/0.9.1
tagged by Sylvain Le Gall
on Sun Dec 5 00:30:06 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 3acfe4ec7d884b9c457c03e8b1e42ba523e06c88
Author: Sylvain Le Gall
Date: Sun Dec 5 00:29:38 2010 +0100
Initial packaging
diff --git a/Makefile b/Makefile
index c212eaf..4961c97 100644
--- a/Makefile
+++ b/Makefile
@@ -45,6
The annotated tag, debian/0.8.1-1 has been created
at 60f40f8321073f1b6c735d2104980e0ee652feca (tag)
tagging 131dbb6c0e7dc6e9e0118959f27005f369f74343 (commit)
replaces upstream/0.8.1
tagged by Sylvain Le Gall
on Sun Dec 5 00:43:07 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 131dbb6c0e7dc6e9e0118959f27005f369f74343
Author: Sylvain Le Gall
Date: Sun Dec 5 00:42:39 2010 +0100
Initial packaging
diff --git a/Makefile b/Makefile
index dd1f3fd..5e97a2b 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7
The annotated tag, debian/1.0.1-1 has been created
at 93d66ddf7ed298cf2002806efe7496014e4de7cb (tag)
tagging ad6895f79e48b2942c00f92d1a17af3d27375ebb (commit)
replaces upstream/1.0.1
tagged by Sylvain Le Gall
on Sun Dec 5 01:02:20 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit ad6895f79e48b2942c00f92d1a17af3d27375ebb
Author: Sylvain Le Gall
Date: Sun Dec 5 01:01:50 2010 +0100
Initial packaging
diff --git a/Makefile b/Makefile
index efa3d7e..71b9493 100644
--- a/Makefile
+++ b/Makefile
@@ -212,8
The annotated tag, debian/1.0.2-1 has been created
at b4d49887fff1ffc395eee90c1434ab8b063e09e1 (tag)
tagging 4c08c6f195ede5c455c6e59e74f3b01b431d2529 (commit)
replaces upstream/1.0.2
tagged by Sylvain Le Gall
on Tue Dec 7 21:36:42 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 4c08c6f195ede5c455c6e59e74f3b01b431d2529
Author: Sylvain Le Gall
Date: Tue Dec 7 15:56:39 2010 +
Initial packaging
diff --git a/Makefile b/Makefile
index a4887b8..9b632ef 100644
--- a/Makefile
+++ b/Makefile
@@ -79,10
The annotated tag, debian/0.1.1a-1 has been created
at 9ff6cb0f9395577aac4e1b1a71b9e860355734a1 (tag)
tagging 14b82ce2c727ec271da4bea0ee662d5152a83e35 (commit)
replaces upstream/0.1.1a
tagged by Sylvain Le Gall
on Tue Dec 7 22:23:00 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 14b82ce2c727ec271da4bea0ee662d5152a83e35
Author: Sylvain Le Gall
Date: Tue Dec 7 22:22:18 2010 +0100
Initial packaging
diff --git a/OCamlMakefile b/OCamlMakefile
index 731736e..c674c9f 100644
--- a/OCamlMakefile
+++ b
The branch, master has been created
at 624f8554faadc972968053c5b40bd79f762d (commit)
- Shortlog
commit 624f8554faadc972968053c5b40bd79f762d
Author: Sylvain Le Gall
Date: Wed Dec 8 09:10:54 2010 +
Imported
The branch, pristine-tar has been created
at a4da6be29151934f52fbabcf35d5acc79cff8ccd (commit)
- Shortlog
commit a4da6be29151934f52fbabcf35d5acc79cff8ccd
Author: Sylvain Le Gall
Date: Wed Dec 8 09:10:54 2010 +
The branch, upstream has been created
at 624f8554faadc972968053c5b40bd79f762d (commit)
- Shortlog
commit 624f8554faadc972968053c5b40bd79f762d
Author: Sylvain Le Gall
Date: Wed Dec 8 09:10:54 2010 +
Imported
The annotated tag, upstream/0.2.3 has been created
at 9211c22d1f3e9e749d06610f53299526fa92f94f (tag)
tagging 624f8554faadc972968053c5b40bd79f762d (commit)
tagged by Sylvain Le Gall
on Wed Dec 8 09:10:54 2010 +
- Shortlog
The following commit has been merged in the master branch:
commit c17cce1a80ef8e25a3ed29c51a90f3f884fb8228
Author: Sylvain Le Gall
Date: Wed Dec 8 10:01:28 2010 +
Add URL of other repositories to take into consideration
diff --git a/debian/README.Debian b/debian/README.Debian
new file
The annotated tag, debian/0.2.3-1 has been created
at a7308a5f5ebe54c84b67f21b969d76d1a5674aa7 (tag)
tagging f111944273494d96c1ebb83a038c68444aece7a8 (commit)
replaces upstream/0.2.3
tagged by Sylvain Le Gall
on Wed Dec 8 11:28:49 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit f111944273494d96c1ebb83a038c68444aece7a8
Author: Sylvain Le Gall
Date: Wed Dec 8 11:28:00 2010 +0100
Initial packaging
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 000..d47fbd0
--- /dev
The following commit has been merged in the master branch:
commit ebb823fd985258654015ba9fa34cb5fd26747740
Author: Sylvain Le Gall
Date: Mon Nov 22 15:46:30 2010 +0100
Generate .install file for standard binary package
diff --git a/src/DhFiles.ml b/src/DhFiles.ml
index f0de786..8c8f1f4
The following commit has been merged in the master branch:
commit 0d662fe028643228c4ca732eff19246bbdec12c0
Author: Sylvain Le Gall
Date: Mon Nov 22 16:00:53 2010 +0100
Allow to choose name of the executable package
diff --git a/src/Common.ml b/src/Common.ml
index c02c60e..4bb60de 100644
The following commit has been merged in the master branch:
commit 88bb513ff733230944a581e9b143d681cd8a5056
Author: Sylvain Le Gall
Date: Wed Dec 1 13:42:35 2010 +
Use LicenseFile to copy non common license text.
diff --git a/src/Copyright.ml b/src/Copyright.ml
index f6b7a5e..277af3b
The following commit has been merged in the master branch:
commit 37e7e5530e3f26b42f5628706f10b6a0e6c42244
Author: Sylvain Le Gall
Date: Wed Dec 1 14:19:42 2010 +
Be more precise about files installed, check .cmi/.ml/.mli...
diff --git a/src/DhFiles.ml b/src/DhFiles.ml
index c825eb1
The branch, experimental/master has been created
at 1ce02a5c4114efde1581acc3185088be6ffed082 (commit)
- Shortlog
commit 1ce02a5c4114efde1581acc3185088be6ffed082
Author: Sylvain Le Gall
Date: Sat Jan 15 01:15:13 2011 +0100
The branch, experimental/upstream has been created
at 9f8996b0285b5e67b3ae4fb27c81eef840163657 (commit)
- Shortlog
---
--
ounit packaging
___
The following commit has been merged in the pristine-tar branch:
commit 14580043d63756962a6f99fe5c1d7cefbae18eee
Author: Sylvain Le Gall
Date: Fri Jan 7 16:16:08 2011 +
pristine-tar data for ounit_1.1.0.orig.tar.gz
diff --git a/ounit_1.1.0.orig.tar.gz.delta b/ounit_1.1.0
The annotated tag, debian/1.1.0-1 has been created
at bd910970d34b8f7a4a1746475ea7004a1befaa35 (tag)
tagging 1ce02a5c4114efde1581acc3185088be6ffed082 (commit)
replaces debian/1.0.3-5
tagged by Sylvain Le Gall
on Sat Jan 15 01:27:33 2011 +0100
- Shortlog
The annotated tag, upstream/1.1.0 has been created
at d8e0bea13793d7720f45b931f040549c24f8c33f (tag)
tagging 9f8996b0285b5e67b3ae4fb27c81eef840163657 (commit)
replaces upstream/1.0.3
tagged by Sylvain Le Gall
on Fri Jan 7 16:16:09 2011 +
- Shortlog
The annotated tag, debian/1.1.0-2 has been created
at 8bb3fc463048d27d0d8d85665cc2bb0752d4c5fb (tag)
tagging 8bf995e576a7765be181b2749ee99a5e77390b88 (commit)
replaces debian/1.1.0-1
tagged by Sylvain Le Gall
on Sat Jan 15 14:41:51 2011 +0100
- Shortlog
The following commit has been merged in the experimental/master branch:
commit 8bf995e576a7765be181b2749ee99a5e77390b88
Author: Sylvain Le Gall
Date: Sat Jan 15 14:41:08 2011 +0100
Fix "FTBFS: sh: camlp4: not found", add camlp4 to build depends (Closes:
#610040)
diff --gi
The following commit has been merged in the master branch:
commit 6ef1861e34332c5de89daa4bc53c4e87d1ad676d
Author: Sylvain Le Gall
Date: Mon Jan 24 22:17:55 2011 +0100
Fix debian/copyright: license is LGPL 2.1 + OCaml linking exception
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 793fffd6ad2108b245498e37538ae88639a1eb90
Author: Sylvain Le Gall
Date: Wed Jan 26 22:55:20 2011 +0100
Fix public-domain license for src/signalfd.c
diff --git a/debian/changelog b/debian/changelog
index 68172b2..c4f9307
The following commit has been merged in the master branch:
commit e11657e4a90e326aebcbda3665794128ba806a9e
Author: Sylvain Le Gall
Date: Sat Jan 1 23:56:58 2011 +0100
Update TODO after sgnb discussion
diff --git a/TODO.txt b/TODO.txt
new file mode 100644
index 000..315df5e
--- /dev
The following commit has been merged in the master branch:
commit b30292929b7b16b40f3f48a3a684851d5e14aa79
Author: Sylvain Le Gall
Date: Wed Feb 9 10:53:37 2011 +
Use a more common debian stanza for debian/copyright
diff --git a/src/Copyright.ml b/src/Copyright.ml
index 277af3b
The following commit has been merged in the master branch:
commit d1df07ff2a97c9b99d6af247dfc380bce3ed3b2f
Author: Sylvain Le Gall
Date: Wed Feb 9 10:55:13 2011 +
Only rely on has_cmi for dh files, not on has_hinterf.
diff --git a/src/DhFiles.ml b/src/DhFiles.ml
index 6d7e555..fe25b00
The following commit has been merged in the master branch:
commit ce57d0b5b4aade24fd4c7ff221c5dd3eec91024c
Author: Sylvain Le Gall
Date: Wed Feb 9 10:56:10 2011 +
Add more stuff to TODO.
diff --git a/TODO.txt b/TODO.txt
index 315df5e..7b7857c 100644
--- a/TODO.txt
+++ b/TODO.txt
The following commit has been merged in the master branch:
commit 440d02f6655a5fbbc8e0f4ed3b85a10096b794b8
Author: Sylvain Le Gall
Date: Wed Feb 9 10:58:20 2011 +
Separate action update/init/get from main
diff --git a/.gitignore b/.gitignore
index 74d517a..3af9222 100644
--- a
The following commit has been merged in the master branch:
commit a85c25dc2305eccf3507acf59d7cbbc09b4201dc
Author: Sylvain Le Gall
Date: Wed Feb 9 15:58:21 2011 +
Compute differences in build depends for upgrade
diff --git a/src/ActUpdate.ml b/src/ActUpdate.ml
index bdb93fa..ac5d3c0
The following commit has been merged in the master branch:
commit b4789d1ac7162347ad5fdd53e9cabbc53d3a678c
Author: Sylvain Le Gall
Date: Wed Feb 9 10:51:39 2011 +
Forget to add DF822 module
diff --git a/_oasis b/_oasis
index fda9a2d..f461aa0 100644
--- a/_oasis
+++ b/_oasis
@@ -12,6
The following commit has been merged in the master branch:
commit 47594faa7c6a4c0604a2e4c7df2cf2874f74e2f8
Merge: f111944273494d96c1ebb83a038c68444aece7a8
62d18bd70d85da5636e7b47a5f2adebaa31a0e8b
Author: Sylvain Le Gall
Date: Tue Feb 1 11:43:49 2011 +
Merge commit 'upstream/
The following commit has been merged in the master branch:
commit 26ef8700ca7a272e159d9d4bce2586de58212cf0
Merge: 47594faa7c6a4c0604a2e4c7df2cf2874f74e2f8
56591b7a36c2f230f1920f6146706d0beb30
Author: Sylvain Le Gall
Date: Tue Feb 1 11:52:54 2011 +
Merge commit 'upstream/
The following commit has been merged in the master branch:
commit 6c49e33955cb118c27f838bd0151499d9020715e
Author: Sylvain Le Gall
Date: Thu Feb 10 12:51:13 2011 +
New upstream release
diff --git a/debian/changelog b/debian/changelog
index d47fbd0..2f7f7bb 100644
--- a/debian
The following commit has been merged in the pristine-tar branch:
commit 99ec1e797647d3fc1c5babf2e1cec0d8ea5abee4
Author: Sylvain Le Gall
Date: Tue Feb 1 11:43:49 2011 +
pristine-tar data for ocaml-sqlexpr_0.4.0.orig.tar.gz
diff --git a/ocaml-sqlexpr_0.4.0.orig.tar.gz.delta
b/ocaml
The following commit has been merged in the pristine-tar branch:
commit 5abf6b12d11108dc1ff04fa5417cfee47fb59119
Author: Sylvain Le Gall
Date: Tue Feb 1 11:52:18 2011 +
pristine-tar data for ocaml-sqlexpr_0.4.0.orig.tar.gz
diff --git a/ocaml-sqlexpr_0.4.0.orig.tar.gz.delta
b/ocaml
The following commit has been merged in the pristine-tar branch:
commit cfba4091b5cf3bfbecb928b83c1379cbb02fd3ef
Author: Sylvain Le Gall
Date: Tue Feb 1 11:52:54 2011 +
pristine-tar data for ocaml-sqlexpr_0.4.0.orig.tar.gz
diff --git a/ocaml-sqlexpr_0.4.0.orig.tar.gz.delta
b/ocaml
The annotated tag, debian/0.1.1a-2 has been created
at c354f2f9473007bcf70a8078c4c10c45e0f66033 (tag)
tagging e25c62f215db3beea9812916c91e8a1b36e2b14b (commit)
replaces debian/0.1.1a-1
tagged by Sylvain Le Gall
on Fri Feb 18 00:50:06 2011 +0100
- Shortlog
The following commit has been merged in the master branch:
commit e25c62f215db3beea9812916c91e8a1b36e2b14b
Author: Sylvain Le Gall
Date: Fri Feb 18 00:48:32 2011 +0100
Add Source field to debian/copyright
diff --git a/debian/changelog b/debian/changelog
index 6f9ec1f..a1f6b73 100644
--- a
The annotated tag, debian/0.2.3-2 has been created
at 0fe362e1fdc835e299db0aeb5ce9d0a61ca6234d (tag)
tagging 849a032aa2698d505749a57f0a1d3886b4744d23 (commit)
replaces debian/0.2.3-1
tagged by Sylvain Le Gall
on Fri Feb 18 01:53:04 2011 +0100
- Shortlog
The annotated tag, upstream/0.4.0 has been created
at 761713c32abdfaf2d273c0acc7749c807efc5385 (tag)
tagging 56591b7a36c2f230f1920f6146706d0beb30 (commit)
replaces upstream/0.2.3
tagged by Sylvain Le Gall
on Tue Feb 1 11:52:54 2011 +
- Shortlog
The following commit has been merged in the master branch:
commit 0beadeda2d501a2da58f9e2beab4e55895cab2bd
Author: Sylvain Le Gall
Date: Fri Feb 18 00:58:29 2011 +0100
Revert "New upstream release 0.4.0"
This reverts commit 6c49e33955cb118c27f838bd0151499d9020715e.
di
The branch, fix-0.2.3 has been created
at 849a032aa2698d505749a57f0a1d3886b4744d23 (commit)
- Shortlog
commit 849a032aa2698d505749a57f0a1d3886b4744d23
Author: Sylvain Le Gall
Date: Fri Feb 18 01:51:55 2011 +0100
Fix
Gall
on Fri Feb 18 11:59:02 2011 +0100
- Shortlog
Debian release 0.2.3-1
Sylvain Le Gall (1):
No previous ACCEPTED upload, so use -1 as version
The following commit has been merged in the fix-0.2.3 branch:
commit 6cef5196dcc0067be40de0ee16cbab9eab70ceb5
Author: Sylvain Le Gall
Date: Fri Feb 18 11:43:52 2011 +0100
No previous ACCEPTED upload, so use -1 as version
diff --git a/debian/changelog b/debian/changelog
index 593215e
The annotated tag, debian/1.1.0-3 has been created
at 1a66ec60cef825b1f3e88f97d1341261dce2d5c1 (tag)
tagging 979c5f1be502b047c3fe4cf531db9a44921ff599 (commit)
replaces debian/1.1.0-2
tagged by Sylvain Le Gall
on Fri Feb 18 18:19:32 2011 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 180773cbba1e33b460560dc201a902d969ec54d0
Author: Sylvain Le Gall
Date: Fri Feb 18 18:17:36 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index dc1ab02..a891ac6 100644
--- a/debian
The following commit has been merged in the master branch:
commit 979c5f1be502b047c3fe4cf531db9a44921ff599
Author: Sylvain Le Gall
Date: Fri Feb 18 18:18:22 2011 +0100
Update gbp.conf for unstable
diff --git a/debian/gbp.conf b/debian/gbp.conf
index 8b20daa..cec628c 100644
--- a/debian
The branch, experimental/master has been deleted
was 8bf995e576a7765be181b2749ee99a5e77390b88
---
8bf995e576a7765be181b2749ee99a5e77390b88 Fix "FTBFS: sh: camlp4: not found",
add camlp4 to build depends (Closes: #610040)
701 - 800 of 1019 matches
Mail list logo
