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