From 30849e188351bbf040afee866eb5dc0ec27139a5 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Thu, 26 Aug 2004 15:15:57 +0000 Subject: Set urgency to high. --- debian/changelog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 87fe0318..09c0bbc9 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -coq (8.0pl1-3) unstable; urgency=medium +coq (8.0pl1-3) unstable; urgency=high * Small patch to be able to compile with ocaml 3.08.1. * Added a dependency to ocaml-base-nox when coq is compiled in bytecode. -- cgit v1.2.3