The following commit has been merged in the master branch:
commit 64462a757ca91c6fd138b4a5600995a629421c71
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 17:47:36 2010 +0100
Modify ocaml_3.11.1 so that it works with all 3.11.* versions
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit a16f62449e27c981e51dec794c85a9babe1c3780
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 14:44:48 2010 +0100
Generate documentation using dh_ocamldoc (Closes: #559330)
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 3d1ec04f9712e35acebe9a9998c8cfc6ff3d615e
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 14:45:18 2010 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index 587afda..9081fcd 100644
---
The following commit has been merged in the master branch:
commit 171984aa6f9a3a5fa53db3c6914f282ab5d0f901
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:02:04 2010 +0100
New upstream release
diff --git a/debian/changelog b/debian/changelog
index dc237c9..054d990 100644
---
The following commit has been merged in the master branch:
commit 33dc35bf5f7afd1b1c20f32e82cccbb758690d7c
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:21:44 2010 +0100
Update copyright file
diff --git a/debian/changelog b/debian/changelog
index 054d990..5a90cd9 100644
---
The following commit has been merged in the master branch:
commit 54adcc3b5458c81185527af54af8a19f62eca6c2
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:23:11 2010 +0100
Remove 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
(fixed upstream)
diff --git
The following commit has been merged in the master branch:
commit 0f0627dd35f777839f02a99a80fc7eec692c28fb
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:30:08 2010 +0100
Remove 0003-Add-dGraphView.cmo-when-linking.patch (fixed upstream)
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit bcd4b9ac3a69c3b51004a8be0476aba3821bd43c
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:39:40 2010 +0100
Build-depend on ocamlgraph 1.3
diff --git a/debian/changelog b/debian/changelog
index 4e8cafd..cc766be
The following commit has been merged in the master branch:
commit ef850594b7bfea893f7e4b68711fe110268e3e15
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:42:50 2010 +0100
Leave .make-clean
diff --git a/debian/clean b/debian/clean
index 997771a..4c300d8 100644
--- a/debian/clean
The following commit has been merged in the master branch:
commit bce2fb79cf893885c1f7042f104a8035e14cd548
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:48:03 2010 +0100
Explicitely build bin/ptests.byte but do not install it
diff --git a/debian/rules b/debian/rules
index
The following commit has been merged in the master branch:
commit 20955312747a834d5c4cbc8f47a0e6d3b4010863
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 17:36:02 2010 +0100
Add a new binary package: frama-c-base
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 9f4d3968725057841fe6e05b40bd9e9504901b43
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 22:50:18 2010 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index 4eced09..a99393c 100644
---
The following commit has been merged in the pristine-tar branch:
commit 166df3e85d8dfd26b350fad67973414e6faf6ae1
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 15:55:44 2010 +0100
pristine-tar data for frama-c_20090902+beryllium+dfsg.orig.tar.gz
diff --git
The annotated tag, upstream/20090902+beryllium+dfsg has been created
at 5ea8229a91039d0e1515038895f911886b553f6c (tag)
tagging 080f10eac2aa22eb9dc2351a85876acd63a35aad (commit)
replaces upstream/20090901+beryllium+dfsg
tagged by Mehdi Dogguy
on Sun Jan 10 15:55:44 2010
The following commit has been merged in the master branch:
commit 246cd0343d3d8fd7daae2c493bbaf12f7065fe70
Author: Mehdi Dogguy me...@debian.org
Date: Fri Nov 13 14:10:05 2009 +0100
Fix detection of Alt-Ergo (Closes: #552776).
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 7a871991855763bf2b60a51f8fef46c94822f59f
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 18:20:42 2010 +0100
Set filter-pristine-tar to True in debian/gbp.conf
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 30edb457360fddfdfadd66eff7a59d1757e217a8
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 19:01:26 2010 +0100
Various changes
diff --git a/debian/changelog b/debian/changelog
index f0c059e..9bd5e5e 100644
---
The following commit has been merged in the master branch:
commit afce099031db918dcc1918381c205de0ffc2f25d
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 19:53:53 2010 +0100
Disable logopath patch
diff --git a/debian/changelog b/debian/changelog
index 9bd5e5e..89a0fc5 100644
---
The following commit has been merged in the master branch:
commit d813515f6c4d777aceb39d82b1fac42ca25d7af9
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 22:46:39 2010 +0100
It's callded frama-c-base, for now
diff --git a/debian/control b/debian/control
index 693e31c..246812b
The following commit has been merged in the pristine-tar branch:
commit 8b6911f6143d81391c854416a718940a56e53bfc
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 18:41:13 2010 +0100
pristine-tar data for why_2.23+dfsg.orig.tar.gz
diff --git a/why_2.23+dfsg.orig.tar.gz.delta
The following commit has been merged in the pristine-tar branch:
commit c9089edb810e190d02387ee0963ec07c6fd3ab16
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 21:27:24 2010 +0100
New cleaned tarball for upstream 2.23
diff --git a/why_2.23+dfsg.orig.tar.gz.delta
The annotated tag, debian/2.23+dfsg-1 has been created
at 64fffa5ac8c87105e2d01006a136c20d9886ceb2 (tag)
tagging 9832da6bd28f36c8d660a1cbb4e5d40d2b1161b5 (commit)
replaces debian/2.19+dfsg-2
tagged by Mehdi Dogguy
on Sun Jan 10 23:33:53 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 26304298b2ecaec907dbc59870273d6663e430a9
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 23:35:42 2010 +0100
Fix various lintian warnings
diff --git a/debian/changelog b/debian/changelog
index e5958f5..db0562a 100644
The annotated tag, debian/2.23+dfsg-1 has been updated
to f3e3b37d94aa89422fd8c748acae4c0140e2e50a (tag)
from 64fffa5ac8c87105e2d01006a136c20d9886ceb2 (which is now obsolete)
tagging 26304298b2ecaec907dbc59870273d6663e430a9 (commit)
replaces debian/2.19+dfsg-2
tagged by
24 matches
Mail list logo