Bug#907946: RFH: frama-c -- Platform dedicated to the analysis of source code written in C
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 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
Bug#899238: RFP: ppx-tools-versioned -- Tools for authors of ppx rewriters
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 setting >yourself >> as its owner? > >Thanks, Mehdi. >I've already updated the title and the owner before working on it as >seen in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=899238 >It is just I'm replying the message in my email client, so the subject >line is still using the old title :) > >Best, >Andy -- Mehdi
Bug#899238: RFP: ppx-tools-versioned -- Tools for authors of ppx rewriters
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 looks fine. I'll upload it shortly. Would you mind retitling thing bug to an "ITP: ..." and setting yourself as its owner? Cheers, -- Mehdi
Bug#900674: RFP: odoc -- documentation generator for OCaml
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 documentation generator for OCaml. It reads doc comments, delimited with (** ... *), and outputs HTML. odoc's main advantage over ocamldoc is an accurate cross-referencer, which handles the complexity of the OCaml module system. odoc also offers a good opportunity to improve HTML output compared to ocamldoc. Furthermore, odoc can be used by jbuilder/dune to generate documentation of OCaml projects using jbuilder/dune as a build-system. If you want to maintain odoc, please consider joining the OCaml team: https://wiki.debian.org/Teams/OCamlTaskForce/
Bug#869114: status of the topkg package
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 Debian). Regards, -- Mehdi
Bug#899238: RFP: ppx-tools-versioned -- Tools for authors of ppx rewriters
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 ppx rewriters This library is a variant of ppx-tools where all tools are versioned. It is needed to build latest versions of tyxml.
Bug#899237: RFP: markup.ml -- Error-recovering streaming HTML5 and XML parsers
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 parsers Markup.ml is a pair of parsers implementing the HTML5 and XML specifications, including error recovery. Usage is simple, because each parser is a function from byte streams to parsing signal streams. This software is needed as a new build dependency for tyxml.
Bug#797535: vmpk status
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
Bug#418965: package confluence
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 recommendation of confluence from > the package science-electronics. I have removed this recommendation > in the git of debian-science, but I do not know when that package > will be updated. I do not think it is a blocker. -- Mehdi
Bug#639910: Packaging sbt
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-bootstrap in non-free and sbt in main. > Note that you can very much include a working sbt binary in the source package and use it the bootstrap sbt. The only condition that we must respect is to not ship that binary in the package, but ship the built binary only. 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
Bug#639910: Any news on : building sbt with make for bootstraping
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 up. Also I wanted to ask Mehdi, if there wasn't another way by putting sbt in nonfree. Or maybe have a sbt-bootstrap in nonfree, and a sbt in main that would be built from nonfree. Though, for sbt-bootstrap, we would need a self contained sbt (no internet download), right ? You can build 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
Bug#761132: ITP: parmap -- small OCaml library allowing to exploit multicore architectures
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 Description : small OCaml library allowing to exploit multicore architectures Parmap is a minimalistic library allowing to exploit multicore architectures for OCaml programs with minimal modifications. -- Mehdi -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/2e89603c8f2fb7f498bd5d89908b4...@dogguy.org
Bug#698058: ITP: opam -- package manager for 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 OPAM stands for OCaml PAckage Manager. It aims to suit to a vast number of users and use cases, and has unique features: * Powerful handling of dependencies: versions constraints, optional dependencies, conflicts, etc. * Multiple repositories backends: HTTP, rsync, git * Ease to create packages and repositories * Ability to switch between different compiler versions . Typically, OPAM will probably make your life easier if you recognize yourself in at least one of these profiles: * You use multiple versions of the OCaml compiler, or you hack the compiler yourself and needs to frequently switch between compiler versions. * You use or develop software that needs a specific and/or modified version of the OCaml compiler to be installed. * You use or develop software that depends on a specific version of an OCaml library, or you just want to install a specific version of a package, not just the latest one. * You want to create your own packages yourself, put them on your own repository, with minimal effort. Packaging is available on alioth: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/opam.git I'll be able to upload once ocaml-re and cmdliner are accepted and dose3 is updated to a newer version (at least 3.1.2). 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/20130113155132.1384.67435.reportbug@einsteinium
Bug#641986: RFP: cmdliner -- command line interface handler
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 * License : BSD-3 Programming Lang: OCaml Description : command line interface handler Cmdliner is an OCaml module for the declarative definition of command line interfaces. I'm working on it and will upload 0.9.3 to NEW shortly. -- 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/c6cc6d212777ab3118a1583b8c1ed...@dogguy.org
Bug#697505: ITP: ocaml-re -- regular expression library for OCaml
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 Programming Lang: OCaml Description : regular expression library for OCaml RE is regular expression library for OCaml. The following styles of regular expressions are supported: - Perl-style regular expressions (module Re_perl); - Posix extended regular expressions (module Re_posix); - Emacs-style regular expressions (module Re_emacs); - Shell-style file globbing (module Re_glob). . It is also possible to build regular expressions by combining simpler regular expressions (module Re) -- 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/20130106112435.3956.81540.reportbug@einsteinium
Bug#686664: ITP: dochelp -- utility to browse doc-base registered documents
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, Javascript Description : utility to browse doc-base registered documents This package contains an utility to browse documentation installed on a Debian system. The utility has a command-line interface and can be used to search, open and display information of doc-base registered documents. It also generates an HTML catalog of the available documents each time a package registers a new one. Note that the project URL is temporary. The final one (that will appear in the package) should be http://dochelp.debian.net. 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/20120904120651.11461.79599.reportbug@potassium
Bug#686664: ITP: dochelp -- utility to browse doc-base registered documents
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 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 listmas...@lists.debian.org Archive: http://lists.debian.org/5045ffb3.4040...@debian.org
Bug#686664: ITP: dochelp -- utility to browse doc-base registered documents
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-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/504603ba.5080...@debian.org
Bug#679547: ITP: ben -- toolbox for Debian maintainers
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 : toolbox for Debian maintainers This is a collection of useful tools that Debian maintainers can use to make their packaging work easier. They all work with regular Debian package list files, and should be useful for Debian derivatives as well. This package ships a single executable, ben, with the following subcommands: * download: download a set of package list files from a mirror * monitor: monitor the status of a set of packages across several architectures (useful for transitions) * query: query packages using their metadata (similar to grep-dctrl, but uses a dedicated query language) * tracker: frontend to multiple monitors -- 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/20120629172121.30372.23030.reportbug@potassium
Bug#679547: ITP: ben -- toolbox for Debian maintainers
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 : http://ben.debian.net/ * License : AGPL-3+ Programming Lang: C, OCaml Description : toolbox for Debian maintainers * query: query packages using their metadata (similar to grep-dctrl, but uses a dedicated query language) Does it subsume the functionality of ara? ara is orphaned since some time, so this would mean that we could send it into retirement. (Disclaimer: I never used Ara. I just read its short description from http://ara.alioth.debian.org/). For now, ben query is just like grep-dctrl. Not much, not less. We don't have fancy web interfaces like Ara does. HTH, -- 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/4fedff08.8040...@dogguy.org
Bug#658783: MATE Desktop Environment in Debian
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/bugreport.cgi?bug=658783 (ITP) http://lists.debian.org/debian-mentors/2012/02/msg00115.html (RFS) With this mail I wish to have opinions and suggestions about our work from Debian Developers. MATE introduces a lot of code duplication, which is considered bad in Debian, and is based on obsolete technologies - not just GTK2, which will of course remain for a long time, but also things like Bonobo which very few people really understand, and which are the cause of a lot of not-well-understood bugs. Maybe this could benefit to both parties if MATE team tries to reduce usage of obsolete libraries to a bare minimum, and avoid using bug monsters (like Bonobo and others). I guess this means a lot of work, but that's the price to pay to ease its maintainability on the long term and having it packaged within Debian. Did MATE team consider such a plan? If yes, what was the outcome of 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
Bug#658783: MATE Desktop Environment in 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...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4f327766.4010...@dogguy.org
Bug#639910: [Pkg-scala-maint] [sbt] SBT Debian packaging suspended
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 be happy to help work on it. To that point -- *is* there a current PPA with sbt that's usable? Setting up a PPA (or some APT repository in general) that works out the box, etc… is easy. Keeping it current, well maintained and working is not obvious. Having one for each release and each APT distribution is even more harder. Not impossible… but this work does not seem worth it, IMHO. I'd be in favor of having it packages within the distribution to get it working in all cases. Before considering setting up an external APT repository in the wild, I'd like to know 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-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4f302db1.7090...@debian.org
Bug#639910: [Pkg-scala-maint] [sbt] SBT Debian packaging suspended
[ 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 debian package to be up to date, a community maintained PPA is fine -- and I'd be happy to help work on it. To that point -- *is* there a current PPA with sbt that's usable? Setting up a PPA (or some APT repository in general) that works out the box, etc… is easy. Keeping it current, well maintained and working is not obvious. Having one for each release and each APT distribution is even more harder. Not impossible… but this work does not seem worth it, IMHO. I'd be in favor of having it packages within the distribution to get it working in all cases. Before considering setting up an external APT repository in the wild, I'd like to know 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, -- 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/4f303027.7060...@dogguy.org
Bug#639910: [Pkg-scala-maint] [sbt] SBT Debian packaging suspended
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 done on official debian packages. Thomas has made some efforts to understand the situation. And, he isn't saying that he will abandon the packaging effort. It is only suspended due to personal reasons. However, I strongly feel scalac + sbt are two tools that should be able to dogfood using previous binaries. Why should we support two builds if one is good enough? If debian developers wish to support a make build for SBT, that's great. I'd prefer to make use of SBT when developing SBT. I'm pretty hazy on why there's any reason on why SBT cannot use itself to build itself for debian, redhat, macosx or any other platform. It is quite understanble for a compiler to have a bootstrap phase where an old binary is used to build the new one. Usually, upstream ship an old binary to be able to achieve that. This technique completely and widely used. As an example, Scala uses the same technique. The situation with sbt is a bit different. It is quite uncommon for a build tool to bootstrap itself. TTBOMK, sbt is the only popular build tool that does bootstrapping. In Debian, we do not ship pre-built binaries in packages included in the main archive. Thomas is trying to fix this by making an experiment: build sbt w/o sbt. The approach seems natural but seems not easy (especially when you don't have upstream's support). I think that one way to resolve this issue is to do like Scala, i.e. ship pre-built binary is the source package to be able to bootstrap sbt. What we would like to have is a way to build sbt without requiring internet connection or external tools (be it sbt or another library). Is it possible to provide that? sbt would be still bootstrappable, but we would have a standard (i.e. an upstream supported way) to build sbt using what sbt's source package contains. I think that's the only external build dependency here. Please correct me if I'm wrong. If necessary, I will provide my own apt repository, signed and validated, but built entirely with SBT to ensure we have a good story on debian. If the debian community wants us to have a make build and is willing to create/maintain it for SBT to be in 'core' debian, that's wonderful. Otherwise, I'll make sure there's a nice apt repository out there, built with sbt, for sbt. I'm 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.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4f2ed885.3070...@dogguy.org
Bug#654942: I will maintain this package.
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.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4f0b4b56.4070...@debian.org
Bug#643736: ITP: ocaml-zarith -- arithmetic and logical operations over arbitrary-precision integers
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 exception Programming Lang: OCaml, C, ASM Description : arithmetic and logical operations over arbitrary-precision integers The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy. -- 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/20110929052550.31728.72253.report...@potassium.pps.jussieu.fr
Bug#641986: RFP: cmdliner -- command line interface handler
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 OCaml module for the declarative definition of command line interfaces. It provides a simple and compositional mechanism to convert command line arguments to OCaml values and pass them to your functions. The module automatically handles syntax errors, help messages and UNIX man page generation. 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 subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110918113639.9513.67474.reportbug@apocalypso
Bug#609420: O: qmailanalog-installer -- Installer package for building qmailanalog binary package
reassign 609420 ftp.debian.org retitle 609420 RM: qmailanalog-installer -- RoQA: orphaned, low popcon thanks On 01/09/2011 12:44 PM, Klaus Reimer wrote: I'm no longer using qmail and qmailanalog so I can't maintain this package good enough. I'm orphaning it hereby 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...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4d29a6ae.6030...@dogguy.org
Bug#603306: ITP: f-sharp -- Microsoft F# programming language
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# programming language F# is a programming language that provides support for functional programming in addition to traditional object-oriented and imperative (procedural) programming. The Visual F# product provides support for developing F# applications and extending other .NET Framework applications by using F# code. F# is a first-class member of the .NET Framework languages and retains a strong resemblance to the ML family of functional languages. -- 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/20101112200530.15451.83032.report...@localhost.localdomain
Bug#601691: ITP: idiocy -- a warning shot to people browsing the internet insecurely
On 28/10/2010 16:34, Juan Angulo Moreno wrote: Upstream Author: Jonty Wareing URL: http://github.com/jonty/idiocy License: Public Domain Description: A warning shot to people browsing the internet insecurely. Idiocy quietly watches for people insecurely visiting twitter on public wifi networks, then hijacks their session to post a tweet warning them about the dangers. It was written in response to the release of Firesheep, which will result in a huge increase in session stealing attacks, with no defence other than forcing 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
Bug#552568: getting synergy-plus into Debian
On 08/10/2010 13:57, Philipp Huebner wrote:
In my opinion an NMU is appropriate now. And then somebody needs to go
through all the open bugs and see if they're still relevant.
I would like to do it, but am currently too busy.
As written before, I'd be willing to sponsor the upload though.
The diff between 1.3.1 and 1.3.4 is:
197 files changed, 15105 insertions(+), 23118 deletions(-)
… large. It won't be granted a freeze-exception for this, unless you
target specific fixes.
Please don't upload to unstable during 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
Bug#552568:
On 0, Clément Lorteau c...@lorteau.fr wrote: Anyway, I'm trying to get the package into Ubuntu first and then Debian but REVU's too slow so i'd like to try the Debian way. I just uploaded a package on mentors.debian.net [1] and i'm looking for a sponsor. [1] http://mentors.debian.net/debian/pool/main/s/synergy-plus I had a look at the packaging and I noticed that some files come without a copyright header: ./win32util/autodep.cpp: *No copyright* UNKNOWN ./lib/platform/OSXScreenSaverControl.h: *No copyright* UNKNOWN ./lib/common/MacOSXPrecomp.h: *No copyright* UNKNOWN ./cmd/synergys/resource.h: *No copyright* UNKNOWN ./cmd/synergyc/resource.h: *No copyright* UNKNOWN ./cmd/launcher/resource.h: *No copyright* UNKNOWN ./dist/nullsoft/dosify.c: *No copyright* UNKNOWN Would you mind to check with upstream please? Besides, have you considered using synergy-plus sources as new sources for the synergy package? Synergy seems dead upstream anyway and its last upload in Debian dates back to more than one year. So, maybe its current maintainer is no longer interested and you could take over the package and use the new sources. I'm CC'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
Bug#586779: ITP: auto-complete-el -- The most intelligent auto-completion extension for GNU Emacs
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 : http://cx4a.org/software/auto-complete/ * License : GPL3 Description : The most intelligent auto-completion extension for GNU Emacs Is it possible to The most from the description? ^^ err. Sorry… I meant to remove. 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/4c20eb6c.3080...@dogguy.org
Bug#586779: ITP: auto-complete-el -- The most intelligent auto-completion extension for GNU Emacs
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. It changes as follows. Description : Intelligent auto-completion extension for GNU Emacs Thanks very much! 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/4c20f968.1070...@debian.org
Bug#586779: ITP: auto-complete-el -- The most intelligent auto-completion extension for GNU Emacs
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 : http://cx4a.org/software/auto-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-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4c20e99a.90...@debian.org
Bug#585125: ITP: build -- script to build .rpm and .deb packages
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 of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4c0f82e8.7010...@dogguy.org
Bug#584496: ITP: orxonox -- the hottest 3D action shooter ever to exist
On 06/04/2010 02:10 AM, Adrian Friedli wrote: Package: wnpp Severity: wishlist X-Debbugs-CC: debian-de...@lists.debian.org Package name: orxonox Version: Upstream Author: Orxonox Development Team orxonox(at)orxonox(dot)net URL: http://www.orxonox.net/ 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 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/4c08b177.6060...@dogguy.org
Bug#582884: ITP: usb-creator -- Live USB creator
On 05/27/2010 12:53 AM, Ignace Mouzannar wrote: Besides, FTP-masters could not like that name because it's too generic Let's let FTP-masters talk for themselves, before shouting out-loud what they could or could not like. I'm not 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. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4bfe2977.8070...@debian.org
Bug#582884: ITP: usb-creator -- Live USB creator
On 05/24/2010 06:19 PM, Justin B Rye wrote: Taking that already confusing term and leaving off the live eliminates the only clue that it has something to do with booting an operating system, and leaves us wondering how you've managed to package a Creator 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://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/4bfd98ec.3000...@debian.org
Bug#582884: ITP: usb-creator -- Live USB creator
On 05/24/2010 01:27 PM, Dmitrijs Ledkovs 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 shipped in Ubuntu for a few releases now. Honestly, I don't know how you (as a team) ended up with such a name. I don't believe the name is misleading when read together with short description or with long description. Having a clear short description is not a valid reason to keep that name, IMO. And such a name may not be appropriate because it's too general. live-usb-creator tells you what the program does, without reading its short description. Plus it would be inconvenience to rename the package again, cause we have just 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 debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4bfa665a.3040...@dogguy.org
Bug#582884: ITP: usb-creator -- Live USB creator
On 05/24/2010 12:55 PM, Dmitrijs Ledkovs wrote: Package: wnpp Severity: wishlist X-Debbugs-Cc: debian-de...@lists.debian.org, usb-creator-hack...@lists.launchpad.net, ubuntu-instal...@lists.ubuntu.com Owner: Dmitrijs Ledkovs dmitrij.led...@ubuntu.com * 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? 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/4bfa5fd9.5050...@dogguy.org
Bug#582884: [Usb-creator-hackers] Bug#582884: ITP: usb-creator -- Live USB creator
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 shipped in Ubuntu for a few releases now. Honestly, I don't know how you (as a team) ended up with such a name. I do not think it is misleading at all. Calling it live-usb-creator would just add confusion as it can be used to write debian-installer ISOs as well, which clearly are not live CDs. Is any debian-installer ISO used to be called live something? I don't think so. Equally, Evolution isn't packaged as evolution-mail-client, despite evolution telling you nothing about what it does. So why should we apply this new rule to just usb-creator? I'm not stating a new rule. Don't make assumptions from nothing! And that's not equally since Evolution doesn't contain mail nor client in its name. usb-creator is more explicit about promised features than evolution. If you want to keep that name, then fine! But, please, don't be hypocritical! -- 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/4bfa8428.8020...@dogguy.org
Bug#581979: ITP: radicale -- simple calendar server
On 17/05/2010 15:10, Jonas Smedegaard wrote: Package: wnpp Severity: wishlist Owner: Jonas Smedegaard d...@jones.dk * Package name: radicale Version : 0.2 Upstream Author : Guillaume Ayoub guillaume.ay...@kozea.fr * URL : http://radicale.org/ * License : 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/ -- 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/4bf2a06a.3020...@dogguy.org
Bug#575938: ITP: dh-autoreconf -- debhelper add-on to call autoreconf and clean up after the build
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-autoreconf I'd suggest just putting this 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 even makes debian/rules clearer. The difference is that dh_autoreconf calls autoreconf and stores a list of the changes and the changed files are then removed in the clean target. If you just call autoreconf, the changes end up in the diff; and this is not what we want. I do use autoreconf and I don't have these changes in my diff. IMO, a backup/restore script (where you specify the list of files to backup) may be more useful. It would be called before build and when cleaning. 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/4bb351ea.3000...@dogguy.org
Bug#575938: ITP: dh-autoreconf -- debhelper add-on to call autoreconf and clean up after the build
Julian Andres Klode wrote: A 'debuild; debuild' should have a different result than a single debuild then. If you build from a clean directory, the first build will contain no changes. But after the build, the directory is not clean anymore and debian/rules clean does not do enough to keep the changes from appearing in the source package if you build again. I should have done that earlier (but didn't see the git repo, only now). I had a look at dh-autoreconf's code and the difference between what I do and what your script does is that I manually specify a list of files to monitor while you monitor all files. IMO, dh-autoreconf may be not specific to autoreconf but all same kind of tools and thus, can be enhanced by making, for example, the command to execute an argument which could be the command true (and keep autoreconf as a default) because, sometimes, it may be needed to make debian/autoreconf.after a bit later than just after executing autoreconf. Hopefully, we can do that by overriding the file. If you have these options, dh-autoreconf becomes nothing more 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/ -- 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/4bb36028.7020...@dogguy.org
Bug#575938: ITP: dh-autoreconf -- debhelper add-on to call autoreconf and clean up after the build
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-autoreconf
I'd suggest just putting this 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 even makes debian/rules clearer.
Cheers,
--
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/4bb34a6a.3050...@debian.org
Bug#575938: ITP: dh-autoreconf -- debhelper add-on to call autoreconf and clean up after the build
Julian Andres Klode wrote: A backup and restore approach is a completely different and more complicated (in I/O sense) way than just deleting the files; e.g. for a single file: … except that they do not operate on the same set of files. dh_backup's list would be a lot smaller than dh_autoreconf's one. Besides, dh_backup (or whatever its name is) could also delete files upon request (dh_backup --remove would then be dh_autoreconf minus autoreconf). dh_backup: 1. mkdir() - Create the backup directory you can use then debian/ directory here (provided you add a suffix to backup's name). And, dh_autoreconf also creates a directory for excluded files (if any). So, I don't think that this part is really relevant for the comparison. I think that all arguments in favour or against have been mentioned. 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
Bug#545532: ITP: ocamlviz -- Ocamlviz gives the ability to instrument an existing code, in real time, with lightweight monitoring annotations
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/ * License : LGPL-2 Programming Lang: OCaml Description : real-time profiling tools for Objective Caml Ocamlviz gives the ability to instrument an existing code, in real time, with lightweight monitoring annotations. Ocamlviz can also be used as a debugging tool. Here are a few possibilities provided by Ocamlviz: * observe details about the garbage collector * observe how many times the program goes through a point * make a set of values (any) and count its cardinal number and its size in the heap * observe how much time passed between two points of the program * observe the value of integers, floating-point numbers, booleans and strings * observe details about hash tables, like the number of empty buckets, or the filling rate * etc ... Ocamlviz offers two sorts of client output: * an ASCII client, the monitoring is displayed in a file * a Graphical User Interface, using Lablgtk2, that allows, for instance, displaying data in a graph -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#531710: ITP: subnetcalc
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...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#522884: RFP: vmpk -- Virtual Midi Piano Keyboard
retitle 522884 ITP: vmpk -- Virtual Midi Piano Keyboard owner 522884 ! thanks On 0, rosea rosea.grammost...@gmail.com wrote: * Package name: vmpk Version : 0.4.2 Upstream Author : Pedro Lopez-Cabanillas plcl AT users.sourceforge.net * URL : http://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/ -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#520658: ITP: pidgin-latex -- pidgin plugin that turns LaTeX code into images
Severin Heiniger wrote: This Pidgin plugin looks for $$latex math$$ patterns and replaces them with the rendered LaTeX output. The graphics is only displayed locally, so the conversation partner will have to use the plugin as well. Looks funny… The package appears to be lintian clean. The package can be found on mentors.debian.net: - URL: http://mentors.debian.net/debian/pool/main/p/pidgin-latex - Source repository: deb-src http://mentors.debian.net/debian unstable main contrib non-free - dget http://mentors.debian.net/debian/pool/main/p/pidgin-latex/pidgin-latex_1.3.1-1.dsc I've built/installed your package and nothing happened! (Yes I activated it from the plugin list). The first try, I had to wait for 2 seconds and then nothing happens. The second try nothing neither. And my friend who was receiving 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
Bug#516351: ITP: see -- lightweight Linux text file and manpage viewer
MK wrote: Mark Eriksen (the upstream author) here. My desire for the binary and package name would be seetxt, which I have not been able to find any conflicts by googling. IMO, the best way to find conflicts is to use apt-file, not google. For example: $ apt-file search /usr/bin/see blast2: /usr/bin/seedtop emboss: /usr/bin/seealso kannel: /usr/bin/seewbmp mime-support: /usr/bin/see outguess: /usr/bin/seek_script seesat5: /usr/bin/seesat5 I will probably then also use a softlink to the binary, seeman, which shouldn't 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 subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#515617: ITP: laby -- Laby is a small program to learn how to program with ants and spider webs.
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: OCaml Description : A small program to learn how to program with ants and spider webs. Laby is a small program to learn how to program with ants and spider webs. You have to move an ant out of a labyrinth. You have to avoid spider webs, move rocks, etc. .. Using Laby, you can learn OCaml, C and Java. Other bindings can be added later to support new programming languages. -- System Information: Debian Release: 5.0 APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#515617: ITP: laby -- Laby is a small program to learn how to program with ants and spider webs.
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 is: http://www.pps.jussieu.fr/~gimenez/enseignement.html -- 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
Bug#515154: ITP: gitg -- git repository viewer for gtk+/GNOME
Jonny Lamb a écrit : Package: wnpp Severity: wishlist Owner: Jonny Lamb jo...@debian.org X-Debbugs-CC: debian-de...@lists.debian.org * Package name: gitg Version : 0.0.0+git+37ec0c Upstream Author : Jesse van den Kieboom je...@icecrew.nl * URL : http://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 -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#512658: ITP: coccinelle -- semantic patching tool for C
Eugeniy Meshcheryakov wrote: Coccinella uses both menhir command with --table parameter, that is not found in current Debian package (but is present in upstream) and menhirlib (not in Debian AFAICS). The menhir package will be updated soon. It will include the newest 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 -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#510228: RFP: Mononono -- Introduces an intentional conflict with Mono packages
Jonah Hague a écrit : Package: wnpp Severity: wishlist * Package name: Mononono Version : 1.0 Upstream Author : Tim Chase monon...@tim.thechases.com * URL : http://tim.thechases.com/mononono/ * License : BSD Programming Lang: Mono, C# Description : Introduces an intentional conflict with Mono packages By creating an intentional conflict with mono packages, this package can be installed to prevent Mono from being installed (or at least force you to address the conflict) I'm not a Mono 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
Bug#503437: RFP: lshell -- Limited Shell (lshell) provides a limited shell configured to each user
Rene Mayorga wrote: Package: wnpp Severity: wishlist * Package name: lshell Version : 0.2.1 Upstream Author : ghantoos [EMAIL PROTECTED] * URL : http://ghantoos.org/limited-shell-lshell/ * License : GPL Programming Lang: Python Description : Limited Shell (lshell) provides a limited shell configured to each user I Would like to see this package on Debian, Upstream is maintaining a .deb by his own so there is maybe a good start :) What's the 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]
Bug#468557: what's the status of alt-ergo package?
Timo Juhani Lindfors a écrit : Hi, what's the status of this package? I need to use it myself so I started to create a simple package for my own use. Is your more official packaging already available somewhere? My more official packaging is already available in the svn repository. You can check it at: http://svn.debian.org/viewsvn/pkg-ocaml-maint/trunk/packages/ergo/ Actually, I was waiting for the authors to correct some glitches in their tarball. Some of them have been fixed in 0.8. Other issues conern licencing. The COPYING file still referes to The ergo verifier but ergo doesn't exit anymore (Actually, it's a registered trademark). So, it should be The alt-ergo verifier. I prefer to check that more closely before upload ... even if it seems ridiculous. I updated the repository and made the built package available[1] for you. But the version 0.8 do not compile ... there is a missing file version.sh.in. I could live without it but still, the configure doesn't work properly without it. It will work perfectly if you do: ./configure || true But, as you 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]
Bug#468557: what's the status of alt-ergo package?
[1] http://svn.debian.org/viewsvn/pkg-ocaml-maint/trunk/packages/ergo/ You can find in [1] the source of package. And you can build it manually using : svn-buildpackage -us -uc -rfakeroot --svn-ignore Also, do you know how I should configure the gwhy tool to 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/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#484234: RFP: frama-c -- framework for source code analysis, of software written in C
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]
Bug#481163: RFP: freenet -- An anonymity and free-speech protecting decentralised darknet system.
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=1277 - https://bugs.freenetproject.org/view.php?id=1276 So, they don't want to have an official Debian package before version 1.0 because it needs to be updated frequently. I don't think they have changed their minds. Am I wrong ? Sam Penny wrote: Package: wnpp Severity: wishlist * Package name: freenet Version : 0.7.0 Upstream Author : Ian Clarke (see http://freenetproject.org/lists.html for contact details) * URL : http://freenetproject.org/ * License : GPLv2 + Mantissa license (Modified BSD) Programming Lang: Java Description : An anonymity and free-speech protecting decentralised darknet system -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#468557: ITP: ergo -- Automatic theorem prover dedicated to program verification
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 : Automatic theorem prover dedicated to program verification 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 equational theory and by the linear arithmetics. Ergo contains also a home made SAT-solver and an instanciation mechanism. Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor. -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.6.22-3-686 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to fr_FR.UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#468557: ITP: ergo -- Automatic theorem prover dedicated to program verification
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 equational theory and by the linear arithmetics. Ergo contains also a home made SAT-solver and an instanciation mechanism. I think it's to instantiate and instantiation. The variants with c aren't that common, and the OED (2nd edition) doesn't list them AFAICT. You're right. I'll fix the description when the package will be uploaded. -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#467033: RFP: vhffs -- VHFFS is a massive virtual hosting platform for free software
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 for free software VHFFS is a massive virtual hosting platform for free software. Developped by Tuxfamily.org admins, it can be used for massive hosting on several shared servers or for personal hosting on a single computer. It is designed to be used by many users, providing an user-friendly interface to configure web based services. A moderation system allows the administrator crew to accept or refuse services creation. VHFFS also provide powerful and useful administration tools and statistics. VHFFS can be used for hosting the following services : * DNS * Web (mass hosting) with statistics * Download repositories * MySQL * PostgreSQL * Mail * Mailing-list * CVS * Git * Subversion * Jabber -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.6.22-3-686 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to fr_FR.UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
