coq_8.0pl2-2_i386.changes ACCEPTED

2005-03-31 Thread Debian Installer
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

Accepted coq 8.0pl2-2 (i386 source all)

2005-03-31 Thread Samuel Mimram
-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 <

Accepted ara 1.0.9 (i386 source all)

2005-03-31 Thread 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

Processing of coq_8.0pl2-2_i386.changes

2005-03-31 Thread Archive Administrator
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

Re: RFS: many packages

2005-03-31 Thread Sylvain LE GALL
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

Re: lablgtk2 and misbehaved hppa/ia64 autobuilders.

2005-03-31 Thread Sven Luther
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

Re: lablgtk2 and misbehaved hppa/ia64 autobuilders.

2005-03-31 Thread LaMont Jones
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

Re: Anyone want to adopt my OCaml packages?

2005-03-31 Thread Richard Jones
> > 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

Re: lablgtk2 and misbehaved hppa/ia64 autobuilders.

2005-03-31 Thread Sven Luther
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