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
---
9 matches
Mail list logo
