The following commit has been merged in the master branch:
commit 2dd9e5d0a163b95453d5dd78e8487bd48f9b220e
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 29 23:08:08 2008 +0200
Set doc-base section to Science/Mathematics
diff --git a/debian/coq-libs.doc-base
The following commit has been merged in the master branch:
commit c89cb94d7a781f5e4e8a315fc68dcc22b13021ae
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Jul 31 16:58:47 2008 +0200
Add Homepage field
diff --git a/debian/control b/debian/control
index 88f17cf..d2550c6 100644
---
The following commit has been merged in the master branch:
commit 1c6c7c8ec1e78348cd8d1dd7b730450ab54d106f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Jul 31 17:36:36 2008 +0200
Bump Standards-Version to 3.8.0
diff --git a/debian/control b/debian/control
index d2550c6..6df245e
The following commit has been merged in the master branch:
commit 7dd7c53d365a646aa4e93f944a17fbcb971ff604
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Jul 31 17:33:20 2008 +0200
Add debian/README.source
diff --git a/debian/README.source b/debian/README.source
new file mode 100644
The following commit has been merged in the master branch:
commit db4ea6ddcbeb0dea41267dc87a30b76a01e402af
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Jul 31 17:50:55 2008 +0200
Update changelog
diff --git a/debian/changelog b/debian/changelog
index 7e71877..677e23d 100644
---
5 matches
Mail list logo
