From cb529a5fc2c760f57db3f2213570044442540992 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 29 Nov 2010 23:44:17 +0100 Subject: Initial packaging --- debian/libaac-tactics-ocaml.install.in | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 debian/libaac-tactics-ocaml.install.in (limited to 'debian/libaac-tactics-ocaml.install.in') diff --git a/debian/libaac-tactics-ocaml.install.in b/debian/libaac-tactics-ocaml.install.in new file mode 100644 index 0000000..55dd22c --- /dev/null +++ b/debian/libaac-tactics-ocaml.install.in @@ -0,0 +1,2 @@ +aac_tactics.cma /usr/lib/coq/user-contrib/AACTactics/ +DYN: aac_tactics.cmxs /usr/lib/coq/user-contrib/AACTactics/ -- cgit v1.2.3