any longer.
Time permitting, I will continue to upload new releases and fix
outstanding bugs
but certainly not in sync with frama-c's release cycle. I am willing to
mentor
people familiar with OCaml and willing to maintain Frama-c in the
future.
--
Mehdi
Indeed :-)
Le 22 juin 2018 05:00:35 GMT+02:00, Andy Li a écrit :
>On Fri, Jun 22, 2018 at 5:01 AM, Mehdi Dogguy wrote:
>> Excellent work! I've reviewed it and it looks fine. I'll upload it
>shortly.
>> Would you mind retitling thing bug to an "ITP: ..."
it and it looks fine. I'll upload it
shortly.
Would you mind retitling thing bug to an "ITP: ..." and setting yourself
as its owner?
Cheers,
--
Mehdi
Package: wnpp
Severity: wishlist
* Package name: odoc
Version : 1.2.0
Upstream Author : Thomas Refis and al.
* URL : https://github.com/ocaml/odoc
* License : ISC
Programming Lang: OCaml
Description : documentation generator for OCaml
odoc is a document
ed in Debian).
Regards,
--
Mehdi
Package: wnpp
Severity: wishlist
* Package name: ppx-tools-versioned
Version : 5.1
Upstream Author : Alain Frisch and al.
* URL : https://github.com/ocaml-ppx/ppx_tools_versioned
* License : MIT
Programming Lang: OCaml
Description : Tools for authors of
Package: wnpp
Severity: wishlist
* Package name: markup.ml
Version : 0.7.6
Upstream Author : Anton Bachin
* URL : https://github.com/aantron/markup.ml
* License : BSD-2
Programming Lang: OCaml
Description : Error-recovering streaming HTML5 and XML parser
Hi Ross,
It is great to hear that pkg-multimedia is willing to take care of this
package. Did you make any progress on this package?
AFAIK, current version is broken and doesn't work anymore. An update to
the latest upstream version is very much needed.
Regards,
--
Mehdi
On 21/12/2016 20:59, Ralf Treinen wrote:
> Hi Mehdi,
>
> On Wed, Dec 21, 2016 at 03:09:10PM +0100, Mehdi wrote:
>> Hi Ralf,
>>
>> Did you ask for its removal?
>>
>> FWIW, i'm also for its removal from debian since the project is dead
>&
t continue to rot as part of d-o-m.
>
>I am for (2). So, if noone steps up for (1), and if there are no
>objections
>by one week from now, I will ask ftp for removal.
>
>Cheers -Ralf.
--
Mehdi
ly. This is done for many packages: OCaml for its bootstrap
and most probably ghc (didn't check tbh). Also, compiling gcc requires
a gcc. :-P
My 2 cents,
--
Mehdi
Hi,
On 2015-11-20 11:36, Frederic Bonnard wrote:
I saw the proposition of Mehdi to ask the sbt upstream to propose a
source
tarball of sbt and include a standalone version of sbt, but I didn't
see any
answer (except if d) was one)
I haven't had any reply, and I have given u
e the computer's keyboard to play MIDI notes,
and also the mouse. You can use the Virtual MIDI Piano Keyboard to
display the played MIDI notes from another instrument or MIDI file
player.
Regards,
--
Mehdi
Package: wnpp
Severity: wishlist
Owner: Mehdi
* Package name: jsonm
Version : 0.9.1
Upstream Author : Daniel Bünzli
* URL : http://erratique.ch/software/jsonm
* License : BSD
Programming Lang: OCaml
Description : Non-blocking streaming JSON codec for
Package: wnpp
Severity: wishlist
Owner: Mehdi
* Package name: uutf
Version : 0.9.4
Upstream Author : Daniel Bünzli
* URL : http://erratique.ch/software/uutf
* License : BSD
Programming Lang: OCaml
Description : Non-blocking streaming Unicode codec for
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: parmap
Version : 1.0~rc4
Upstream Author : Marco Danelutto and Roberto Di Cosmo
* URL : https://rdicosmo.github.io/parmap/
* License : LGPL-2
Programming Lang: OCaml
Description
eb is not enough. One has to be
able to build it offline, without requiring libraries retrieved from the network
using Maven.
I can give access to the Alioth projects for interested persons.
Regards,
--
Mehdi
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subje
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: opam
Version : 1.0.0
Upstream Author : OCamlPro
* URL : http://opam.ocamlpro.com/
* License : GPL3
Programming Lang: OCaml
Description : package manager for OCaml
OPAM stands for
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: opam
Version : 0.9.0
Upstream Author : OCamlPro
* URL : http://opam.ocamlpro.com/
* License : GPL-3
Programming Lang: OCaml
Description : package manager for OCaml
OPAM stands for
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: ocaml-re
Version : 1.1.1
Upstream Author : Jerome Vouillon
* URL : https://github.com/ocaml/ocaml-re
* License : LGPL 2.1
Programming Lang: OCaml
Description : regular expression
retitle 641986 ITP: cmdliner -- command line interface handler
thanks
Le 2011-09-18 13:36, Mehdi Dogguy a écrit :
Package: wnpp
Severity: wishlist
* Package name: cmdliner
Version : 0.9.0
Upstream Author : Daniel Bunzli
* URL : http://erratique.ch/software/cmdliner
Package: wnpp
Severity: wishlist
Owner: Mehdi Abaakouk
* Package name: python-django-openstack-auth
Version : 1.0.1
Upstream Author : Gabriel Hurley
* URL : https://github.com/gabrielhurley/django_openstack_auth.git
* License : BSD
Programming Lang: Python
hort, but builds the
> Python3 variant as well.
>
> Regards,
> Laszlo/GCS
Hi,
Great news, and feel free to upload your package :)
Regards,
--
Mehdi Abaakouk
mail: sil...@sileht.net
irc: sileht
signature.asc
Description: Digital signature
Package: wnpp
Severity: wishlist
Owner: Mehdi Abaakouk
* Package name: python-cinderclient
Version : folsom
Upstream Author : Openstack
* URL : https://github.com/openstack/python-cinderclient
* License : Apache-2
Programming Lang: Python
Description
Package: wnpp
Severity: wishlist
Owner: Mehdi Abaakouk
* Package name: python-warlock
Version : 0.4.0
Upstream Author : Brian Waldon
* URL : http://github.com/bcwaldon/warlock
* License : Apache-2
Programming Lang: python
Description : Python object
Package: wnpp
Severity: wishlist
Owner: Mehdi Abaakouk
* Package name: python-glanceclient
Version : folsom
Upstream Author : Openstack
* URL : https://github.com/openstack/python-glanceclient
* License : Apache-2
Programming Lang: Python
Description
Package: wnpp
Severity: wishlist
Owner: Mehdi Abaakouk
* Package name: python-swiftclient
Version : 1.1.0
Upstream Author : Openstack
* URL : https://github.com/openstack/python-swiftclient
* License : Apache-2
Programming Lang: Python
Description
odule with dh_python2, so it's easy
to use its work.
If yes, I can help you to finish him and test it
Let me know, regards,
--
Mehdi Abaakouk
mail: sil...@sileht.net
irc: sileht
signature.asc
Description: Digital signature
On 04/09/12 15:16, Neil Williams wrote:
How does this differ from dwww and devhelp?
Oh, and AFAIK, devhelp doesn't read doc-base files. So that's quite out
of subject. no? Still, devhelp looks interesting. Thanks for mentioning it.
Cheers.
--
Mehdi
--
To UNSUBSCRIBE, email to d
to browse/open/search docs.
- I plan to add a GTK UI to browse doc-base documentation and info pages.
Is it related to manpages.debian.net?
No.
Regards,
--
Mehdi
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact li
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: dochelp
Version : 0.1
Upstream Author : Mehdi Dogguy
* URL : http://git.debian.org/?p=users/mehdi/dochelp.git
* License : GPL-3+
Programming Lang: OCaml, Javascript
Description
On 06/29/2012 09:15 PM, Ralf Treinen wrote:
> On Fri, Jun 29, 2012 at 07:21:21PM +0200, Mehdi Dogguy wrote:
>> Package: wnpp
>> Severity: wishlist
>> Owner: Mehdi Dogguy
>>
>> * Package name: ben
>> Version : 0.6
>> Upstream Autho
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: ben
Version : 0.6
Upstream Author : Mehdi Dogguy and Stéphane Glondu
* URL : http://ben.debian.net/
* License : AGPL-3+
Programming Lang: C, OCaml
Description : toolbox for Debian
are slower compression levels achieving a quite
competitive compression ratio while still decompressing at
this very high speed.
--
Mehdi Abaakouk
sil...@sileht.net
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Conta
On 08/02/12 14:05, Stefano Karapetsas wrote:
I saw some gnome design team mockups of all applications, and I find
its far from GNOME2.
Then, why don't you help them? (It is easier than re-packaging and
maintaining Gnome2).
Regards,
--
Mehdi
--
To UNSUBSCRIBE, email to debian-wnpp
f the discussion?
Regards,
--
Mehdi
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4f325217.8050...@dogguy.org
[ RE-sending with correct FROM: ]
On 06/02/12 20:44, Mehdi Dogguy wrote:
On 06/02/12 19:17, Josh Marcus wrote:
Just to echo Josh Suereth's post, it's important for my work to have
an nice apt repository that we can use to install the most recent
sbt. While it would be nice for t
if my original proposal¹ that hard to implement? I had
the feeling that it may be pretty easy to do, but no one replied… so I
wonder if I missed something…
¹: a self-contained tarball to bootstrap sbt, without needing network
access.
Regards,
--
Mehdi
--
To UNSUBSCRIBE, email to debian-wnpp-r
not sure I understand your point here. Do you propose to provide
what Thomas is asking for (a way to build sbt w/o sbt)? I'm quite sure
Thomas will step up to maintain that system if this is merged into sbt
sources.
Regards,
--
Mehdi
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.d
On 09/01/12 19:55, Maxime Chatelle wrote:
I use this minor-mode every day, so I wish to keep it in debian. And I
will improve my packaging skill too ;)
I use it too. I'm willing to help (by packaging or sponsoring).
Cheers.
--
Mehdi
--
To UNSUBSCRIBE, email to debian-wnpp
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: ocaml-zarith
Version : 1.0
Upstream Author : Xavier Leroy and Antoine Mine
* Url : https://forge.ocamlcore.org/projects/zarith/
* License : LGPL 2 with special linking exception
Programming
. It supports programs with single or multiple commands
(like darcs or git) and respects most of the POSIX and GNU
conventions.
Cmdliner is made of a single independent module and distributed under
the BSD3 license.
--
Mehdi
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a
and I recommend deletion
> of it because it is very unpopular according to popcon and
> installer-packages are always a pain in the ass.
>
Let's ask for its removal then.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-wnpp-requ
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: f-sharp
Version : 2.0
Upstream Author : Microsoft
* URL : http://www.fsharp.net/
* License : Apache 2.0 License
Programming Lang: F#
Description : Microsoft F# programming language
F
orcing people to use SSL.
>
Do we really need a package for this?
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4cc98f67.4000...@dogguy.org
ring the freeze and use experimental
instead.
Regards,
--
Mehdi Dogguy مهدي الدڤي
me...@{dogguy.org,debian.org}
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4caf0dcf.4050...@debian.org
C'ing the current synergy maintainer to have some input and know
his opinion on the subject.
Regards,
--
Mehdi Dogguy
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100701113756.ga21...@dogguy.org
to-complete/
> * License : GPL3
> Description : The most intelligent auto-completion extension for GNU
> Emacs
>
Is it possible to "The most" from the description?
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-w
On 06/22/2010 07:10 PM, Takaya Yamashita wrote:
> Hi,
>
> On Wed, Jun 23, 2010 at 1:57 AM, Mehdi Dogguy wrote:
>> On 06/22/2010 06:49 PM, Mehdi Dogguy wrote:
>>>
>>> Is it possible to remove "The most" from the description?
>
> I copied ups
On 06/22/2010 06:49 PM, Mehdi Dogguy wrote:
> On 06/22/2010 04:32 PM, Takaya Yamashita wrote:
>> Package: wnpp
>> Owner: Takaya Yamashita
>> Severity: wishlist
>>
>> * Package name: auto-complete-el
>> Version : 1.3
>> Upstream Aut
On 06/09/2010 01:50 PM, Fathi Boudra wrote:
It enhances osc package and make 'osc build' command available.
Isn't "osc-build" a better name then? (less generic)
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.
License: GPL 2, CC-BY-SA 3.0
> Description: Orxonox is a spacecraft shooter that plays in the post-
> apocalyptic world of our future.
>
That's a long (short) description, IMO. "A spacecraft shooter game" would
be enough, I think.
Regards,
--
Mehdi Dogguy
shouting out-loud"! I'm giving you an advice/information to
save a "process-reject" cycle. Let's keep it easy…
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe"
that can be plugged into a USB port.
>
Exactly :)
Besides, FTP-masters could not like that name because it's too generic
(and meaningless). So, before proceeding with the upload, you may want
to check with them how they feel about it.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogg
On 05/24/2010 03:19 PM, Evan Dandrea wrote:
> On Mon, May 24, 2010 at 12:43 PM, Mehdi Dogguy
> wrote:
>>>>> * Package name: usb-creator
>>>>
>>>> "usb-creator" is a bit misleading (or at least… not clear).
>>>> Could you
name: usb-creator
"usb-creator" is a bit misleading (or at least… not clear). Could you
rename it into something like "live-usb-creator"?
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a sub
ust transitioned from usb-creator -> usb-creator-$(frontend)
> in Ubuntu.
>
We are talking about a NEW package in *Debian*, right? Besides, it
shouldn't be that hard to rename a package.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to deb
: GPL-3+
> Programming Lang: Python
> Description : simple CalDAV calendar server
>
Seems like a nice program.
Is it:
- meant to be released with Squeeze?
- already packaged somewhere? so that early testers can give their feedback?
Regards,
--
Mehdi Dogguy مهدي الدڤي
htt
ioned. I
don't have anything to add. If it really makes you happy to have this
package, then so be it :)
Cheers,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bb37759.3070...@dogguy.org
his into debhelper rather than making it a
> separate package.
>
Is there any advantage to have it packaged?
AIUI, you have to add a build-dependency anyway and change at least one
line in the debian/rules to call dh-autoreconf. Well, that line could
simply call autoreconf (or whatever) which
than a call
to autoreconf if we have dh_backup (name proposed by buxy in the same
thread). dh_backup can be integrated to debhelper and all that remains to
be done is a call to "autoreconf" (depending on the implementation of
dh_backup).
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
Julian Andres Klode wrote:
> On Wed, Mar 31, 2010 at 03:13:14PM +0200, Mehdi Dogguy wrote:
>> Paul Wise wrote:
>>> On Wed, Mar 31, 2010 at 1:03 AM, Julian Andres Klode
>>> wrote:
>>>
>>>>> Description : debhelper add-on to
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: ocamlviz
Version : 1.0
Upstream Author : Julien ROBERT, Guillaume VON TOKARSKI, FILLIATRE
Jean-Christophe, CONCHON Sylvain and LE FESSANT Fabrice
* URL : http://ocamlviz.lri.fr/
* License
Thomas Dreibholz wrote:
>
> The package can be found on mentors.debian.net:
If your package is ready, then you should ask for sponsoring on
debian-mentors.
HTH,
--
Mehdi Dogguy مهدي الدڤي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
--
To UNSUBSCRIBE, email to debia
e : GPL
> Programming Lang: C++
> Description : Virtual Midi Piano Keyboard
>
I'll take it.
In the meantime, you can check it at:
http://git.debian.org/?p=collab-maint/vmpk.git;a=summary
Cheers,
--
Mehdi Dogguy
http://www.pps.jussieu.fr/~dogguy/
--
To UNSUBSCRI
eceiving my messages
only saw the text message, no images.
Have you tested it?
Cheers,
--
Mehdi Dogguy مهدي الدقي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
conflict either.
What will be the difference between seeman and seetxt? What's the point of
having seetxt pointing to seeman?
--
Mehdi Dogguy مهدي الدقي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a
Mehdi Dogguy wrote:
> Package: wnpp
> Severity: wishlist
> Owner: Mehdi Dogguy
>
>
> * Package name: laby
> Version : 20080818
> Upstream Author : Stéphane Gimenez
> * URL : http://www/~gimenez/enseignement.html
The correct URL is
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy
* Package name: laby
Version : 20080818
Upstream Author : Stéphane Gimenez
* URL : http://www/~gimenez/enseignement.html
* License : GPLv3
Programming Lang: OCaml
Description : A small program to
p://git.gnome.org/cgit/gitg/
> * License : GPLv2
> Description : git repository viewer for gtk+/GNOME
>
> gitg is a fast GTK2 git repository for the GNOME desktop.
fast? at least much less that gitk.
--
Mehdi Dogguy مهدي الدقي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.
west
version of Menhir.
The MenhirLib wasn't shipped because nobody requested it, but I'll put
it if you need it.
Then, I have to find a sponsor for the upload :) I'll send a RFS to d-o-m.
--
Mehdi Dogguy مهدي الدقي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
--
T
no user but I'm interested to know in which case this
package is useful ?
--
Mehdi Dogguy مهدي الدقي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
advantage of lshell compared to rbash[1] ?
[1] which is part of « bash » package.
--
Mehdi Dogguy مهدي الدقي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
show alt-ergo? At
> the moment I just had to resort to adding a symlink from ergo to
> alt-ergo.
I'm afraid you will need a newest version (≥ 2.14) of Why.
Why 2.15 will be uploaded (in experimental) soon ...
>
> -Timo
>
--
Mehdi Dogguy
http://www.pps.jussieu.fr/~dogguy/
can imagine, this will never happen in a package :)
By the way, we are in freeze status ... I don't think I can upload it
soon. I'll upload it in experimental when it will be ready.
[1] http://debian.dogguy.org/
--
Mehdi Dogguy
http://www.pps.jussieu.fr/~dogguy/
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
retitle 484234 ITP: frama-c -- framework for source code analysis, of
software written in C
owner 484234 Mehdi Dogguy <[EMAIL PROTECTED]>
thanks
I'll work on it.
Regards,
Mehdi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Hi,
I already thought (as many others) about having Freenet in Debian.
Actually, it was packaged in Debian several years ago, as you cas see it
at http://snapshot.debian.net/package/freenet
Unfortunately, there are these bugs always in open status :
- https://bugs.freenetproject.org/view.php?id
On 0, Florian Weimer <[EMAIL PROTECTED]> wrote:
> * Mehdi Dogguy:
>
> > Ergo is an automatic theorem prover dedicated to program verification.
> > Ergo is based on CC(X) a congruence closure algorithm parameterized by an
> > equational theory X. Currently, CC
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy <[EMAIL PROTECTED]>
* Package name: ergo
Version : 0.7.2
Upstream Author : Sylvain Conchon <[EMAIL PROTECTED]>
* URL : http://ergo.lri.fr/
* License : CeCILL-C
Programming Lang: OCaml
Package: wnpp
Severity: wishlist
* Package name: vhffs
Version : 4.1.0
Upstream Author : Sylvain Rochet <[EMAIL PROTECTED]>
* URL : http://vhffs.org/wiki/
* License : BSD
Programming Lang: C, Perl
Description : VHFFS is a massive virtual hosting platfor
80 matches
Mail list logo
