[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.8-1-6-g615b397

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit db2798c6c0181fac29926efce3cbee8dbcfb2a38
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 10:34:15 2009 +0100

    Add alt-ergo.install file

diff --git a/debian/alt-ergo.install b/debian/alt-ergo.install
new file mode 100644
index 0000000..8db861d
--- /dev/null
+++ b/debian/alt-ergo.install
@@ -0,0 +1,2 @@
+smt_prelude.mlw		usr/lib/alt-ergo
+alt-ergo		usr/bin

-- 
alt-ergo packaging