Re: Can you help me to test treeviewx?

2006-03-27 Thread Bill Allombert
On Mon, Mar 20, 2006 at 01:02:53AM +0900, Charles Plessy wrote: ifneq $(wildcard /usr/share/misc/config.sub) cp -f /usr/share/misc/config.sub config.sub endif ifneq $(wildcard /usr/share/misc/config.guess) cp -f /usr/share/misc/config.guess config.guess endif The

Re: Can you help me to test treeviewx?

2006-03-27 Thread Bill Allombert
On Mon, Mar 27, 2006 at 01:00:04PM -0500, Justin Pryzby wrote: Personally I just Build-Depends on autotools-dev and apply the patch below. This take care of the problem without messing with the debian/rules file. That is neat! Is this your autoscript foo? I wonder if it shouldn't

alternatives to gnuplot ?

2006-04-05 Thread Bill Allombert
Dear Debian-Science, I am looking for a GNU GPL-compatibly licensed alternative to gnuplot, preferably packaged in Debian. Do you have experiences with some of them ? Cheers, -- Bill. [EMAIL PROTECTED] Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a

Re: Bug#361418: Debian menu and the Apps/Science section

2006-05-14 Thread Bill Allombert
On Sun, May 14, 2006 at 06:20:25PM +0200, Thomas Walter wrote: Hello, From my point of view this 2 section names are arbitrary and too global. It also opens a long discussion about the hirarchy. I think Mathematics is also part of Science. At least for application like axiom, octave,

Re: Bug#361418: Debian menu and the Apps/Science section

2006-05-14 Thread Bill Allombert
On Sun, May 14, 2006 at 05:57:31PM +0200, Francesco Pietra wrote: I received this message after I answered Bill Allombert. The list below is a reasonable one, when Bio is written in full Biology and medicine is added; medicine is largely biology but with special needs. I disagree

Re: libompl

2013-10-05 Thread Bill Allombert
On Wed, Oct 02, 2013 at 02:41:41PM +0200, Leopold Palomo-Avellaneda wrote: Hi, after some work I have finished (in some state usable) the package ompl. You could see here the work done: ssh://alioth-git/git/debian-science/packages/ompl.git This is not a valid URL. please, some of you

pari 2.11.0 released

2018-07-23 Thread Bill Allombert
Dear Debian Science PARI/GP 2.11.0 has been released, which is a new major version. The packages are in the NEW queue. This will require a transition. If your package use PARI/GP please check it is compatible with this version, if not contact me and I will help you fix it. Cheers, -- Bill.

GAP 4.9 transition

2018-10-19 Thread Bill Allombert
Dear Debian science, I have uploaded GAP 4.9.3 to experimental. This release needs new packages for the small/trans/prim groups library, which are in the NEW queue. If you maintain packages that depends or build-depends on GAP, please check whether they still builds/works with GAP 4.9 and tell

Re: GAP 4.9 transition

2018-11-03 Thread Bill Allombert
On Fri, Oct 19, 2018 at 04:04:03PM +0200, Bill Allombert wrote: > Dear Debian science, > > I have uploaded GAP 4.9.3 to experimental. This release needs new > packages for the small/trans/prim groups library, which are in the > NEW queue. This is done so I have uploaded GAP 4.9.3

GAP 4.10.0 in experimental

2018-11-13 Thread Bill Allombert
Dear Debian science, I have uploaded GAP 4.10.0 to experimental. If you maintain packages that depends or build-depends on GAP, please check whether they still builds/works with GAP 4.10 and tell me about any issues. I will test my own GAP packages soon. Cheers, -- Bill. Imagine a large red

Re: GAP 4.10.0 in experimental

2018-12-04 Thread Bill Allombert
On Tue, Nov 13, 2018 at 05:19:16PM +0100, Bill Allombert wrote: > Dear Debian science, > > I have uploaded GAP 4.10.0 to experimental. > > If you maintain packages that depends or build-depends on GAP, please > check whether they still builds/works with GAP 4.10 and tell me

GAP 4.10.2 in unstable

2019-07-10 Thread Bill Allombert
Dear Debian science, I will upload soon GAP 4.10.2 to unstable. If you maintain GAP packages that use the unstable binary ABI, please be ready to rebuiild them. At least gap-io need to be updated. Thanks in advance, -- Bill. Imagine a large red swirl here.

Re: GAP 4.11.0 in experimental

