X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=debian%2Fcontrol;fp=debian%2Fcontrol;h=a915c9182cba32334e8aa6f93d747040f650c129;hb=d79c4d9e52c2c9162b2a6336460337bb158c42a0;hp=0000000000000000000000000000000000000000;hpb=69b6010f0016bba47bc7e74ad8e1f3fa473f259f;p=pkg-cerco%2Facc-trusted.git

diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..a915c91
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,12 @@
+Source: acc-trusted
+Section: devel
+Priority: optional
+Maintainer: CSC <sacerdot@cs.unibo.it>
+Build-Depends: debhelper (>= 9), ocaml-best-compilers, ocaml-findlib
+Standards-Version: 3.9.3
+
+Package: acc-trusted
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Description: fill me
+ fill me