[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Upload of coq-doc
To
: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org
>
Subject
: Upload of coq-doc
From
: Samuel Mimram <
samuel.mimram@ens-lyon.org
>
Date
: Sat, 18 Sep 2004 15:13:00 +0200
Message-id
: <
[🔎]
414C345C.5070403@ens-lyon.org
>
Hi,
Could someone make an upload of the coq-doc package for me, which
corrects Stefano's remarks?
Thanks in advance. Regards, Samuel.
Reply to:
debian-ocaml-maint@lists.debian.org
Samuel Mimram (on-list)
Samuel Mimram (off-list)
Follow-Ups
:
Re: Upload of coq-doc
From:
Stefano Zacchiroli <zack@debian.org>
Prev by Date:
Virus in Ihrer Email entdeckt
Next by Date:
Re: Upload of coq-doc
Previous by thread:
Virus in Ihrer Email entdeckt
Next by thread:
Re: Upload of coq-doc
Index(es):
Date
Thread