X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fdebian%2Fcontrol;fp=helm%2FDEVEL%2Fmlminidom%2Fdebian%2Fcontrol;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=244cf2599074d85249103810258351d4bd8cdf2b;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/DEVEL/mlminidom/debian/control b/helm/DEVEL/mlminidom/debian/control
deleted file mode 100644
index 244cf2599..000000000
--- a/helm/DEVEL/mlminidom/debian/control
+++ /dev/null
@@ -1,13 +0,0 @@
-Source: mlminidom
-Section: devel
-Priority: optional
-Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 3.0.0), ocaml (>= 3.04), libglib1.2-dev, libminidom-dev, libxml2-dev, ocaml-findlib
-Standards-Version: 3.5.2
-
-Package: mlminidom
-Architecture: any
-Depends: ocaml (>= 3.04), libminidom0 (>= 0.1.3)
-Description: OCaml binding for minidom
- This is the OCaml binding for minidom, that is currently available in
- the libminidom0 package.