diff options
| author |  Samuel Mimram <samuel.mimram@ens-lyon.org> | 2008-08-14 18:49:47 +0200 |
|---|---|---|
| committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2008-08-14 18:49:47 +0200 |
| commit | 80430f1fcfaf77869f931a52a22b78364858a188 (patch) | |
| tree | a990f9c9ad9613f1e63b056d1632fff2aea53d72 | |
| parent | dfb92f72bd3484d246cc241db865056393d39f47 (diff) | |
Uploading to experimental.debian/8.2.beta4+dfsg-1
| -rw-r--r-- | debian/changelog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 92f7e994..8267f20f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -coq (8.2~beta4+dfsg-1) UNRELEASED; urgency=low +coq (8.2~beta4+dfsg-1) experimental; urgency=low [ Samuel Mimram ] * New upstream release. |