Package: wnpp
Severity: normal
Hi all,
Frama-c is a great tool to perform static analysis on source code
written in C
(... write your own analysis plugins and many other neat features). But
it
requires time to maintain it properly. I do not have that time anymore
and I
do not use Frama-c any
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: ..."
Hi Andy,
On 2018-06-20 11:52, Andy Li wrote:
I've created an initial version of the package in salsa:
https://salsa.debian.org/ocaml-team/ppx-tools-versioned
Tested building it with sbuild (and adt-run) for both amd64 and mips.
Would you review it?
Excellent work! I've reviewed it and it loo
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
Hi,
On 2018-05-21 08:49, Andy Li wrote:
Hi Hendrik,
What is the status of the topkg package?
I want to update jsonm, which now depends on topkg.
FWIW, I updated jsonm today using a custom debian/rules file (the
famous debian/rules file used for pretty much all Daniel's software
packaged in D
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
>> upstream.
>
> not yet, since there still is a recommendatio
Hi,
On 05/01/2016 16:32, Emmanuel Bourg wrote:
> The "easiest" solution is probably to start with a non-free sbt package
> containing a prebuilt version of sbt, and then upload in main a sbt
> package depending on itself with the prebuilt sbt removed. I would use
> only one sbt package, instead of
sbt using a pre-built sbt, like what is done, for example,
for gcc,
scala, etc... IMHO, it is not justified for sbt but ymmv. You can try to
get in
touch with Debian's Java team (which maintains Scala) to get some help
on this topic.
HTH,
--
Mehdi Dogguy
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
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
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 debian-wnpp-
On 04/09/12 15:16, Neil Williams wrote:
How does this differ from dwww and devhelp?
- Doesn't need any cron job (updating happens using dpkg triggers… so
only when strictly needed).
- Doesn't need a local webserver
- Doesn't need to run any CGI.
- Has a command-line tool to browse/open/search
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
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-requ...@l
On 08/02/12 09:55, Josselin Mouette wrote:
Le mercredi 08 février 2012 à 00:53 +0100, Stefano Karapetsas a écrit
:
Many users are using it well. Now that this is enough stable, I
begun the process for ask the inclusion in Debian. The first
package is mate-common.
http://bugs.debian.org/cgi-bin/b
[ 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
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 the default debian package to be up
to date, a community maintained PPA is fine -- and I'd b
On 05/02/12 18:35, Josh Suereth wrote:
As I stated before, I feel requiring SBT to build without itself is
like trying to build Debian without GCC.
Comparing this situation to "trying to build _gcc_ without _gcc_" would
be a more fair comparison. (imho)
I'm sad to hear no future work will be
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-requ...@lists.d
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
Package: wnpp
Severity: wishlist
* Package name: cmdliner
Version : 0.9.0
Upstream Author : Daniel Bunzli
* URL : http://erratique.ch/software/cmdliner
* License : BSD-3
Programming Lang: OCaml
Description : command line interface handler
Cmdliner is an
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
66 matches
Mail list logo
