diff options
author | Samuel Mimram <smimram@debian.org> | 2006-11-23 14:28:36 +0000 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2006-11-23 14:28:36 +0000 |
commit | b9343b970c40160fdd0329590a03fdec097de54c (patch) | |
tree | b272880599428e1c22e577dc3eeff659fe0003fc /debian/changelog | |
parent | 94594cf938e4523e60c2a750d56e5a4ab6ca5a42 (diff) |
Skip complexity checks.debian/8.1.gamma-2
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 01c212df..f3fec6fd 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +coq (8.1~gamma-2) experimental; urgency=low + + * Added no-complexity-test.dpatch to skip complexity checks (thanks Julien + Cristau), closes: #399919. + + -- Samuel Mimram <smimram@debian.org> Thu, 23 Nov 2006 14:27:15 +0000 + coq (8.1~gamma-1) experimental; urgency=low * New upstream release. |