Accepted:
coq-libs_8.0pl2-2_all.deb
to pool/main/c/coq/coq-libs_8.0pl2-2_all.deb
coq7-libs_8.0pl2-2_all.deb
to pool/main/c/coq/coq7-libs_8.0pl2-2_all.deb
coq_8.0pl2-2.diff.gz
to pool/main/c/coq/coq_8.0pl2-2.diff.gz
coq_8.0pl2-2.dsc
to pool/main/c/coq/coq_8.0pl2-2.dsc
coq_8.0pl2-2_i386.deb
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 22 Mar 2005 17:40:08 +0100
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source all i386
Version: 8.0pl2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram <
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 23 Mar 2005 12:42:58 +0100
Source: ara
Binary: ara xara-gtk xara-gtk-byte ara-byte
Architecture: source all i386
Version: 1.0.9
Distribution: unstable
Urgency: medium
Maintainer: George Danchev <[EMAIL PROTECTED]>
Changed-By: Sam
coq_8.0pl2-2_i386.changes uploaded successfully to localhost
along with the files:
coq_8.0pl2-2.dsc
coq_8.0pl2-2.diff.gz
coq-libs_8.0pl2-2_all.deb
coq7-libs_8.0pl2-2_all.deb
coq_8.0pl2-2_i386.deb
coqide_8.0pl2-2_i386.deb
Greetings,
Your Debian queue daemon
--
To UNSUBSCRIBE
Hello,
On Thu, Mar 31, 2005 at 09:52:17AM +0200, Stefano Zacchiroli wrote:
> On Thu, Mar 31, 2005 at 01:37:04AM +0200, Sylvain LE GALL wrote:
> > - ocaml-fileutils
> > - ocamlgraph
>
> I will take care of these two.
>
Thank you very much.
Regards
Sylvain Le Gall
--
To UNSUBSCRIBE, email to
On Thu, Mar 31, 2005 at 08:00:56AM -0700, LaMont Jones wrote:
> On Thu, Mar 31, 2005 at 10:03:57AM +0200, Sven Luther wrote:
> > Oh, it seems [EMAIL PROTECTED] is the canonical address, CCing there.
>
> Yeah - I'm not actively reading debian-hppa, if I'm even subscribed to
> it.
>
> > Hi hppa bui
On Thu, Mar 31, 2005 at 10:03:57AM +0200, Sven Luther wrote:
> Oh, it seems [EMAIL PROTECTED] is the canonical address, CCing there.
Yeah - I'm not actively reading debian-hppa, if I'm even subscribed to
it.
> Hi hppa buildd maintainers. We have a problem with the ocaml packages on hppa,
> since
> > Package: libdbi-ocaml
> > Package: libdbi-ocaml-dev
> > Package: libperl4caml-ocaml
> > Package: libperl4caml-ocaml-dev
> > Package: libperl4caml-ocaml-doc
I didn't hear anything back from this.
What I'd like to start doing is checking in the newest versions of
ocamldbi, perl4caml and mod_cam
Oh, it seems [EMAIL PROTECTED] is the canonical address, CCing there.
Hi hppa buildd maintainers. We have a problem with the ocaml packages on hppa,
since the buildd infrastructure is broken and don't handles virtual packages
dependencies all to well. Could you retrigger the build of the below pac
9 matches
Mail list logo