Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant

[Stéphane Glondu <steph@glondu.net>]

MJ Ray a écrit :
> I think we've consensus on software that uses CeCILL (upgradeable to
> GPL, so meets DFSG) and we've discussed CeCILL-C, but what do we think
> of B?  My searches didn't find much discussion of it here, or any
> packages in the archive using it yet.  A copy follows.  Please cc the
> bug report on relevant replies.

The new version of ssreflect is licensed under CeCILL-2 *or* CeCILL-B.
Since CeCILL-2 has been agreed to be DFSG-free, I think there is no
problem any more.

I've just uploaded ssreflect. It is sitting in NEW. It is also available
in OCaml team's git repository:

  http://git.debian.org/?p=pkg-ocaml-maint/packages/ssreflect.git


Cheers,

-- 
Stéphane