[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: coq override disparity



On Wed, Dec 01, 2004 at 05:47:06AM -0500, Debian Installer wrote:
> There are disparities between your recently accepted upload and the
> override file for the following file(s):

Samuel? I've no clue about this disparity, I simply bumped the changelog
entry and added a build dependency on ocaml-nox >= 3.08.2.

The disparity is probably older ...

-- 
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-

Attachment: signature.asc
Description: Digital signature


Reply to: