Bug#881136: ITP: ocaml-rope -- Ropes ("heavyweight strings") for OCaml

2017-11-07 Thread Andy Li
Package: wnpp Severity: wishlist Owner: Andy Li -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 * Package name: ocaml-rope Version : 0.5 Upstream Author : Christophe Troestler * URL : http://rope.forge.ocamlcore.org/ * License : LGPL-2.1 with linking exception

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread gregor herrmann
On Tue, 07 Nov 2017 20:44:08 +0200, Adrian Bunk wrote: > > > for the armel port in buster the question of raising the baseline came up. > > That has been a recurring question over the time, the reason to > > maintain ARMv4t instruction set was OpenMoko mobile phone, which lot > > of people was usi

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Adrian Bunk
On Tue, Nov 07, 2017 at 07:45:35PM +, Wookey wrote: >... > I'm very happy if people mark problematic packages that no longer > build for armv5 as 'notforus' if no-one steps up to fix them in a > timely fashion, but killing the architecture because some upstreams > no-longer care about v5 seems

Bug#881109: ITP: boost-numeric-bindings -- boost-numeric-bindings -- Numeric Library Bindings for Boost

2017-11-07 Thread Stephen Sinclair
Package: wnpp Severity: wishlist Owner: Stephen Sinclair * Package name: boost-numeric-bindings Version : 0.99 Upstream Author : Kresimir Fresl et. al. * URL : https://github.com/uBLAS/numeric_bindings * License : Boost Software License - Version 1.0 Programm

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Wookey
On 2017-11-07 11:48 +0100, W. Martin Borgert wrote: > On 2017-11-07 11:08, Julien Cristau wrote: > > Keeping armel on life support for 2 more > > years is a significant drain on DSA and our hosters, for questionable > > benefit. > > I agree, that this support comes not for free, but the benefit >

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Adrian Bunk
On Tue, Nov 07, 2017 at 11:08:39AM +0100, Julien Cristau wrote: > > That's not clear to me at all. Keeping armel on life support for 2 more > years is a significant drain on DSA and our hosters, >... What kind of significant drain exactly? AFAIK so far noone has stated that it would be safe to

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Adrian Bunk
On Tue, Nov 07, 2017 at 01:43:50PM +0100, Héctor Orón Martínez wrote: >... > 2017-11-05 22:32 GMT+01:00 Adrian Bunk : > > > for the armel port in buster the question of raising the baseline came up. > > That has been a recurring question over the time, the reason to > maintain ARMv4t instruction

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Marcin Juszkiewicz
W dniu 07.11.2017 o 14:11, Thomas Goirand pisze: > On 11/05/2017 10:32 PM, Adrian Bunk wrote: >> 20 years ago you could go into a shop and buy a mobile phone >> with a CPU supported by the armel port in stretch. > I didn't know Stretch was released 20 years ago. :) Stretch maybe not. But ARMv4t w

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Holger Levsen
On Tue, Nov 07, 2017 at 12:00:42PM +0100, Adam Borowski wrote: > It would be great -- I tried to make an unofficial Jessie release for x32, > but doing the equivalent of Britney turned out to be too hard. The main > reason was binNMUs: any out-of-archive binNMU conflicts with official > binNMUs th

Bug#881059: ITP: eshell-bookmark -- integrate bookmarks with Eshell

2017-11-07 Thread Lev Lamberov
Package: wnpp Owner: Lev Lamberov Severity: wishlist * Package name: eshell-bookmark Version : 2.0.0 Upstream Author : Matúš Goljer * URL or Web page : https://github.com/Fuco1/eshell-bookmark * License : GPL-3+ Programming Lang: Emacs Lisp Description : integrate

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Thomas Goirand
On 11/05/2017 10:32 PM, Adrian Bunk wrote: > 20 years ago you could go into a shop and buy a mobile phone > with a CPU supported by the armel port in stretch. I didn't know Stretch was released 20 years ago. :) Cheers, Thomas Goirand (zigo)

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Steve McIntyre
On Tue, Nov 07, 2017 at 01:43:50PM +0100, Hector Oron wrote: > >Also build daemons are aging, those were initially donated by Marvell >(some development boards) which then they replaced with other >development boards. We have been unable to find suitable hardware to >build armel port and current AR

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Héctor Orón Martínez
>>>[+debian-embedded, feel free to adjust CC'd mailing lists on reply] Hello, Thanks for bringing up this discussion! And apologies for adding more complexity to the initial question. Find few comments inlined below, 2017-11-05 22:32 GMT+01:00 Adrian Bunk : > for the armel port in buster th

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread W. Martin Borgert
Quoting "W. Martin Borgert" : There is still relevant hardware around which can run "armel", but not "armhf". Forgot to mention some, that one can still buy: On https://www.taskit.de/stamp-overview.html the three boards named "9261", "9G20", and "9G45". AFAIK. Also Raspberry Pi Zero, if I'm n

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Tixy
On Tue, 2017-11-07 at 02:49 -0800, Rick Thomas wrote: > How do I know if a machine is ARMv4t? I have a sheevaplug and a > couple of openrd machines (one “client”, the other “ultimate”) that > are still doing useful work. Are they v4t? They're ARMv5 (so still need armel). I too have similar devic

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Rick Thomas
> On Nov 7, 2017, at 3:27 AM, Christian Seiler wrote: > > Hi, > > Am 2017-11-07 11:49, schrieb Rick Thomas: >> How do I know if a machine is ARMv4t? I have a sheevaplug and a >> couple of openrd machines (one “client”, the other “ultimate”) that >> are still doing useful work. Are they v4t? >

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Christian Seiler
Hi, Am 2017-11-07 11:49, schrieb Rick Thomas: How do I know if a machine is ARMv4t? I have a sheevaplug and a couple of openrd machines (one “client”, the other “ultimate”) that are still doing useful work. Are they v4t? cat /proc/cpuinfo should do the trick. It might not show the 't' after

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Rick Thomas
How do I know if a machine is ARMv4t? I have a sheevaplug and a couple of openrd machines (one “client”, the other “ultimate”) that are still doing useful work. Are they v4t? Thanks, Rick > On Nov 5, 2017, at 1:32 PM, Adrian Bunk wrote: > > Hi, > > for the armel port in buster the question

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Adam Borowski
On Tue, Nov 07, 2017 at 11:16:41AM +0100, John Paul Adrian Glaubitz wrote: > I think a possible solution is the plan we had inside Debian Ports which is > to introduce a Britney instance within Debian Ports and hence be able to > provide a Debian testing release. > > My dream would be to not to ha

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread W. Martin Borgert
On 2017-11-07 11:08, Julien Cristau wrote: > Keeping armel on life support for 2 more > years is a significant drain on DSA and our hosters, for questionable > benefit. I agree, that this support comes not for free, but the benefit is not questionable to me: There is still relevant hardware around

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread John Paul Adrian Glaubitz
On 11/07/2017 11:08 AM, Julien Cristau wrote: That's not clear to me at all. Keeping armel on life support for 2 more years is a significant drain on DSA and our hosters, for questionable benefit. I think a possible solution is the plan we had inside Debian Ports which is to introduce a Britne

Re: Anyone using stretch/buster/sid on ARMv4t ?

2017-11-07 Thread Julien Cristau
On 11/05/2017 10:32 PM, Adrian Bunk wrote: > Hi, > > for the armel port in buster the question of raising the baseline came up. > > 20 years ago you could go into a shop and buy a mobile phone > with a CPU supported by the armel port in stretch. > > Roger Shimizu is doing a great job on ARMv5 ha

Re: Looking for maintainers for our project

2017-11-07 Thread Clément Hermann
Hi, On 07/11/2017 09:38, Thomas Goirand wrote: > On 11/06/2017 09:56 AM, b...@coldsource.net wrote: >> Hi everyone, >> >> I work for UFC - Que Choisir (a French consumer association) and we just >> released (GPL3) version 2.0 of our job scheduler evQueue. >> >> Here is the website : http://www.ev

Re: Looking for maintainers for our project

2017-11-07 Thread Thomas Goirand
On 11/06/2017 09:56 AM, b...@coldsource.net wrote: > Hi everyone, > > I work for UFC - Que Choisir (a French consumer association) and we just > released (GPL3) version 2.0 of our job scheduler evQueue. > > Here is the website : http://www.evqueue.net/ > > We are providing debian packages (debia

Bug#881025: ITP: tryton-modules-account-eu -- Account EU Module for the Tryton Application Platform

2017-11-07 Thread Mathias Behrle
X-Debbugs-CC: debian-devel@lists.debian.org Package: wnpp Severity: wishlist Owner: Debian Tryton Maintainers * Package name: tryton-modules-account-eu Version : 4.6.0 Upstream Author : Tryton project (www.tryton.org) * URL : http://downloads.tryton.org/4.6/ * License