Bug#563669: Delivers documentation for Coq 8.1

[Samuel Mimram]

Hi,

I will try to have a look at it. In the meantime, feel free to update it and
put ocaml-maint as maintainer :)

Cheers,

Sam.


On Mon, Jan 4, 2010 at 2:46 PM, Mehdi Dogguy  wrote:

> Package: coq-doc
> Version: 8.1-3
> Severity: normal
>
> Hello,
>
> It would be nice if coq-doc delivers documentation for coq 8.2.
>
> Cheers,
>
> -- System Information:
> Debian Release: squeeze/sid
>  APT prefers testing
>  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
> Architecture: i386 (x86_64)
>
> Kernel: Linux 2.6.30-2-amd64 (SMP w/2 CPU cores)
> Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
> Shell: /bin/sh linked to /bin/bash
>
> Versions of packages coq-doc depends on:
> ii  coq-doc-html  8.1-3  documentation for Coq in html
> form
> ii  coq-doc-pdf   8.1-3  documentation for Coq in pdf
> forma
>
> coq-doc recommends no packages.
>
> coq-doc suggests no packages.
>
> -- no debconf information
>
>
>

Bug#563669: Delivers documentation for Coq 8.1

[Mehdi Dogguy]

Package: coq-doc
Version: 8.1-3
Severity: normal

Hello,

It would be nice if coq-doc delivers documentation for coq 8.2.

Cheers,

-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: i386 (x86_64)

Kernel: Linux 2.6.30-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages coq-doc depends on:
ii  coq-doc-html  8.1-3  documentation for Coq in html form
ii  coq-doc-pdf   8.1-3  documentation for Coq in pdf forma

coq-doc recommends no packages.

coq-doc suggests no packages.

-- no debconf information



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org