Package: coq
Version: 8.1.pl3+dfsg-1
Severity: normal
--- Please enter the report below this line. ---
ocaml-base-nox is an available package, but this package doesn't know about
it. I tried running alien on a .rpm from the Coq site but it doesn't work
either.
--- System information. ---
Architecture: i386
Kernel: Linux 2.6.23.14-slh-smp-1
Debian Release: lenny/sid
500 unstable www.debian-multimedia.org
500 unstable sidux.com
500 unstable ftp.debian.org
500 unstable deb.opera.com
--- Package information. ---
Depends (Version) | Installed
=======================-+-===========
|
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
