diff options
author | Stephane Glondu <steph@glondu.net> | 2011-02-26 17:56:07 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2011-02-26 18:12:14 +0100 |
commit | 853081b70ac141ffcbde0cf468b6f45c62f0a964 (patch) | |
tree | 01ac4de6d832b6c4766c2bcb8a134645b35281b7 /debian/changelog | |
parent | fd881d28abea04fa7f4613054903129c7a633dbf (diff) |
Set and check COQ_VERSION used to compute COQ_ABI in debian/rulesdebian/8.3.pl1+dfsg-2
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index d87646b5..4c4a8390 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.3.pl1+dfsg-2) experimental; urgency=low + + * Set and check COQ_VERSION used to compute COQ_ABI in debian/rules + + -- Stéphane Glondu <glondu@debian.org> Sat, 26 Feb 2011 18:12:12 +0100 + coq (8.3.pl1+dfsg-1) experimental; urgency=low * New upstream release |