2020-04-16 Thread Bill Allombert
On Sun, Apr 05, 2020 at 04:41:53PM +0200, Bill Allombert wrote: > Dear Debian science, > > I have just uploaded GAP 4.11.0 to experimental. > Currently, it is in the NEW queue. > > Two changes you ned to be aware > 1) This package include libgap7, libgap-dev as a normal De

GAP 4.11.0 in experimental

2020-04-05 Thread Bill Allombert
Dear Debian science, I have just uploaded GAP 4.11.0 to experimental. Currently, it is in the NEW queue. Two changes you ned to be aware 1) This package include libgap7, libgap-dev as a normal Debian shared library package. 2) There is now an officially supported ABI for the GAP kernel. the

pari 2.13.0 released

2020-10-20 Thread Bill Allombert
Dear Debian Science, PARI/GP 2.13.0 has been released, which is a new major version. The packages are in the NEW queue. This will require a transition. Cheers, -- Bill. Imagine a large red swirl here.

Re: pari 2.13.0 released

2020-10-29 Thread Bill Allombert
On Tue, Oct 20, 2020 at 09:58:44PM +0200, Bill Allombert wrote: > Dear Debian Science, > > PARI/GP 2.13.0 has been released, which is a new major version. > The packages are in the NEW queue. > This will require a transition. I uploaded it to sid today. cypari2 needs to be u

Re: xeus-zmq ?

2023-10-12 Thread Bill Allombert
Le Tue, Aug 08, 2023 at 12:00:39AM +0200, Gordon Ball a écrit : > > On 22/06/2023 13:42, Bill Allombert wrote: > > Le Mon, Jun 19, 2023 at 08:40:02PM +0200, Gordon Ball a écrit : > > > On 08/06/2023 11:54, Bill Allombert wrote: > > > > Dear Debian Sciences, >

Re: Bug#866334: About Bug#866334: RFP: lean -- theorem prover from Microsoft Research

2022-05-20 Thread Bill Allombert
On Mon, Sep 16, 2019 at 08:39:56PM +0100, Julian Gilbey wrote: > I've just started looking at lean. One of the issues around packaging > it is that different lean "scripts" (not sure the correct word here) > require different versions of lean. There is a script available which > downloads the

Re: GAP 4.12.0 in experimental

2022-10-28 Thread Bill Allombert
Le Tue, Sep 20, 2022 at 07:46:28PM +, Bill Allombert a écrit : > Le Mon, Sep 19, 2022 at 07:51:12PM +0000, Bill Allombert a écrit : > > Hello Debian math! > > > > I have released GAP 4.12.0 to experimental. It is in the NEW queue. > > There is a new ABI level (8)

GAP 4.12.0 in experimental

2022-09-19 Thread Bill Allombert
Hello Debian math! I have released GAP 4.12.0 to experimental. It is in the NEW queue. There is a new ABI level (8). Please get ready for the transition! Cheers, -- Bill. Imagine a large red swirl here.

Re: PARI/GP 2.15.0~pre1 uploaded to experimental

2022-09-19 Thread Bill Allombert
Le Tue, Sep 06, 2022 at 01:36:37PM +0200, Bill Allombert a écrit : > Dear Debian math, > > I have uploaded PARI 2.15.0~pre1 to experimental. It should be in the NEW > queue. > This is a new major version. > > While it is in the NEW queue, the upstream tarball is at &

Re: GAP 4.12.0 in experimental

2022-09-20 Thread Bill Allombert
Le Mon, Sep 19, 2022 at 07:51:12PM +, Bill Allombert a écrit : > Hello Debian math! > > I have released GAP 4.12.0 to experimental. It is in the NEW queue. > There is a new ABI level (8). > > Please get ready for the transition! GAP has already cleared the NEW qu

xeus-zmq ?

2023-06-13 Thread Bill Allombert
Dear Debian Sciences, I try to compile some xeus jupyter kernel and it requires xeus-zmq which does not seems to be in Debian. Is it under a different name ? Otherwise, is there plan to add it ? Cheers, -- Bill. Imagine a large red swirl here.

Re: xeus-zmq ?

2023-06-22 Thread Bill Allombert
Le Mon, Jun 19, 2023 at 08:40:02PM +0200, Gordon Ball a écrit : > On 08/06/2023 11:54, Bill Allombert wrote: > > Dear Debian Sciences, > > > > I try to compile some xeus jupyter kernel and it requires xeus-zmq > > which does not seems to be in Debian. >