From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <vsl@ontil.ihep.su>
Date: Wed, 19 Mar 2003 23:48:45 +0300 (MSK)
From: Vitaly Lugovsky <vsl@ontil.ihep.su>
To: ALT Devel discussion list <devel@altlinux.ru>
Subject: Re: [devel] I: current unmet
In-Reply-To: <20030319191329.GA4379@basalt.office.altlinux.org>
Message-ID: <Pine.LNX.4.53L.0303192347550.17363@ontil.ihep.su>
References: <20030319191329.GA4379@basalt.office.altlinux.org>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=koi8-r
Content-Transfer-Encoding: 8BIT
Sender: devel-admin@altlinux.ru
Errors-To: devel-admin@altlinux.ru
X-BeenThere: devel@altlinux.ru
X-Mailman-Version: 2.0.9
Precedence: bulk
Reply-To: devel@altlinux.ru
List-Unsubscribe: <http://altlinux.ru/mailman/listinfo/devel>,
	<mailto:devel-request@altlinux.ru?subject=unsubscribe>
List-Id: <devel.altlinux.ru>
List-Post: <mailto:devel@altlinux.ru>
List-Help: <mailto:devel-request@altlinux.ru?subject=help>
List-Subscribe: <http://altlinux.ru/mailman/listinfo/devel>,
	<mailto:devel-request@altlinux.ru?subject=subscribe>
List-Archive: <http://altlinux.ru/pipermail/devel/>
Archived-At: <http://lore.altlinux.org/devel/Pine.LNX.4.53L.0303192347550.17363@ontil.ihep.su/>
List-Archive: <http://lore.altlinux.org/devel/>
List-Post: <mailto:devel@altlinux.org>

On Wed, 19 Mar 2003, Dmitry V. Levin wrote:

> Пакет coq версии 7.3.1-alt1 имеет неудовлетворенные
> зависимости:
>  Требует: ocaml (= 3.06)
>  Требует: camlp4 (= 3.06)

 В Incoming-е лежат coq 7.4, why-1.05, ocaml-3.06s-alt4
(необходим для сбора coq).