The following commit has been merged in the master branch:
commit 56b79de30b990ad8013db2dd47d5386300b47539
Author: Samuel Mimram samuel.mim...@ens-lyon.org
Date: Sun Jan 17 14:46:34 2010 +0100
Fix nonopt patch to build gmp.cmxa.
diff --git a/debian/changelog b/debian/changelog
index
The annotated tag, debian/0.9.10-4 has been created
at 898d3726c2d0d3d85e20fb586b79e87c9838c008 (tag)
tagging e0e3e25a7f95d5782d0f5ce60b4434f4a9f31c86 (commit)
replaces debian/0.9.10-3
tagged by Samuel Mimram
on Sun Jan 17 18:11:48 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 94992a1b7857daaabdc1fb6eb7ffe08daf76b946
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 17 19:33:51 2010 +0100
Fix installability problem by installing frama-c-gui.1 only once.
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit c580bafff95a688100c9bb7635c6e39e4a70d14f
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 17 19:55:48 2010 +0100
Remove empty dirs
diff --git a/debian/changelog b/debian/changelog
index fe83aa2..fcbbdac 100644
---
The following commit has been merged in the master branch:
commit d7d9ec3a1978b042d59d395d32f7c1c236bbaa6f
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 17 20:33:27 2010 +0100
Fix short description of frama-c-base
diff --git a/debian/changelog b/debian/changelog
index
5 matches
Mail list logo
