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
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: ..." and setti
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
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
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
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
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
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
-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 me...@debian.org
* 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
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy me...@debian.org
* 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
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 Dogguy me...@debian.org
* Package name: ocaml-re
Version : 1.1.1
Upstream Author : Jerome Vouillon jerome.vouil...@pps.univ-paris-diderot.fr
* URL : https://github.com/ocaml/ocaml-re
* License : LGPL 2.1
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy me...@debian.org
* Package name: dochelp
Version : 0.1
Upstream Author : Mehdi Dogguy me...@debian.org
* URL : http://git.debian.org/?p=users/mehdi/dochelp.git
* License : GPL-3+
Programming Lang: OCaml
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
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
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy me...@debian.org
* 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
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 me...@debian.org
* Package name: ben
Version : 0.6
Upstream Author : Mehdi Dogguy and Stéphane Glondu
* URL
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.
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
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
[ 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 the default
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
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy me...@debian.org
* 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
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
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...@lists.debian.org
with a subject of unsubscribe
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy me...@debian.org
* 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
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
,
--
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
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
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 tak...@debian.or.jp
Severity: wishlist
* Package name: auto-complete-el
Version : 1.3
Upstream Author : Tomohiro Matsuyama
* URL or Web page
On 06/22/2010 07:10 PM, Takaya Yamashita wrote:
Hi,
On Wed, Jun 23, 2010 at 1:57 AM, Mehdi Dogguy me...@dogguy.org wrote:
On 06/22/2010 06:49 PM, Mehdi Dogguy wrote:
Is it possible to remove The most from the description?
I copied upstream's description.
Thank you for pointing out
/
* 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-wnpp-requ...@lists.debian.org
with a subject
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.debian.org
with a subject
/
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 مهدي الدڤي
http://dogguy.org
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. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bfe2977.8070
.
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://dogguy.org/
--
To UNSUBSCRIBE, email to debian-wnpp
? Besides, it
shouldn't be that hard to rename a package.
Regards,
--
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/4bfa665a
: 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 subject of unsubscribe. Trouble? Contact
On 05/24/2010 03:19 PM, Evan Dandrea wrote:
On Mon, May 24, 2010 at 12:43 PM, Mehdi Dogguy me...@dogguy.org
wrote:
* Package name: usb-creator
usb-creator is a bit misleading (or at least… not clear).
Could you rename it into something like live-usb-creator?
This package has been
: 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 مهدي الدڤي
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 j...@debian.org
wrote:
Description : debhelper add-on to call autoreconf and clean up
after the build
Package: dh
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/
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas
.
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 even makes debian/rules clearer.
Cheers,
--
Mehdi Dogguy مهدي
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
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy me...@debian.org
* 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
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 debian-wnpp-requ
://vmpk.sourceforge.net/#Installation/
* License : 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
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
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 subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy dog...@pps.jussieu.fr
* Package name: laby
Version : 20080818
Upstream Author : Stéphane Gimenez gime...@pps.jussieu.fr
* URL : http://www/~gimenez/enseignement.html
* License : GPLv3
Programming Lang
Mehdi Dogguy wrote:
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy dog...@pps.jussieu.fr
* Package name: laby
Version : 20080818
Upstream Author : Stéphane Gimenez gime...@pps.jussieu.fr
* URL : http://www/~gimenez/enseignement.html
The correct URL
://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.44.27.28.38
.
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
--
To UNSUBSCRIBE, email to debian-wnpp
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
.
--
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]
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]
? 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/
--
To UNSUBSCRIBE, email to [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 :
-
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
Description
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(X) can be instanciated by the empty
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 platform
66 matches
Mail list logo
