The following commit has been merged in the master branch:
commit 5f0861f4d745a825df4641d41905b3ecd2a41c7b
Author: Ralf Treinen
Date: Mon Feb 6 20:46:10 2012 +0100
say that we have bump the version of cudf
diff --git a/debian/changelog b/debian/changelog
index b96fb55..7cb9777 100644
--- a
The following commit has been merged in the master branch:
commit 6ba87e9dec8f53eb22f6ceb9f52a63aa7347e041
Author: Ralf Treinen
Date: Mon Feb 6 20:07:13 2012 +0100
fix binary prefix from edos- to dose3-
diff --git a/debian/patches/binaries-prefix-edos
b/debian/patches/binaries-prefix-edos
The following commit has been merged in the master branch:
commit 4c4ba7449e0c799c2fc9a7f5f87b2d7951799239
Author: Ralf Treinen
Date: Mon Feb 6 20:32:12 2012 +0100
fix dependencies of libdose3-ocaml-dev, add real dependency for apt-cudf
diff --git a/debian/changelog b/debian/changelog
inde
The following commit has been merged in the master branch:
commit c79b83d65193b82f60a5f0cfdb053a520467df72
Author: Ralf Treinen
Date: Mon Feb 6 20:18:48 2012 +0100
do not install /usr/lib/ocaml/stublibs whioch seems to have gone
diff --git a/debian/libdose3-ocaml.install b/debian/libdose3-
The following commit has been merged in the master branch:
commit a1457b139cb83a23bde3e66112751c7b6305943e
Author: Ralf Treinen
Date: Mon Feb 6 20:05:10 2012 +0100
bump build-dependency on cudf to 0.6.2
diff --git a/debian/control b/debian/control
index 22f7101..c1df992 100644
--- a/debian
The following commit has been merged in the master branch:
commit 20a6c18256e251361741bd79002062fec8b4e911
Author: Ralf Treinen
Date: Mon Feb 6 19:59:40 2012 +0100
undo accidential direct edits in the master branch
diff --git a/applications/distcheck.ml b/applications/distcheck.ml
index c5
The following commit has been merged in the master branch:
commit a498f1d861698320aac2c8405153803ab597eef7
Author: Ralf Treinen
Date: Mon Feb 6 16:43:02 2012 +0100
adapt patch binaries-prefix-edos
diff --git a/debian/patches/binaries-prefix-edos
b/debian/patches/binaries-prefix-edos
index
The following commit has been merged in the master branch:
commit cdb7ca70024738d52056a841b736a174becb9ace
Author: Ralf Treinen
Date: Mon Feb 6 16:44:26 2012 +0100
add .pc
diff --git a/.gitignore b/.gitignore
index e5553ea..bc827ce 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@
The annotated tag, debian/0.8.3-1 has been created
at b198b87829bb6c86fbbc58881a5f3b41af7a6754 (tag)
tagging eaf9b0bfba1e50ff72298da52e1f787818fbb554 (commit)
replaces upstream/0.8.3
tagged by Ralf Treinen
on Mon Feb 6 19:51:57 2012 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit eaf9b0bfba1e50ff72298da52e1f787818fbb554
Author: Ralf Treinen
Date: Mon Feb 6 19:46:59 2012 +0100
put in correct list of required packages
diff --git a/debian/patches/demos_makefile b/debian/patches/demos_makefile
index 69a6
The following commit has been merged in the master branch:
commit f582a8fe213f1c16653ddd682e493ecb21d072ec
Author: Ralf Treinen
Date: Mon Feb 6 19:36:20 2012 +0100
activate demos_makefile patch
diff --git a/debian/patches/series b/debian/patches/series
index dee6a7c..8cf3b09 100644
--- a/d
The following commit has been merged in the master branch:
commit ef37d7835f6643a7405ea5d93342abe0613b2f7f
Author: Ralf Treinen
Date: Mon Feb 6 19:35:54 2012 +0100
make demos makefile selfcontaining
diff --git a/debian/patches/demos_makefile b/debian/patches/demos_makefile
new file mode 10
The following commit has been merged in the master branch:
commit db0da8dffaf1dfa48e55bbe7b034f65b67ab3f56
Author: Ralf Treinen
Date: Mon Feb 6 19:22:12 2012 +0100
add dependency on ocaml-findlib
diff --git a/debian/control b/debian/control
index 0517635..0641991 100644
--- a/debian/contro
The following commit has been merged in the master branch:
commit 14e1e30e8639604954d2c4bb0c5fc31fe470fc8b
Author: Ralf Treinen
Date: Mon Feb 6 19:14:07 2012 +0100
changlog entry for upload to sid
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000..845ca06
--- /dev/nul
The following commit has been merged in the pristine-tar branch:
commit a23ef82bfb530d2727a5940a670f00b0074e251a
Author: Hendrik Tews
Date: Mon Feb 6 15:25:28 2012 +0100
pristine-tar data for otags_3.12.2.orig.tar.gz
diff --git a/otags_3.12.2.orig.tar.gz.delta b/otags_3.12.2.orig.tar.gz.de
The following commit has been merged in the master branch:
commit d3c0a748b12abedd1bd1bd9af042056225be5038
Author: Hendrik Tews
Date: Mon Feb 6 16:20:53 2012 +0100
merge debian changelog entries
diff --git a/.gitignore b/.gitignore
index 1be94dc..b25c15b 100644
--- a/.gitignore
+++ b/.giti
The annotated tag, debian/3.12.2-1 has been created
at 44a9f513fade58e833fd308709f92c33fb384083 (tag)
tagging d3c0a748b12abedd1bd1bd9af042056225be5038 (commit)
replaces debian/3.12.1.99-2
tagged by Hendrik Tews
on Mon Feb 6 16:24:12 2012 +0100
- Shortlog
The annotated tag, upstream/3.12.2 has been created
at 0ecf5a913f8d3c03f86dbf93e19532cf173b1b88 (tag)
tagging 3cfaf76ffad96e4cdf1a53e03830a9ddba2bdbf2 (commit)
replaces upstream/3.12.1.99
tagged by Hendrik Tews
on Mon Feb 6 15:25:28 2012 +0100
- Shortlog
The following commit has been merged in the master branch:
commit a27c29fca0ad8775decfa10f85bb49df7c5ab47a
Merge: e36f1a6f35bd62ab30b9e0d023a30509f60306b8
3cfaf76ffad96e4cdf1a53e03830a9ddba2bdbf2
Author: Hendrik Tews
Date: Mon Feb 6 15:25:28 2012 +0100
Merge commit 'upstream/3.12.2'
--
The following commit has been merged in the master branch:
commit e36f1a6f35bd62ab30b9e0d023a30509f60306b8
Author: Hendrik Tews
Date: Mon Feb 6 15:25:12 2012 +0100
adapt watch file
diff --git a/debian/watch b/debian/watch
index 973bb50..bc37d5e 100644
--- a/debian/watch
+++ b/debian/watch
The annotated tag, upstream/2.9.10 has been created
at 675a1f7415d1cb1e21de147bafbf256fe2db5698 (tag)
tagging bb15569d79505d5fb6f15098f1ec1412f552b942 (commit)
replaces upstream/2.9.8
tagged by Ralf Treinen
on Mon Feb 6 15:05:19 2012 +0100
- Shortlog
The following commit has been merged in the pristine-tar branch:
commit b556e30f36d41d5b90712b9f0ac40804f93a143f
Author: Ralf Treinen
Date: Mon Feb 6 15:05:19 2012 +0100
pristine-tar data for dose3_2.9.10.orig.tar.gz
diff --git a/dose3_2.9.10.orig.tar.gz.delta b/dose3_2.9.10.orig.tar.gz.de
The following commit has been merged in the master branch:
commit f253468bc7aa1ec49c35c6cb8b3e33bccaa2753c
Merge: 93c7d6fb2dcb022d4762fbb0fe83a041a47908bc
bb15569d79505d5fb6f15098f1ec1412f552b942
Author: Ralf Treinen
Date: Mon Feb 6 15:07:01 2012 +0100
Merge commit 'upstream/2.9.10'
The following commit has been merged in the master branch:
commit aeb3b5a6c7a6a3cfd4fb1ad7c7f68f2327e69e6a
Author: Ralf Treinen
Date: Mon Feb 6 15:13:28 2012 +0100
new vesion 2.9.10
diff --git a/debian/changelog b/debian/changelog
index 15ad5c5..24f0a43 100644
--- a/debian/changelog
+++ b/
The following commit has been merged in the master branch:
commit e572115ff10870979fd060b0795cdec244a24770
Author: Ralf Treinen
Date: Mon Feb 6 13:32:25 2012 +0100
standards-version 3.9.2
diff --git a/debian/changelog b/debian/changelog
index e37e9b3..03d554a 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit 10b73c059c4c3b2878ff9aa03d9287327640baad
Author: Ralf Treinen
Date: Mon Feb 6 13:25:19 2012 +0100
drop some redundant dependency entries
diff --git a/debian/changelog b/debian/changelog
index 30a1eba..e37e9b3 100644
--- a/de
The following commit has been merged in the pristine-tar branch:
commit 5da00e8fefa846c0975a66a89ff37f4be1c8d9d8
Author: Stefano Zacchiroli
Date: Mon Feb 6 10:34:54 2012 +0100
pristine-tar data for cudf_0.6.2.orig.tar.gz
diff --git a/cudf_0.6.2.orig.tar.gz.delta b/cudf_0.6.2.orig.tar.gz.de
The following commit has been merged in the master branch:
commit bb0f428342fc9af78218c6812d73e66399b83403
Merge: f11ad4a93851c06b9a65917a955ec470ccd9d5cb
c6f17db44f893173932b643731b8e18a75ed15fc
Author: Stefano Zacchiroli
Date: Mon Feb 6 10:34:54 2012 +0100
Merge tag 'upstream/0.6.2'
28 matches
Mail list logo
