diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-09-22 12:43:41 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-09-22 12:51:26 +0200 |
| commit | eabf57d06ca1eafa762d7f31262e5515401eff55 (patch) | |
| tree | d7a48e9c6848cf8a999b966b1a7b0ac8b2351280 | |
| parent | dcdaa8517bfaedcf4ce97380d39011d976fc1b64 (diff) | |
Update changelog and prepare upload to experimentaldebian/8.4dfsg-2
| -rw-r--r-- | debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 32009920..8ef512b8 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.4dfsg-2) experimental; urgency=low + + * Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output + + -- Stéphane Glondu <glondu@debian.org> Sat, 22 Sep 2012 12:43:13 +0200 + coq (8.4dfsg-1) experimental; urgency=low * New upstream release |