From 58c4a23cc2d7b01bbc6a7e60d6d074bb0a0e5b26 Mon Sep 17 00:00:00 2001 From: courant Date: Wed, 23 Jan 2002 09:09:31 +0000 Subject: paquet Debian 7.2-3 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2424 85f007b7-540e-0410-9357-904b9bb8a0f7 --- distrib/debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'distrib/debian/control') diff --git a/distrib/debian/control b/distrib/debian/control index afd46f1fc9..ca65702947 100644 --- a/distrib/debian/control +++ b/distrib/debian/control @@ -3,7 +3,7 @@ Section: devel Priority: optional Maintainer: Judicaël Courant Standards-Version: 3.5.3 -Build-Depends: debhelper (>= 3), ocaml (>= 3.01), camlp4 +Build-Depends: debhelper (>= 3), ocaml (>= 3.01), ocaml (>=3.04) | camlp4 Package: coq Architecture: any -- cgit v1.2.3