RFS: updated coq (for experimental)

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

Hi (especially Sam and those who care about Coq :),

I have prepared and committed to git uploads for experimental (with
OCaml 3.11) of coq 8.2rc2.

The .dsc is available there:

  http://glondu.net/tmp/coq_8.2~rc2+dfsg-1.dsc

It is signed with my PGP key.

I've made important changes that will make it go through NEW, in particular:

--8<------------------------------------------------
commit 02896b211aaec508c4e4591e7e228f752b368fd7
Author: Stephane Glondu <steph@glondu.net>
Date:   Sat Jan 31 22:25:37 2009 +0100

    Add new binary package libcoq-ocaml-dev

    Rationale: coqmktop depends on a whole working OCaml environment,
    and we don't need ocaml-related stuff when developing in pure Coq.

commit 277eee0a26f50107a302957a9dff7119afae84c2
Author: Stephane Glondu <steph@glondu.net>
Date:   Sun Feb 1 07:28:06 2009 +0100

    Rename binary package coq-libs -> coq-theories

    Rationale: the name coq-libs is rather confusing for the contents of
    this package. There is no doubt on the contents of the package with
    coq-theories.

commit c00af6d8c1ace1a117dbf4bfbb2dfbc0c7679e1a
Author: Stephane Glondu <steph@glondu.net>
Date:   Sun Feb 1 07:47:14 2009 +0100

    Add coq-${F:CoqABI} virtual package

    Rationale: *.vo files depend on the version of Coq used to compile
    them. This virtual package will be useful for other packages
    providing *.vo (e.g. why, ssreflect).
--8<------------------------------------------------

Cheers,

-- 
Stéphane