From dcdaa8517bfaedcf4ce97380d39011d976fc1b64 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 22 Sep 2012 12:31:59 +0200 Subject: Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output --- debian/patches/series | 1 + 1 file changed, 1 insertion(+) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index 53d51a16..f1d97c91 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ 0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch +0002-Fix-use-of-HASNATDYNLINK-in-coq_makefile-output.patch -- cgit v1.2.3