Package: wnpp
Severity: wishlist
Package name: mlgmp
Version : 20021123
Upstream Author : David Monniaux [EMAIL PROTECTED]
URL : http://www.di.ens.fr/~monniaux/index.html.en
License : LGPL with exceptions to relax clause 6
Description : O'Caml
Package: wnpp
Severity: wishlist
Package name: ocamlcreal
Version : 0.4
Upstream Author : Jean-Christophe Filliâtre
[EMAIL PROTECTED]
URL : http://www.lri.fr/~filliatr/software.en.html
License : LGPL
Description : O'Caml library
On Fri, Apr 09, 2004 at 12:59:21AM -0400, Mike Furr wrote:
What do you guys think? Some possibilities include:
(1) - Make lots of tiny packages (libheap-ocaml-dev,...)
(2) - Make small groups (ocaml-tree-structures,
ocaml-hash-structures,...)
(3) - Make a larger
On Fri, Apr 09, 2004 at 01:54:48AM -0400, Mike Furr wrote:
Package name: mlgmp
Cool! (both this and ocamlcreal), could you please remember me to add
these two packages to the PTS subscription for d-o-m _after_ they
entered the debian archive?
Thanks,
Cheers.
--
Stefano Zacchiroli -*-
On Thu, Apr 08, 2004 at 05:02:43PM +0100, Martin Michlmayr wrote:
same command by hand works. I saw this at least with wlex and xstr. Since
these packages are in the archive, I assume they used to build fine.
Yes, they used to.
I've no idea of what's going on, but is probably related to the
* Stefano Zacchiroli [EMAIL PROTECTED] [2004-04-09 11:12]:
If you have a reproducible example I can forward it to upstream, but I
doubt he have a mipsel machine. Can you provide mipsel access also to
non-DD?
Yes.
--
Martin Michlmayr
[EMAIL PROTECTED]
--
To UNSUBSCRIBE, email to [EMAIL
On Fri, Apr 09, 2004 at 10:42:18AM +0100, Martin Michlmayr wrote:
doubt he have a mipsel machine. Can you provide mipsel access also to
non-DD?
Yes.
Ok, anyway before asking upstream (since I know he is quite busy), may I
ask if you've tried a full build cycle rebuilding ocaml - findlib -
coq_7.3.1-3_i386.changes uploaded successfully to localhost
along with the files:
coq_7.3.1-3.dsc
coq_7.3.1-3.diff.gz
coq_7.3.1-3_i386.deb
Greetings,
Your Debian queue daemon
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL
Accepted:
coq_7.3.1-3.diff.gz
to pool/main/c/coq/coq_7.3.1-3.diff.gz
coq_7.3.1-3.dsc
to pool/main/c/coq/coq_7.3.1-3.dsc
coq_7.3.1-3_i386.deb
to pool/main/c/coq/coq_7.3.1-3_i386.deb
Announcing to [EMAIL PROTECTED]
Closing bugs: 242761
Thank you for your contribution to Debian.
--
To
Your message dated Fri, 09 Apr 2004 13:17:03 -0400
with message-id [EMAIL PROTECTED]
and subject line Bug#242761: fixed in coq 7.3.1-3
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your
Hello,
On Fri, Apr 09, 2004 at 01:08:47AM -0400, Mike Furr wrote:
What's the story with the ocamlgsl package that's in svn?
Sylvain, it looks like you started to package it a couple of months ago
and it never made it into the archive... Are there any problems with
the package? Do you just
On Fri, 9 Apr 2004 [EMAIL PROTECTED] wrote:
... Hummm... You think it doesn't look quite finished, could you give
me more detail ? I will fix whatever you want to upload it ( i made a
promise to upstream about this, in fact ).
I noticed two things: you need a build dep on gawk and the lines:
On Fri, Apr 09, 2004 at 02:15:28PM -0400, Michael Furr wrote:
On Fri, 9 Apr 2004 [EMAIL PROTECTED] wrote:
... Hummm... You think it doesn't look quite finished, could you give
me more detail ? I will fix whatever you want to upload it ( i made a
promise to upstream about this, in fact ).
Package: ocaml-tools
Version: 2004.03.18-1
Severity: normal
With the pabc target, the following command is attempted:
ocamlc -passopt -pack -I configparser/ -I /usr/include/ocaml/3.07 -I
/usr/include/ocaml/3.07-ccopt -Lconfigparser/ \
-o jglib.cmo
Hi all,
So, I was thinking about packaging some useful data structure
implementations that I've found via the Hump. To start with,
Jean-Christophe Filliâtre has a nice collection of them on his
website[1] including things like heaps, tries, creal(exact real arith),
hash-consing(neat idea!) and a
On Fri, Apr 09, 2004 at 12:59:21AM -0400, Mike Furr wrote:
Hi all,
So, I was thinking about packaging some useful data structure
implementations that I've found via the Hump. To start with,
Jean-Christophe Filliâtre has a nice collection of them on his
website[1] including things like
What's the story with the ocamlgsl package that's in svn?
Sylvain, it looks like you started to package it a couple of months ago
and it never made it into the archive... Are there any problems with
the package? Do you just need a sponsor? It doesn't look quite
finished, but fairly close.
--
On Fri, Apr 09, 2004 at 12:59:21AM -0400, Mike Furr wrote:
Hi all,
So, I was thinking about packaging some useful data structure
implementations that I've found via the Hump. To start with,
Jean-Christophe Filliâtre has a nice collection of them on his
website[1] including things like
Package: wnpp
Severity: wishlist
Package name: ocamlcreal
Version : 0.4
Upstream Author : Jean-Christophe Filliâtre
[EMAIL PROTECTED]
URL : http://www.lri.fr/~filliatr/software.en.html
License : LGPL
Description : O'Caml library
Package: wnpp
Severity: wishlist
Package name: mlgmp
Version : 20021123
Upstream Author : David Monniaux [EMAIL PROTECTED]
URL : http://www.di.ens.fr/~monniaux/index.html.en
License : LGPL with exceptions to relax clause 6
Description : O'Caml
On Fri, Apr 09, 2004 at 12:59:21AM -0400, Mike Furr wrote:
What do you guys think? Some possibilities include:
(1) - Make lots of tiny packages (libheap-ocaml-dev,...)
(2) - Make small groups (ocaml-tree-structures,
ocaml-hash-structures,...)
(3) - Make a larger
On Fri, Apr 09, 2004 at 01:54:48AM -0400, Mike Furr wrote:
Package name: mlgmp
Cool! (both this and ocamlcreal), could you please remember me to add
these two packages to the PTS subscription for d-o-m _after_ they
entered the debian archive?
Thanks,
Cheers.
--
Stefano Zacchiroli -*-
On Thu, Apr 08, 2004 at 05:02:43PM +0100, Martin Michlmayr wrote:
same command by hand works. I saw this at least with wlex and xstr. Since
these packages are in the archive, I assume they used to build fine.
Yes, they used to.
I've no idea of what's going on, but is probably related to the
* Stefano Zacchiroli [EMAIL PROTECTED] [2004-04-09 11:12]:
If you have a reproducible example I can forward it to upstream, but I
doubt he have a mipsel machine. Can you provide mipsel access also to
non-DD?
Yes.
--
Martin Michlmayr
[EMAIL PROTECTED]
On Fri, Apr 09, 2004 at 10:42:18AM +0100, Martin Michlmayr wrote:
doubt he have a mipsel machine. Can you provide mipsel access also to
non-DD?
Yes.
Ok, anyway before asking upstream (since I know he is quite busy), may I
ask if you've tried a full build cycle rebuilding ocaml - findlib -
coq_7.3.1-3_i386.changes uploaded successfully to localhost
along with the files:
coq_7.3.1-3.dsc
coq_7.3.1-3.diff.gz
coq_7.3.1-3_i386.deb
Greetings,
Your Debian queue daemon
Accepted:
coq_7.3.1-3.diff.gz
to pool/main/c/coq/coq_7.3.1-3.diff.gz
coq_7.3.1-3.dsc
to pool/main/c/coq/coq_7.3.1-3.dsc
coq_7.3.1-3_i386.deb
to pool/main/c/coq/coq_7.3.1-3_i386.deb
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 242761
Thank you for your contribution to
Your message dated Fri, 09 Apr 2004 13:17:03 -0400
with message-id [EMAIL PROTECTED]
and subject line Bug#242761: fixed in coq 7.3.1-3
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your
Hello,
On Fri, Apr 09, 2004 at 01:08:47AM -0400, Mike Furr wrote:
What's the story with the ocamlgsl package that's in svn?
Sylvain, it looks like you started to package it a couple of months ago
and it never made it into the archive... Are there any problems with
the package? Do you just
On Fri, 9 Apr 2004 [EMAIL PROTECTED] wrote:
... Hummm... You think it doesn't look quite finished, could you give
me more detail ? I will fix whatever you want to upload it ( i made a
promise to upstream about this, in fact ).
I noticed two things: you need a build dep on gawk and the lines:
On Fri, Apr 09, 2004 at 02:15:28PM -0400, Michael Furr wrote:
On Fri, 9 Apr 2004 [EMAIL PROTECTED] wrote:
... Hummm... You think it doesn't look quite finished, could you give
me more detail ? I will fix whatever you want to upload it ( i made a
promise to upstream about this, in fact ).
Package: ocaml-tools
Version: 2004.03.18-1
Severity: normal
With the pabc target, the following command is attempted:
ocamlc -passopt -pack -I configparser/ -I /usr/include/ocaml/3.07 -I
/usr/include/ocaml/3.07-ccopt -Lconfigparser/ \
-o jglib.cmo
32 matches
Mail list logo
