From 89a4c6dccdf101ae71df533a2026eaaa00b0ab37 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 17 Feb 2019 17:44:25 -0500 Subject: Update Lintian overrides --- debian/libaac-tactics-ocaml-dev.lintian-overrides | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/libaac-tactics-ocaml-dev.lintian-overrides b/debian/libaac-tactics-ocaml-dev.lintian-overrides index b102d8b..cf055a4 100644 --- a/debian/libaac-tactics-ocaml-dev.lintian-overrides +++ b/debian/libaac-tactics-ocaml-dev.lintian-overrides @@ -1,2 +1,2 @@ # aac.cmo is a pack -libaac-tactics-ocaml-dev: ocaml-dangling-cmi usr/lib/coq/user-contrib/AAC_tactics/aac.cmi +libaac-tactics-ocaml-dev: ocaml-dangling-cmi usr/lib/coq/user-contrib/AAC_tactics/aac_plugin.cmi -- cgit v1.2.3