The following commit has been merged in the master branch:
commit 5707ac745d7c536d14bea56485d0e10411d6ca5a
Author: Samuel Mimram samuel.mim...@ens-lyon.org
Date: Thu Feb 5 17:11:22 2009 +0100
Uploading to experimental.
diff --git a/debian/changelog b/debian/changelog
index c252a15..9077f6a
The following commit has been merged in the master branch:
commit c5897bfe391653e202b201165e4cf2d7a496f4f3
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:20:54 2009 +0100
Shorten debian/rules
diff --git a/debian/menhir.clean b/debian/menhir.clean
new file mode 100644
index
The following commit has been merged in the master branch:
commit 207bf93fe91424365cc661a97bcc1d114a63da65
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:22:27 2009 +0100
- Bump ocaml version to 3.11
- Add build-dependency on dh-ocaml
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 0cea82f87b7ced9d749775f70eb33cebfd2491a7
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Wed Feb 18 16:30:25 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index a30208b..1fbc060 100644
---
The following commit has been merged in the master branch:
commit cdb35e979ade8e096ca845b4c4374f331450ee35
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Wed Feb 18 16:33:59 2009 +0100
releasing to experimental
diff --git a/debian/changelog b/debian/changelog
index 1fbc060..6466ea5
5 matches
Mail list logo
