Bug#343940: ITP: gecode -- generic constraint development environment
On Mon, Dec 19, 2005 at 01:06:19AM +0200, Kari Pahula wrote: > Package: wnpp > Severity: wishlist > Owner: Kari Pahula <[EMAIL PROTECTED]> > > > * Package name: gecode > Version : 1.0.0 > Upstream Author : Christian Schulte <[EMAIL PROTECTED]> and others > * URL : http://www.gecode.org/ > * License : BSD > Description : generic constraint development environment Interesting. Are you also intending to package Alice http://ps.uni-sb.de/alice/ ? Otherwise I might be interested in packaging alice myself, provided I can get rid of some of my other packages. -Ralf. -- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#341874: RFA rscheme
Hi, as former package maintainer of rscheme and currently uploader of the package I just want to add that I cannot take over from Lars. I do not have sufficiet interest in rscheeme (any more) to invest the time needed to keep the package in shape. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#362958: RFA: texmacs -- WYSIWYG emacs-ish mathematical text editor
Package: wnpp Severity: normal Hi, I would like to give the texmacs package into caring hands. TeXmacs is a mathematical text editor, combining a wysiwyg interface with the typesetting quality of TeX. In fact, the program contains a complete re-implementation of Knuth's TeX typesetting algorithm, minus some of its limitations. The intended audience is mathematical writers, for this reason it has interfaces to many computer algebra systems. Some people abuse texmacs as a wysiwyg fromtend to write LaTeX (since it has an output converter to LaTeX), but in fact it is much more. I have been maintaining this packaeg for more than four years, in recent times with the help of Magnus Ekdahl. Unfortunately, I do not have the time to continue maintaining this package, and for the same reason Magnus cannot take over maintainership. In all the time the package has grown to my heart :-), and I would feel bad leaving the users of the package out in the cold. Hence I really would like this package to be taken over by some caring developper(s). Knowledge of C++ would be very helpful. There is an upstream bug tracer at savannah and a small upstream developer community. Coordination with upstream is easy. The main outstanding issues of the package are a better integration of fonts, and compilation with gcc-4.1. For the moment I can continue to do the maintenance, but if there is no taker in some weeks I will orphan the package. -Ralf. signature.asc Description: Digital signature
Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied
Package: wnpp Severity: wishlist Owner: Ralf Treinen <[EMAIL PROTECTED]> * Package name: debcheck Version : as of 2006/3/19 Upstream Author : Jerome Vouillon <[EMAIL PROTECTED]> * URL : http://www.pps.jussieu.fr/~vouillon/ * License : GPL Programming Lang: Objective Caml Description : Checks whether dependencies of debian packages can be satisfied This software checks for every package of a distribution (in the debian format .deb) whether it is possible to satisfy its dependencies and conflicts within this distribution. The constraint solving algorithm is complete, that is it finds a solution whenever there exists one, even for multiple disjunctive dependencies and deep package conflicts. This problem is computationally intractable in theory (that is, NP-complete), but can in practice be solved very efficiently. == Some comments on this: the essential point is that it is really a *complete* constraint solver. In particular it implements properly the logical semantics of disjunctive dependencies. Despite the fact that it is a complete constraint solver, and despite the fact that the problem is NP-complete, the tool is lightning fast. This is achieved by using a custom-built SAT solver. For instance, a complete check of testing/main for i386 as of today takes 12 seconds on my PC (1GHz). Preliminary packages are available at http://people.debian.org/~treinen/debcheck/ -Ralf. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (990, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.16 Locale: LANG=C, LC_CTYPE=C (charmap=ISO-8859-1) (ignored: LC_ALL set to en_US) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied
On Thu, Apr 27, 2006 at 05:30:48PM -0400, Stefano Zacchiroli wrote: > On Thu, Apr 27, 2006 at 09:53:20PM +0200, Ralf Treinen wrote: > > Package: wnpp > > Severity: wishlist > > Owner: Ralf Treinen <[EMAIL PROTECTED]> > > > > * Package name: debcheck > > Version : as of 2006/3/19 > > Upstream Author : Jerome Vouillon <[EMAIL PROTECTED]> > > * URL : http://www.pps.jussieu.fr/~vouillon/ > > * License : GPL > > Programming Lang: Objective Caml > > Description : Checks whether dependencies of debian packages can be > > satisfied > > > > This software checks for every package of a distribution (in the > > debian format .deb) whether it is possible to satisfy its dependencies > > and conflicts within this distribution. > > Looking at the docs the tool seems to be able to work on any set of > debian packages provided as Packages entries provided on standard input. > I would thus rephrase the above paragraph as: > > This software checks for a set of Debian packages (provided as > Packages entries) whether it is possible to satisfy the dependencies > and conflicts of all involved packages within the set. > > Better to ask for an advice of a native English speaker, but my point is > to emphasize "the set of packages" rather then "the distribution". You are right. My usage of the word "distribution" comes from the terminology of the edos project http://www.edos-project.org/xwiki/bin/view/Main/WebHome (where this tool, and many others, originated). In the context of this project a distribution is a set of packages containing possibly multiple versions of a package name. The debian reading of the word "distribution" excludes this. > > Preliminary packages are available at > > http://people.debian.org/~treinen/debcheck/ > > I suggest to add to the manpage an hint that the Packages file is a > suitable input for the tool. For the moment it is in the EXAMPLES section of the manpage, but I'll make this more explicit. > I saw that there is also an rpmcheck tool, which does the same for .rpm > packages. Don't you plan to package this as well? What about providing > an unique binary package (maybe called "pkgcheck") with the two > binaries? For the moment I create two binary packages, one with the debcheck tool for deb packages, and another one with the rpmcheck tool which does the analogous thing on rpm packages. I forgot to mention this in my ITP. > If you are worried about the size: upstream links them separately and > they are 130 Kb each, but I'm pretty confident that linking a single > executable with two different names and the usual speculation about > Sys.argv.(0) would dramatically cut down the total size ... I'll have a look into this, thanks for the suggestion. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied
Hi, On Thu, Apr 27, 2006 at 11:30:38PM +0200, Sven Mueller wrote: > However, I wonder why you have a "versioned" depend on ocaml-nox-3.09.1. > debcheck seems to run quite nicely on my Sarge box (with ocaml-nox 3.08 You are right, this is too strict here. I'll relax the build-dependency for he next version. When I wrote this I was thinking about compilation to OCaml byte code. Thanks -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied
Hi Sven, On Fri, Apr 28, 2006 at 12:04:02AM +0200, Sven Mueller wrote: > Ralf Treinen wrote on 27/04/2006 21:53: > > Package: wnpp > > Severity: wishlist > > Owner: Ralf Treinen <[EMAIL PROTECTED]> > > > > * Package name: debcheck > > Version : as of 2006/3/19 > > Upstream Author : Jerome Vouillon <[EMAIL PROTECTED]> > > * URL : http://www.pps.jussieu.fr/~vouillon/ > > There is one "small" wish (actually I don't know wether it is a small or > large one, considering the work already done in debcheck/rpmcheck) I > have, which you might want to implement and/or forward to $Upstream: > > It would be quite nice if the tool had an option to do the following: > Given the Packages file (or other compatible list of packages) on STDIN > and a set of "seed" packages on the commandline, print out all the > packages needed to fulfill the dependencies (if all dependencies can be > fulfilled - error out if not). > > This would be of use on many occasions, most notably when you try to > build a minimal repository which contains all needed packages for a > given set of packages you want installed. In my case, it would help to > build an automated installation CD for Debian with some customized > and/or additional packages. Currently, when I add a new application, I > have to manually check the dependencies. Would be extremely nice to find > a way to automate this. What you describe is indeed one of the goals of the edos project (http://www.edos-project.org/xwiki/bin/view/Main/WebHome) where the debcheck tool (and many others) comes from. In the context of the edos projec we call this problem "thinning" of a distribution. The problem seems to be beyond debcheck's realm. There is work in progress on this issue but so far there is no completely satisfying solution. In particular we would like to find a minimal solution with respect to some reasonable metrics (number of packages, size of packages, ...). How important do you think would be minimality of a solution? Or what would be your criterion for an optimal solution to the problem? The use case you describe suggests to me a variant of the problem which might be easier: Extend a given distribution by just a small set of packages and their dependency closure. In this case it would be sufficient to find a solution which is only "locally" optimal (that is optimal among those that preserve the previous calculated distribution). Would that be sufficient for your purpose? -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied
On Fri, Apr 28, 2006 at 04:43:38AM +0200, Peter Palfrader wrote: > On Thu, 27 Apr 2006, Ralf Treinen wrote: > > > Package: wnpp > > Severity: wishlist > > Owner: Ralf Treinen <[EMAIL PROTECTED]> > > > > * Package name: debcheck > > Upstream Author : Jerome Vouillon <[EMAIL PROTECTED]> > > Actually, there already is a debcheck. Namely the tests run on the qa This is the name used by the upstream author, but I realise that it might be too generic. I'll think about it. > page: > > http://qa.debian.org/debcheck.php That is interesting. How exactly are these pages computed? -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#365087: [edos-wp2] Re: Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied
On Fri, Apr 28, 2006 at 05:03:41PM +0200, [EMAIL PROTECTED] wrote: > - anla. >This is usable, online, at http://brion.inria.fr/anla This should be http://brion.inria.fr/anla/ -Ralf. -- Ralf Treinen Laboratoire Spécification et Vérification CNRS, École Normale Supérieure de Cachan, INRIA Futurs http://www.lsv.ens-cachan.fr/~treinen
Bug#516790: #516790 - Cant install 3d2m under Debian amd64
Hello, we do not integrate directly third-party binary debs in Debian. Someone would need to package that software for debian and provide a Debian source package. This could be done, but it would certainly help if the source distributions contains compilation instructions. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#503528: Bug#527832: fluidsynth: FTBFS: cp: cannot stat `/usr/share/libtool/ltmain.sh': No such file or directory
On Wed, May 20, 2009 at 07:13:23AM +0200, David Henningsson wrote: > A new version is available at: > http://mentors.debian.net/debian/pool/main/f/fluidsynth I have just uploaded to unstable. the ony modification that I have done is that I have put the maintainer field in the control file back to QA, and adapted the changelog accordingly. The reason is that in my understanding the maintainer should be an debian member (or group account). The changlog entries of your modificatons carry of course your name. That means that #503528 is still open; I am putting bug #503528 in cc to this mail to indicate that you are taking care of that package now. Thanks a lot for your contribution to debian! -Ralf. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#474129: xtel: is this still useful?
Hi, I wonder whether xtel is still useful to anyone. It certainly used to be, some years ago, in the days before ADSL become available in France. At that time I used it myself, but I do not know anyone who is still using minitel. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#435702: x2x debian package
Hello, you announced on Dec 13, 2007, interest to adopt the x2x package. Are you still intending to do so? There are quite some open bugs against x2x that would require a caring maintainer. I could easily do a QA upload for #485530 but it would obviously be better if someone who uses that package adopts it. http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=274451 Best Regards -Ralf -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#418965: confluence
The confluence package has been adopted by the Debian Ocaml Maintainers team in order to coordinate with future releases of ocaml. Besides this we have no particular interest in this package, adoption or other help by anyone being interested in this package is most welcome. Also note that this package has been abandoned by upstream, and that it is superseeded by the "atom" project: http://www.funhdl.org/wiki/doku.php/confluence -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#450688: ITP: yap -- YAP Prolog compiler
Package: wnpp Severity: wishlist Owner: Ralf Treinen <[EMAIL PROTECTED]> * Package name: yap Version : 5.1.1 Upstream Author : Luis Damas and Vitor Santos Costa, plus contributors * URL : http://www.ncc.up.pt/~vsc/Yap/ * License : Artistic Programming Lang: C Description : YAP Prolog compiler YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog. YAP features constraint solvers over real numbers, and support for constraint handling rules (CHR). -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.22-3-486 Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#424893: ITP: cmigrep -- search in ocaml compiled interface files
Package: wnpp Severity: wishlist Owner: Ralf Treinen <[EMAIL PROTECTED]> * Package name: cmigrep Version : 1.3 Upstream Author : Eric Stokes * URL : http://homepage.mac.com/letaris/ * License : GPL Programming Lang: OCaml Description : search in ocaml compiled interface files This program allows you to search for items (like for instance types, constructors, or exceptions) in compiled interface files generated by the Objective Caml compiler. Note: this software is currently contained in the catch-all package ocaml-tools. I intend to split off cmigrep from ocaml-tools. -Ralf, -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.18-4-486 Locale: LANG=en_US.ISO-8859-1, LC_CTYPE=en_US.ISO-8859-1 (charmap=ISO-8859-1) (ignored: LC_ALL set to en_US.ISO-8859-1) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#425293: ITP: ocamlmakefile -- a general makefile for the Objective Caml programming language
Package: wnpp Severity: wishlist Owner: Ralf Treinen <[EMAIL PROTECTED]> * Package name: ocamlmakefile Version : 6.24.8 Upstream Author : Markus Mottl <[EMAIL PROTECTED]> * URL : http://www.ocaml.info/home/ocaml_sources.html#toc16 * License : LGPL Description : a general makefile for the Objective Caml programming language Ocamlmakefile is a general makefile which allows a programmer to create quickly custmized makefiles for a project written in Objective Caml. Typically, a customized makefile consists of the definition of a few variables, and an inclusion of the general makefile provided by this package. Note: Currently, ocamlmakefile is part of the catch-all package ocaml-tools. I intend to split off omalmakefiel from ocmal-tools, as it was previously announced on the debian-ocaml-maint mailing list. -Ralf. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.18-4-486 Locale: LANG=en_US.ISO-8859-1, LC_CTYPE=en_US.ISO-8859-1 (charmap=ISO-8859-1) (ignored: LC_ALL set to en_US.ISO-8859-1) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#427297: ITP: sturmbahnfahrer -- simulated obstacle course for automobiles
On Sun, Jun 03, 2007 at 04:00:28PM +0900, Charles Plessy wrote: > Le Sun, Jun 03, 2007 at 02:30:43AM +0200, Miriam Ruiz a écrit : > > Package: wnpp > > * Package name: sturmbahnfahrer > > Dear Miriam, > > I have very bad feelings when I read the name of this game. It is a very > bad taste play on the word "sturmbahnführer", which is a rank which was > only awarded in the SS divisions when Germany was ruled by the nazis. If The rank was sturmbaNnführer, which increases the distance from 1 to 2. http://en.wikipedia.org/wiki/Sturmbannf%C3%BChrer -Ralf.
Bug#570284: O: washngo
washngo has 3 serious bugs, two of them FTBFS, and has a popcon of virtually zero. If noone takes action on this package soon then I will ask for its removal on behalf of the QA team. -Ralf. -- 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/20100405084702.gb2...@free.fr
Bug#570284: O: washngo
HI Joachim, On Tue, Apr 06, 2010 at 06:54:55PM +0200, Joachim Breitner wrote: > Hi Marc, > > Am Dienstag, den 06.04.2010, 16:47 +0200 schrieb Marc Weber: > > Excerpts from Joachim Breitner's message of Mon Apr 05 11:41:09 +0200 2010: > > > Dear Ralf, > > > > > > Am Montag, den 05.04.2010, 10:47 +0200 schrieb Ralf Treinen: > > > > washngo has 3 serious bugs, two of them FTBFS, and has a popcon > > > > of virtually zero. If noone takes action on this package soon > > > > then I will ask for its removal on behalf of the QA team. > > > > > > as a member of the DHG, I do not object. (I still hope that Marc will > > > help us out by creating a cabalized version). > > > > Sorry for the long delay. > > > > New cabalized darcs version which compiles: > > > > http://code.haskell.org/WASH > > > > I haven't tested it in detail. Anyway I'm going to upload it to Hackage > > probably within 2 days. > > > > It should be easy to install the package using cabla-install. So I > > don't think it matters that much whether there is a Debian package or > > not. > > thanks for the update. I don’t expect any problem in supporting a > cabalized WASH in Debian. Ralf, in this case, please postbone the > removal for a while. sure. Would the debian haskell team take over maintenance of that package (I take it that you are on that team) ? Cheers -Ralf. -- 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/20100407080206.gb2...@free.fr
Bug#587521: ITP: dose3
Package: wnpp Severity: wishlist Owner: Ralf Treinen Package name:dose3 Version: 0.7 Upstream Author: Pietro Abate URL: http://gforge.info.ucl.ac.be/frs/download.php/160/dose3-0.7.tar.gz Licence: GPL >=3 Programming Language: OCaml Tentative Description: Dose3 is a framework made of several OCaml libraries for managing distribution packages and their dependencies. Though not tied to any particular distribution, dose3 constitutes a pool of libraries which enable analyzing packages coming from various distributions. Besides basic functionalities for querying and setting package properties, dose3 also implements algorithms for solving more complex problems (monitoring package evolutions, correct and complete dependency resolution, repository-wide uninstallability checks). Maintainer: Debian OCaml Maintainers Remark: This is the new implementation of the dose2 libraries and the accompanying tools, in particular edos-distcheck. We will for the moment upload only to experimental until we are comfident that the new implementation can be used as a replacement of the old one. During that time we will use names of binary packages that do not clash with existing names of binary packages in unstable. Once we know everything is OK we will transition from the old edos-distcheck to the new one. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- 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/20100629130913.ge12...@vanadium.pps.jussieu.fr
Bug#601248: ITP: caneda -- open source EDA software focused on easy of use and portability
On Sun, Oct 24, 2010 at 01:22:24PM -0300, Lisandro Damián Nicanor Pérez Meyer wrote: > Caneda is an open source EDA software focused on easy of use and portability. please explain in the long description what "EDA" means. -Ralf. -- 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/20101024170655.gb3...@free.fr
Bug#140266: submitter email address
my "from" got mangled: Ralf Treinen <[EMAIL PROTECTED]> -Ralf. -- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#147335: ITP: hevea-doc -- Documentation for HeVeA
Package: wnpp Severity: wishlist * Package name: hevea-doc Version : 1.06 Upstream Author : Luc Maranget <[EMAIL PROTECTED]> * URL : http://pauillac.inria.fr/~maranget/hevea/ * License : Free Document Dissemination Licence (see below) User documentation (tutorial and reference manual) of the HeVeA LaTeX-to-HTML translator. The "Free Document Dissemination Licence" is enclosed below. It seems to me to be too restrictive on modifications (clause 2), hence this package will go into non-free. Free Document Dissemination Licence -- FDDL version 1 This document may be freely read, stored, reproduced, disseminated, translated or quoted by any means and on any medium provided the following conditions are met: * every reader or user of this document acknowledges that he his aware that no guarantee is given regarding its contents, on any account, and specifically concerning veracity, accuracy and fitness for any purpose; * no modification is made other than cosmetic, change of representation format, translation, correction of obvious syntactic errors, or as permitted by the clauses below; * comments and other additions may be inserted, provided they clearly appear as such; translations or fragments must clearly refer to an original complete version, preferably one that is easily accessed whenever possible; * translations, comments and other additions must be dated and * their author(s) must be identifiable (possibly via an alias); * this licence is preserved and applies to the whole document with modifications and additions (except for brief quotes), independently of the representation format; * whatever the mode of storage, reproduction or dissemination, anyone able to access a digitized version of this document must be able to make a digitized copy in a format directly usable, and if possible editable, according to accepted, and publicly documented, public standards; * redistributing this document to a third party requires simultaneous redistribution of this licence, without modification, and in particular without any further condition or restriction, expressed or implied, related or not to this redistribution. In particular, in case of inclusion in a database or collection, the owner or the manager of the database or the collection renounces any right related to this inclusion and concerning the possible uses of the document after extraction from the database or the collection, whether alone or in relation with other documents. Any incompatibility of the above clauses with legal, contractual or judiciary decisions or constraints implies a corresponding limitation of reading, usage, or redistribution rights for this document, verbatim or modified. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#146320: ITP: maria
On Sun, Aug 04, 2002 at 01:44:42PM +0200, Josselin Mouette wrote: > Le dim 04/08/2002 à 13:38, Moshe Zadka a écrit : > > > > > How large are the docs? what are the chances someone will want the > > > > package > > > > sans the docs? > > > > > > The maria-doc package will be around 150KB, the maria core package > > > around 300KB. Worth splitting off, IMHO. > > > > No comment on the "chances" question? > > If maria is architecture-dependent, it is certainly worth splitting. Do > you know that every architecture-dependent package is built on 11 > architectures ? maria (core) would be architecture dependant, while the doc is of course not. This, and the fact that the size of the doc is a significant portion of the total size, is the reason to split. Besides, I guess that any user of maria will need access to the doc, be it online or on a paper. However, he could also downlad a PDF version from the maria web site (University of Helsinki). -Ralf.
Bug#146320: ITP: maria -- Reachability analyzer for Algebraic System Nets
* Package name: maria Version: 1.2 Upstream author: Marko Mäkelä <[EMAIL PROTECTED]> * URL: http://www.tcs.hut.fi/Software/maria * Licence: GPL Description: Reachability analyzer for Algebraic System Nets Maria is a powerful tool designed to aid engineers in modelling and solving concurrency related problems in parallel and distributed computing systems. . Maria finds deadlocks and violations against safety or liveness requirements by exploring all states that can be reached from the initial state of a system. The tool manages tens or hundreds of millions of reachable states and enabled actions. . The expressive power of Maria's formalism is close to high-level programming languages, thanks to its rich data type system and powerful algebraic operations. --
Bug#146321: ITP: lbt -- Converter of LTL formulas to Buechi automata
* Package name: lbt Version: 1.2.1 Upstream Author: Mauno Rönkkö <[EMAIL PROTECTED]> * URL: http://www.tcs.hut.fi/Software/maria/tools/lbt/ * Licence: GPL Description: Converter of LTL formulas to Buechi automata This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net). --- There has been an RFP for this package (bug #146321). -Ralf Treinen --
Bug#155662: ITP: springgraph -- a graph renderer
Package: wnpp Version: N/A; reported 2002-08-05 Severity: wishlist * Package name : springgraph Version : 0.79 Upstream Author : [EMAIL PROTECTED] * URL : http://www.chaosreigns.com/code/springgraph/ * License : GPL Description : A graph renderer Springgraph will read in a .dot file description of a graph, which, for each node, specifies its name and which other nodes it is connected to, and then renders a graph. Each node is drawn as an ellipse, and each connection is drawn as an arrow. The node placement is a result of all of the nodes moving away from each other, while all nodes which are connected move toward each other. This movement is repeated until it stabilizes. Comment: A free replacment for the non-free graph-rendering package graphviz would be greatly appreciated. Unfortunately, springgraph is not (yet ?) a drop-in replacement for graphviz. Still, it can be useful for certain applications. One of the applications mentioned on springgraph home page, for instance, is visualisation of the debian keyring (though I didn't yet check for myself). -Ralf. --
Bug#200153: ITP: e2tools -- utilities for manipulating files in an ext2/ext3 filesystem
On Sat, Jul 05, 2003 at 05:24:21PM +0200, Robert Millan wrote: > Package: wnpp > Version: unavailable; reported 2003-07-05 > Severity: wishlist > > * Package name: e2tools > Version : 0.0.13 > Upstream Author : Keith Sheffield <[EMAIL PROTECTED]> > * URL : http://home.earthlink.net/~k_sheff/sw/e2tools/index.html > * License : GPL > Description : utilities for manipulating files in an ext2/ext3 > filesystem > > E2tools is a simple set of GPL'ed utilities to read, write, and manipulate > files in an ext2/ext3 filesystem. please excuse my ignorance - what would be the advantage of these tools over the core file utilities which use the VFS layer? -Ralf. --
Bug#116154: ITP: tuareg-mode: an emacs mode for ocaml programs
Package: wnpp Severity: wishlist Tuareg-mode is an emacs mode for ocaml programs. Currently tuareg-mode is contained in the ocaml-tools package. I intend to split tuareg-mode off since it is large enough to deserve its own package. Furthermore it will depend on emacsen while the other tools in the ocaml-tools package don't. Licence: GPL. Hoem Page: http://www-rocq.inria.fr/~acohen/tuareg/ -Ralf. --
Bug#126785: RFA: rscheme -- Threaded, persistent, OO, scheme interpreter and compiler.
Package: wnpp Severity: normal I adopted the package some time ago since it had a number of bugs that I was able to fix. However, I am not really interested in continuing maintenance of rscheme since I am not using it myself. There are some open bugs in connection with porting to various architectures, the problem is in the memory managment module. If you take it then you get rescheme-modules as free bonus :-) -Ralf. pgpRlAtTBau3x.pgp Description: PGP signature
Bug#126786: RFA: rscheme-modules -- Add on modules for RScheme from the CVS development tree.
Package: wnpp Severity: normal This comes with the rscheme package, see my RFA for rscheme. -Ralf. pgpZfGFkLMe0C.pgp Description: PGP signature
Bug#146320: problem compiling with latest bison
The maria packages are almost done. Unfortunately, maria does not compile with the latest version of bison (1.50). The usptream author is informed, this should be fixed soon. -Ralf. --
Bug#176267: ITP: mplayer -- Mplayer is a full-featured audio and video player for UN*X like systems
On Sat, Jan 11, 2003 at 04:24:54PM +0100, Robert Nagy wrote: > Package: wnpp > Version: unavailable; reported 2003-01-11 > Severity: wishlist > > > * Package name: mplayer > Version : 0.90pre2 > Upstream Author : Arpad Gereoffy <[EMAIL PROTECTED]> > * URL : http://www.mplayerhq.hu > * License : GPL > Description : Mplayer is a full-featured audio and video player for > UN*X like systems > > (Include the long description here.) > I've read that mplayer's code is clean now and it is fully under the > terms of GPL. So i've created some packages for Debian. Are you aware of the packages built by Christian Marillat (http://marillat.free.fr)? These are not part of the debian distribution (even not in non-free). Since Christian is himself a Debian developer I'm sure he would be eager to put his packages into the distribution if it were possible. -Ralf. --
Bug#187988: ITP: planets -- A gravitation simulation program of planetary bodies
On Thu, Apr 10, 2003 at 06:22:56PM +0200, Martin Pitt wrote: > Currently I am not a Debian developer, I would like to upload the > package with the help of a sponsor. There is a chance that a DD I know > helps me, otherwise I'll ask on d-mentors. Hört sich gut an. Ich fahre "leider" am Samstag morgen für eine Woche in Urlaub und werde vorher keine Zeit haben mir Dein Paket anzuschauen. Falls Du bis Ostern niemanden gefunden hast melde Dich einfach bei mir, und ich schaue mir die Sache an. Gruß -Ralf. --
Bug#90959: ITP: ocaml-tools
Package: wnpp Severity: wishlist I intend to build a package "ocaml-tools" that unites several small tools for programmers working with the ocaml language. This proposal grew out of a discussion on the debian-ocaml-maint mailing list. For a start, the package will contain - tuareg: an alternative emacs mode for editing ocaml code http://www-rocq.inria.fr/~acohen/tuareg/ GPL - OcamlMakefile : a makefile template for ocaml projects http://miss.wu-wien.ac.at/~mottl/home/ocaml_sources.html#toc4 LGPL - configure.in and Makefile.in for ocaml programs http://www.lri.fr/~filliatr/software.en.html LGPL Furthermore I'd like to add, provided the authors issues an acceptable licence (for the moment there is no licence): - ocamldot: generates dependency graphs for ocaml programs http://www.research.att.com/~trevor/ocamldot/ This would be compiled as ocaml bytecode such that the package is architecture-independent. -Ralf. --
Bug#248048: ITP: wmi -- Window Manager Improved
Hi Florian, just a few spelling mistakes in the long description: On Sat, May 08, 2004 at 11:17:25PM +0200, Florian Ragwitz wrote: > Package: wnpp > Severity: wishlist > > * Package name: wmi > Version : 7 > Upstream Author : Anselm R. Garbe <[EMAIL PROTECTED]> > * URL : http://wmi.berlios.de/ > * License : MIT > Description : Window Manager Improved > > WMI is a new, minimalistic window manager for X11, which combines the best > features of LarsWM, Ion, TrsWM, evilwm and ratpoison into one window manager. > . > WMI is highly customizable: it is designed with keyboard users in mind. > Each action (e.g. resizing the frame, creating a new workspace, > launching an app, note that WMI provides hundreds of actions) can be > bind to a shortcut. So say good-bye to the rodent :) ... can be bound to a shortcut. > . > WMI is the vim among the window managers: its main user interaction is > oriented on the two modes of the famous vi editor - command mode and > normal mode. In WMI the command mode is called input mode and supports > the context-sensitive execution of actions. Outside this mode, only > actions which are bind to a shortcut can be invoked. ... which are bound to ... > . > WMI is flexible: it is able to arrange multiple clients in one frame in > a maximized way, like Ion does, or to arrange them floating on a layer > of the workspace. The track behavior of larswm can be emulated through > using two or more frames in a neighbor arrangement. > . > WMI is simple to customize: there's no Lua bungling for customization > of the WMI, like Ion or TrsWM does. Only simple property files, which > are maintainable without the knowledge of yet another turing complete Turing-complete > scripting language. > > -- System Information: > Debian Release: testing/unstable > APT prefers testing > APT policy: (500, 'testing') > Architecture: i386 (i686) > Kernel: Linux 2.4.18 > Locale: LANG=C, LC_CTYPE=C > > > -- > To UNSUBSCRIBE, email to [EMAIL PROTECTED] > with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED] Regards -Ralf. --
Bug#241359: ITP: mathpartir -- LaTeX macros for typesetting inference rules
Package: wnpp Severity: wishlist * Package name: mathpartir Version : 1.1.1 Upstream Author : Didier Remy * URL : http://pauillac.inria.fr/~remy/latex/index.html#tir * License : GPL Description : LaTeX macros for typesetting inference rules This packages contains LaTeX macros for * typesetting a sequence of math formulas in mixed horizontal and * vertical mode * typesetting inference rules . Homepage: http://pauillac.inria.fr/~remy/latex/index.html#tir --
Bug#289043: ITP: perlprimer -- [Biology] Graphical design of primers for PCR
On Thu, Jan 06, 2005 at 11:03:08PM +0100, Steffen Moeller wrote: > Package: wnpp > Severity: wishlist > > > * Package name: perlprimer > Version : 1.1.5 > Upstream Author : Owen Marshall <[EMAIL PROTECTED]> > * URL : http://perlprimer.sourceforge.net > * License : GPL > Description : [Biology] Graphical design of primers for PCR > > PerlPrimer is a free, open-source GUI application written in Perl that > designs primers for standard PCR, bisulphite PCR, real-time PCR (QPCR) > and sequencing. It aims to automate and simplify the process of primer > design. Wouldn't the package be better named "pcrprimer" or something like this? The fact that it is written in perl seems not to be relevant to the user. The name "perlprimer" makes me rather think of a primer (tutorial) for perl. -Ralf. --
Bug#153923: RFP: mosml -- Moscow ML - a lightweight implementation of Standard ML
There seems to be a problem with the licence of Moscow ML which, AFAIK, does not allow us to redestribute Moscow ML. Please see the thread starting at http://lists.debian.org/debian-ocaml-maint/2003/07/msg00021.html for further information. -Ralf. --
Bug#636974: ITP: root-system -- CERN's ROOT Data Analysis Framework
Hello, there has already been in the past a root-system package, but it was removed since it was in a bad state: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=610011 -Ralf. -- 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/20110808084725.ga7...@free.fr
Bug#672480: ITP: prooftree -- proof tree visualization for Proof General
On Mon, May 14, 2012 at 12:03:32PM +0200, Andreas Tille wrote: > On Mon, May 14, 2012 at 10:52:28AM +0200, Hendrik Tews wrote: > > > >and tell us, in what task your package might fit best. > > > > If prooftree ever makes it into Debian, it should be together > > with coq and proof-general, ie. science-mathematics. > > OK, thanks. I'll care for this. > > > BTW: > > - matita, agda, prover9 are proof assistants similar to coq, but > > not listed in science-mathematics > > - hol-light, currently waiting in the new-queue, too > > I will add all these - new is regarded in the tasks generation script > as well. > > > - minisat would also belong to this group > > - you might want to have a separate meta-package > > "theorem-proving" or "formal-methods" for all these tools > > This kind of input is exactly what is wanted here on this list. > > Regarding the split into separate meta-packages: While I agree that > science-mathematics becomes a bit crowded I'm not fully sure that we > should keep on maintaining mathematical packages under the Debian > Science umbrella. I'd rather vote for some math-* tasks which enables > mor fine grained tasks (same probably for physics). > > Any opinions? ScienceLogic [1] would be more appropriate, IMHO, in particular when ScienceMathematics is getting crowded. [1] http://wiki.debian.org/DebianScience/Logic -Ralf. -- 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/20120514183301.gb3...@free.fr
Bug#673238: ITP: ceres-solver -- nonlinear least square minimizer
On Thu, May 17, 2012 at 05:43:53PM +0900, Koichi Akabe wrote: > Package: wnpp > Severity: wishlist > Owner: Koichi Akabe > > * Package name: ceres-solver > Version : 1.1.1 > Upstream Author : Google Inc. > * URL : http://code.google.com/p/ceres-solver/ > * License : BSD-3-clause > Programming Lang: C++ > Description : nonlinear least square minimizer > > Ceres Solver solves nonlinear least squares problems comes up > in a broad range of areas across science and engineering. this looks like a candidate for inclusion in Debian Science/Mathematics. Have you considered maintaining at in the debien science team? -Ralf. -- 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/20120517090407.ga8...@free.fr
Bug#394585: ITP: hoz -- file splitter that uses the hacha file format
On Sun, Oct 22, 2006 at 01:52:15AM +0200, Miriam Ruiz wrote: > Package: wnpp > Severity: wishlist > Owner: Miriam Ruiz <[EMAIL PROTECTED]> > > > * Package name: hoz > Version : 1.65 > Upstream Author : Gustavo Picon <[EMAIL PROTECTED]> > * URL : http://hoz.sourceforge.net/ > * License : GPL > Programming Lang: C > Description : file splitter that uses the hacha file format > > HOZ is a file splitter, which uses the same file format as the popular > 'Hacha' program. The reference to hacha might be misleading in the context of debian since we have already a program "hacha" in the hevea package, which splits html files generated by hevea. -Ralf. -- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#395111: RFP: ocamlp3l - a functional parallel programming system
On Tue, Oct 24, 2006 at 11:58:11PM +0200, Luca Brivio wrote: > Package: wnpp > Severity: wishlist > > * Package name: ocamlp3l > Version : 2.0 > Upstream Author : Emmanuel Chailloux <[EMAIL PROTECTED]>, > Roberto Di Cosmo <[EMAIL PROTECTED]>, Zheng Li <[EMAIL PROTECTED]>, > Marco Danelutto <[EMAIL PROTECTED]>, Susanna Pelagatti > <[EMAIL PROTECTED]>, Xavier Leroy <[EMAIL PROTECTED]>, Pierre > Weis <[EMAIL PROTECTED]> > * URL or Web page : http://www.pps.jussieu.fr/~dicosmo/ocamlp3l/ > * License : LGPL with one exception > Description : a functional parallel programming system > > OcamlP3l is a parallel programming system based on Objective Caml and > the P3L languages, providing seamless integration of parallel > programming and functional programming and advanced features like > sequential logical debugging of parallel programs and strong typing, > useful both in teaching parallel programming and in the building of > full-scale applications. Looks interesting. but I guess we should wait for a stable point release. For the moment there is only a cvs snapshot available. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#396049: ITP: alice -- Alice programming language
On Sun, Oct 29, 2006 at 04:33:08PM +0200, Kari Pahula wrote: > Package: wnpp > Severity: wishlist > Owner: Kari Pahula <[EMAIL PROTECTED]> > > > * Package name: alice That's nice, I will be glad to see this in debian. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#679547: ITP: ben -- toolbox for Debian maintainers
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 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. -Ralf. -- 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/20120629191539.ga19...@free.fr
Bug#681404: ITP: garmin-plugin -- browser plugin for communication with the Garmin Connect service
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: garmin-plugin Version : 0.3.12-1 Upstream Author : Andreas Diesner * URL : http://www.andreas-diesner.de/garminplugin/ * License : GPL-3 Programming Lang: C++ Description : browser plugin for communication with the Garmin Connect service This browser plugin has the same methods and properties as the official Garmin Communicator Plugin (http://www8.garmin.com/products/communicator/). It can be used to transfer GPX files (Geocache Descriptions) to your garmin device using the official Garmin Javascript API. Its functionality depends on the device you use. - Edge305/Forerunner305: ReadFitnessData, ReadGpsData, No write support - Edge705/Oregon/Dakota: ReadFitnessData, ReadGpsData, Write Gpx files - Edge800: ReadFitnessData, Write Gpx/Tcx Files - Other devices: Executes external command to write Gpx to device Remarks: - will be team maintained by the the pkg-running team - possibly has to go into contrib since it is made for interaction with a non-free service. -Ralf. -- 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/20120712223751.14108.92490.report...@hydrogene.pps.jussieu.fr
Bug#681404: [Pkg-running-devel] Bug#681404: ITP: garmin-plugin -- browser plugin for communication with the Garmin Connect service
On Thu, Jul 12, 2012 at 08:33:23PM -0600, Christian PERRIER wrote: > Quoting Ralf Treinen (trei...@debian.org): > > It can be used to transfer GPX files (Geocache Descriptions) to your garmin > > device using the official Garmin Javascript API. Its functionality depends > > on > > the device you use. > > - Edge305/Forerunner305: ReadFitnessData, ReadGpsData, No write support > > - Edge705/Oregon/Dakota: ReadFitnessData, ReadGpsData, Write Gpx files > > - Edge800: ReadFitnessData, Write Gpx/Tcx Files > > - Other devices: Executes external command to write Gpx to device > > May I suggest to replace "to your garmin device" by "to Garmin > devices"? > Rationale: > - avoids personnalization > - capitalize Garmin > > Also: > Other devices: executes an external command to write a GPX file to the > device > > Probably standardize on "GPX", also I will do that, thanks for your suggestions ! > > - possibly has to go into contrib since it is made for interaction with a > > non-free service. > > There could exist another service using the same protocol, so I think > it probably can still go to main. Yes, in fact I talked yesterday to Ansgar Burchardt (FTP assistant) who told me not to worry about this and just upload to main. Twitter stuff is also in main, for instance. Cheers -Ralf -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.univ-paris-diderot.fr/~treinen/ => New email address: trei...@pps.univ-paris-diderot.fr <= -- 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/20120713152856.gc27...@pps.jussieu.fr
Bug#655395: ITP: coinst -- computes the co-installability kernel of a deb or RPM distribution
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: coinst Version : 1.01-1 Upstream Author : Jérôme Vouillon * URL : http://coinst.irill.org * License : GPL-2+ Programming Lang: OCaml Description : computes the co-installability kernel of a deb or RPM distribution This package is useful when you are interested in analyzing co-installability of packages in a large package repository. A set of packages is called co-installable if it can be extended to a set that satisfies all inter-package relations (dependencies, conflicts, etc.). . This tool reduces a repository to a much smaller one, its so-called co-installability kernel, that behaves exactly the same as far as co-installability of package is concerned. This is achieved by - dropping all relations that are not relevant for this purpose - identifying all packages that behave the same. The kernel is typically orders of magnitude smaller than the original repository. -- 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/20120110205835.14560.74969.report...@seneca.free.fr
Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: aspcud Version : 2011.03.17 Upstream Author : Roland Kaminski * URL : http://www.cs.uni-potsdam.de/wv/aspcud/ * License : GPL3+ Programming Lang: C++ Description : a CUDF solver based on answer set programming Aspcud is a solver for package dependencies. A package universe and a request to install, remove or upgrade packages have to be encoded in CUDF, a distribution-independent format for expressing inter-package relationships. Aspcud returns a solution in the same format. -- 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/20110421173626.4043.35093.report...@seneca.free.fr
Bug#625636: ITP: mccs -- multi-critera CUDF solver
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: mccs Version : 1.0 Upstream Author : Claude Michel * URL : http://users.polytech.unice.fr/~cpjm/misc/mccs.html * License : BSD Programming Lang: C Description : multi-critera CUDF solver mccs is a solver for package dependencies expressed in the CUDF format. It takes as input a CUDF problem and computes the best solution according to a combination of optimization criteria chosen by the user. Basic criteria to be maximized or minimized may be selected from a list of pre-defined criteria, and these can be combined using using various aggregation operators. It relies on an Integer Programming solver or a Pseudo Boolean solver to achieve its task. The version of mccs distributed with this package uses cbc as underlying solving engine, however, mccs may also be used together with other solvers like Cplex, Gurobi, Lpsolver, Glpk, SCIP or WBO. -Ralf. -- 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/20110504181402.7218.70420.report...@seneca.free.fr
Bug#626410: ITP: minisat+ -- solver for pseudo-Boolean constraints
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: minisat+ Version : 1.0-1 Upstream Author : Niklas Eén and Niklas Sörensson * URL : http://minisat.se/MiniSat+.html * License : MIT/X Programming Lang: C++ Description : solver for pseudo-Boolean constraints MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1 integer programming) that is based on the MiniSat SAT-solver. It supports optimizing a linear objective function, subject to a set of linear constraints. The variables of the objective function and constraints are boolean, i.e. required to be 0 or 1. Pseudo-Boolean optimization can be used to solve many kinds of combinatorial optimization problems. This version of Minisat+ is compiled with bignum support for constraint coefficients. -Ralf -- 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/20110511185258.3216.20073.report...@seneca.free.fr
Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Hello, On Wed, May 25, 2011 at 01:56:49PM +0200, Raphael Hertzog wrote: > On Wed, 25 May 2011, Thomas Krennwallner wrote: > > > http://wiki.debian.org/DebianScience > > > http://wiki.debian.org/DebianScience/Logic > > > > I didn't find time yet to package it, but I'll definitely assign it to > > the logic flavor of DebianScience. I'll contact you for sponsoring once > > it is stable. Thanks for the offer! > > So the best course is of course to integrate the package in the SVN or GIT > repository of the team. And it would be ideal if the sponsor was part > of the team (which I am not). I am also willing to sponsor this package, of course. -Ralf -- 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/20110526000743.ga2...@free.fr
Bug#627973: ITP: packup -- CUDF solver based on pseudo-Boolean constraints
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: packup Version : 0.5 Upstream Author : Mikoláš Janota, Joao Marques-Silva, Inês Lynce, and Vasco Manquinho * URL : http://sat.inesc-id.pt/~mikolas/sw/packup/ * License : GPL3+ Programming Lang: C++ Description : CUDF solver based on pseudo-Boolean constraints packup is a solver for the package upgradability problem specified in the CUDF format. It repeatedly invokes an optimization pseudo-Boolean solver in order to solve the problem. By default minisat+ is used for that purpose but a different solver can be used by specifying the pertaining command line option. -Ralf. -- 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/20110526002208.11292.71577.report...@seneca.free.fr
Bug#615055: ITP: assimp -- Open Asset Import Library
Hello, On Fri, Feb 25, 2011 at 12:10:55PM +0100, IOhannes m zmoelnig wrote: > Package: wnpp > Severity: wishlist > A portable Open Source library to import various well-known 3D model formats > in a > uniform manner. > > The library is designed for maximum stability and flexibility. Written in C++, > it is available under a BSD license. A pure C API exists, as well as bindings > to It is customary not to mention in the description of the package that it is open source, since eveything in debian is. Cheers -Ralf. -- 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/20110226082620.ga2...@free.fr
Bug#617937: ITP: libmousex-strictconstructor-perl -- Make your object constructors blow up on unknown attributes
Hello, On Sat, Mar 12, 2011 at 07:17:55PM +0100, Dominique Dumont wrote: > > Package: wnpp > Owner: Dominique Dumont > Severity: wishlist > X-Debbugs-CC: debian-de...@lists.debian.org,debian-p...@lists.debian.org > > * Package name: libmousex-strictconstructor-perl > Version : 0.02 > Upstream Author : Fuji, Goro (gfx) > * URL : http://search.cpan.org/dist/MouseX-StrictConstructor/ > * License : Artistic or GPL-1+ > Programming Lang: Perl > Description : Make your object constructors blow up on unknown > attributes > > Simply loading this module makes your constructors "strict". If your > constructor is called with an attribute argument that your class does not > declare, then it dies. This is a great way to catch small typos. please mention in the package description that this applies to the perl programming language (as I suppose it does). -Ralf. -- 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/20110316072854.ga3...@free.fr
Bug#617937: ITP: libmousex-strictconstructor-perl -- Make your object constructors blow up on unknown attributes
On Wed, Mar 16, 2011 at 07:23:43PM +0100, Dominique Dumont wrote: > Le mercredi 16 mars 2011 08:28:54, vous avez écrit : > > please mention in the package description that this applies to the > > perl programming language (as I suppose it does). > > Well, the package name ends with '-perl'. Isn't this enough ? This gives an indication, but I do not think it is explicit enough. I would expect that the package description alone tells me what the package is about. -Ralf. -- 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/20110316212834.ga2...@free.fr
Bug#797696: RFP: why3
On Tue, Sep 01, 2015 at 06:52:20PM +0200, Kurt Roeckx wrote: > The why package has been replaced by a why3 version upstream. You > can find it at http://why3.lri.fr > > It would be nice that we'd also have why3. Yes indeed. In fact I had already started on packaging why3, but then it got interrupted by more urgent stuff. Since there now is popular demand ;-) I'll try to finish the package soon. -Ralf.
Bug#512834: ITP: ocaml-autoconf -- autoconf macros for OCaml
On Sat, Jan 24, 2009 at 11:45:04AM +0100, Stefano Zacchiroli wrote: > * Package name: ocaml-autoconf > Upstream Author : Richard Jones, Stefano Zacchiroli, et al. > * URL : http://ocaml-autoconf.forge.ocamlcore.org/ > * License : BSD (3-clauses) > Programming Lang: m4 > Description : autoconf macros for OCaml > > RFC: this package will consists of just one file: > /usr/share/ocaml-autoconf/ocaml.m4 , and this puzzles me a bit as > overkilling. Nevertheless, I've no clue about how autoconf extensions > should be packaged, and my naive attempts to find similar packages in > the archive failed. we also have Jean-Christophe Filliatre's configure.in and Makefile.in templates that are currenly in the ocaml-tools package, for lack of any better place for it. Maybe they can be packaged together with ocaml-autoconf, or ocaml-autoconf can be part of the ocaml-tools package? -Ralf. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#512834: ITP: ocaml-autoconf -- autoconf macros for OCaml
On Mon, Jan 26, 2009 at 09:13:20AM +0100, Stefano Zacchiroli wrote: > On Mon, Jan 26, 2009 at 08:42:52AM +0100, Ralf Treinen wrote: > > we also have Jean-Christophe Filliatre's configure.in and > > Makefile.in templates that are currenly in the ocaml-tools package, > > for lack of any better place for it. Maybe they can be packaged > > together with ocaml-autoconf, or ocaml-autoconf can be part of the > > ocaml-tools package? > > Interesting, I didn't know that. Those two files should definitely be > companions of ocaml-autoconf, and I presume they initially were meant > as such. > > Jean-Christophe has already agreed in relicensing ocaml-autoconf > macros, I presume there will be no problem in doing the same with > those snippets and distributing them together with ocaml-autoconf. > > Regarding the packaging, I've no objections in adding all this to > ocaml-tools, but I had the impression you were in the past > "discouraging" multiple-source Debian packages. In fact that's one of > the reasons for me to propose a separate package. But if you are fine > with adding another bit to ocaml-tools I've no objections whatsoever. Sure, go ahead :-) The package has become quite empty anyway since ocamlmakefile moved out, and ocamldot got integrated into ocaml upstream. The only problem with multiple upstream packages is that tools like watch do not work (to my knowledge), and that you always have to cook a new tarball from upstream sources. There have been rumours of extending dpkg to multiple source tarballs, which have would solve the problem once for all, but ASFAIK this is still in the planning stage. -Ralf. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#464444: Adopting the megahal package?
Hi, you announced on February, 14, 2008 that you wanted to adopt the megahal package. Are you still planning to do so? There are open bugs that seem to be easy to fix, so I might do a QA upload soon. -Ralf. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#519377: Work-needing packages report for Mar 13, 2009
On Fri, Mar 13, 2009 at 12:27:47AM -0600, w...@debian.org wrote: > The following packages have been orphaned: >yaclc (#519377), orphaned yesterday > Description: Check the bug closings in a Debian changelog > Installations reported by Popcon: 32 maybe it can be integrated into devscripts ? -Ralf. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#862775: ITP: visitors -- OCaml syntax extension for object-oriented visitors
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: visitors Version : 20170404 Upstream Author : François Pottier * URL : https://gitlab.inria.fr/fpottier/visitors * License : LGPL 2.1 Programming Lang: OCaml Description : OCaml syntax extension for object-oriented visitors Visitors is a syntax extension for the OCaml programming language. It allows you to annotate your type definitions, such that a visitor class will be automatically generated. This visitor class contains methods for the traversal of your data structure, like iter, map, fold, etc. It is then easy to override these methods for your needs. This is very convenient when programming with complex algebraic data structures. This package will be maintained by the Debian Ocaml Maintainers team. -Ralf.
Bug#862775: ITP: visitors -- OCaml syntax extension for object-oriented visitors
On Tue, May 16, 2017 at 10:15:01PM +0200, Romain Francoise wrote: > FWIW you may not be aware that there is already an unrelated package by > that name in the archive, although it's no longer in testing/unstable: > > https://packages.qa.debian.org/v/visitors.html I didn't see that since I searched only in sid, thanks. I do not think this is a problem since binary packages will be named differently according to the debian-ocaml-maint policy, anyway. -Ralf.
Bug#862775: ITP: visitors -- OCaml syntax extension for object-oriented visitors
On Wed, May 17, 2017 at 11:28:12AM +0800, Paul Wise wrote: > On Wed, May 17, 2017 at 3:51 AM, Ralf Treinen wrote: > > > * Package name: visitors > > Version : 20170404 > > FYI, there was already a visitors source package in Debian (RMed after > jessie) so I would suggest using a less generic source name, maybe > ocaml-visitors. OK, will do. -Ralf.
Bug#864335: ITP: ppx-deriving-yojson -- OCaml syntax extension for JSON serialization
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ppx-deriving-yojson Version : 3.0 Upstream Author : whitequark * URL : https://github.com/whitequark/ppx_deriving_yojson * License : MIT Programming Lang: OCaml Description : OCaml syntax extension for JSON serialization ppx-deriving-yojson is a syntax extension for the OCaml programming language. It allows you to annotate your type definitions, such that functions for serialization to JSON, and for deserialization from JSON, are automatically derived. This package will be maintained by the debian-ocaml-maint team. -Ralf.
Bug#869121: ITP: dragonfire -- Dragonfire is an open source virtual assistant project for Debian based Linux distributions
Hello, On Thu, Jul 20, 2017 at 08:26:04PM +0300, Mehmet Mert Yildiran wrote: > Package: wnpp > Severity: wishlist > Owner: Mehmet Mert Yildiran > > * Package name: dragonfire > Version : 0.9.5 > Upstream Author : Mehmet Mert Yildiran > * URL : https://github.com/DragonComputer/Dragonfire > * License : MIT > Programming Lang: Python, C > Description : Dragonfire is an open source virtual assistant project for > Debian based Linux distributions please shorten that dscription so that it fits on one line (just drop "Dragonfire is an open source") > Please take a look at these documentation files to get further information: > https://github.com/DragonComputer/Dragonfire/blob/master/README.md > https://github.com/DragonComputer/Dragonfire/blob/master/CONTRIBUTING.md Please put a self-contained package description here. -Ralf.
Bug#753704: ITP: amap -- Next-generation scanning tool for pentesters
On Sat, Jul 05, 2014 at 09:01:45PM +0900, Charles Plessy wrote: > > > Il Sabato 5 Luglio 2014 13:03, Charles Plessy ha > > > scritto: > > > > > > The ‘amap-align’ package version 2.2-4 install the file ‘amap’ in > > > ‘/usr/bin’, > > > this is why I am worried about clashes. > > Le Sat, Jul 05, 2014 at 12:11:37PM +0100, Gianfranco Costamagna a écrit : > > > > According to both popcons, and according to the fact that both of them are > > really niche packages and in really different environments (one for > > penetration testing and the other for med science) how do you feel about > > making them non-coinstallable? > > This violates the Policy's section 10.1, but it is still my favorite solution > for the reason that you explained above. I don't agree, packages should not be in conflict when it can be easily avoided by renaming files. -Ralf. -- 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/20140705143716.gc20...@seneca.home.org
Bug#542857: ocaml-r: new URL
ocaml-r is now hosted at http://home.gna.org/ocaml-r/ -Ralf. -- 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/20130329073606.gc21...@free.fr
Bug#586758: RFP: dypgen -- a GLR parser and lexer generator for OCaml
The file "bugs" in the dypgen distribution (version 20120619-1) says: KNOWN BUGS Dypgen does not handle cyclic grammars : when a non terminal can derive itself. And it does not warn the user that its grammar is cyclic. The behavior is not defined. When there is an error of type with the arguments or the result of a merge function, Caml reports it and points to the .ml file generated by dypgen, not to the .dyp input file, which may be puzzling. This looks like it isn't ready yet for deployment. -Ralf. -- 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/20130329074336.gd21...@free.fr
Bug#418965: package confluence
Hello, the confluence package is in bad shape. When we adopted it in 2007 it was already dead upstream, and almost nothing has been done to maintain this package since the initial effort. It has non-negligable popcon of 380, but I guess that this is mainly due to the fact that it is a Recommends of the science-electronics meta-package. I see the following possibilities: 1) someone invests some time to bring the package up to date (not me); 2) we drop the package from science-electronics, and ask ftp to remove the package from sid; 3) we orphan the package, and let it continue to rot as part of debian; 4) we do nothing, and let it continue to rot as part of d-o-m. I am for (2). So, if noone steps up for (1), and if there are no objections by one week from now, I will ask ftp for removal. Cheers -Ralf.
Bug#418965: package confluence
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. Cheers -Ralf.
Bug#757048: cvc4 - any progress?
Hello, a cvc4 package would indeed be quite useful for the why3 verification platform (the why3 package just got included in unstable). So, how is it going with the packaging of cvc4? Cheers -Ralf. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Équipe Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.univ-paris-diderot.fr/~treinen/
Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification
On Sat, Sep 13, 2014 at 11:38:48AM +0200, ruben.undh...@gmail.com wrote: > Package: wnpp > Severity: wishlist > Owner: ruben.undh...@gmail.com > > > * Package name: abc > Version : 1.01-20140822hg4d547a5e065b > Upstream Author : Berkeley Logic Synthesis and Verification Group > * URL : http://www.eecs.berkeley.edu/~alanmi/abc/ > * License : MIT-similar (The Regents of the University of California) > Programming Lang: C > Description : A System for Sequential Synthesis and Verification > [...] > Please provide feedback on the naming of the package! > Perhaps the name "abc" is a bad name to use in debian although > it's the correct upstream name. It is indeed bit short. What alternative names for the package can you propose? -Ralf. -- 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/20140913130513.ga16...@seneca.home.org
Bug#766585: RFA: yap
Package: wnpp Severity: normal Hello, I'm giving yap (a Prolog system) away for adoption since I am no longer using it for teaching class, and my priorities in debian are now on different things. The package is in reasonably good shape, but is lacking behind the latest upstream release. The packaging is on collab-maint: git+ssh://git.debian.org/git/collab-maint/yap.git -Ralf. -- 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/20141024070610.31932.51365.report...@seneca.home.org
Bug#907985: ITP: morbig -- Parser for POSIX shell scripts
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: morbig Version : 0.9 Upstream Author : Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen * URL : https://github.com/colis-anr/morbig * License : GPL3 Programming Lang: OCaml Description : Parser for POSIX shell scripts Morbig is a parser for shell scripts written in the POSIX shell script language. It parses the scripts statically, that is without executing them, and constructs a concrete syntax tree for each of them. The concrete syntax trees are built using constructors according to the shell grammar of the POSIX standard. This package will be maintained in the debian ocaml team.
Bug#845587: ITP: ocplib-simplex -- simplex library for solving linear inequalities
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ocplib-simplex Version : 0.3 Upstream Author : Mohamed Iguernlala * URL : https://github.com/OCamlPro-Iguernlala/ocplib-simplex * License : LGPL 2.1 Programming Lang: OCaml Description : simplex library for solving linear inequalities ocplib-simplex is a (fully) functional OCaml implementation of the simplex algorithm for solving systems of linear inequalities. The implementation is incremental and backtrackable. It is able to extract unsat-cores for unsatisfiable problems, and it supports linear optimization This is a build-dependency of alt-ergo >= 1.30. The package will be maintained by the debian-ocaml-maint team. -Ralf.
Bug#933241: ITP: caml-mode -- emacs mode for editing OCaml programs
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: caml-mode Version : recent (*) Upstream Author : Damien Doligez, Jacques Garrigue, Xavier Leroy, Didier Remy, Ian T Zimmerman * URL : https://github.com/ocaml/caml-mode * License : GPL2+ Programming Lang: elisp Description : emacs mode for editing OCaml programs Objective Caml (OCaml) is an implementation of the ML language, based on the Caml Light dialect extended with a complete class-based object system and a powerful module system in the style of Standard ML. . This package provides support for editing both Objective Caml and Caml Light programs with Emacs and XEmacs. . Caml-mode supports: - indentation - compilation and error retrieving - interaction with the toplevel - font-lock - imenu This emacs-mode used to be distributed as part of the ocaml distribution but was recently factored out by upstream into a separate git repository. This will become relevant for debian starting from ocaml 4.08 on (which is currently in experimental). This package will be maintained by the ocaml-team. (*) Concerning the version: since the creation of the separate git repo, upstream has not issued release tags. I have asked upstream to tag the commits they consider a release.
Bug#951359: ITP: ocaml-fpath -- OCaml library for handling file system paths
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ocaml-fpath Version : 0.7.2 Upstream Author : Daniel Bünzli * URL : https://erratique.ch/software/fpath * License : ISC Programming Lang: OCaml Description : OCaml library for handling file system paths Fpath is an OCaml module for handling file system paths with POSIX and Windows conventions. Fpath processes paths without accessing the file system and is independent from any system library. This package will be maintained in the debian-ocaml-maintainers team. This is a dependency for odoc.
Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: coq-menhirlib Version : 20200123-1 Upstream Author : Jacques-Henri Jourdan * URL : http://gallium.inria.fr/~fpottier/menhir/ * License : LGPL3+ Programming Lang: Coq Description : Support library for verified Coq parsers produced by Menhir The Menhir parser generator, when invoked with the --coq option, produces parser code in the Coq language. . These parsers must be linked against this library, which provides both an interpreter (which allows running the generated parser) and a validator (which allows verifying, at parser construction time, that the generated parser is correct and complete with respect to the grammar). This package will be maintained by ocaml-team. Rationale: this is currently part of the menhir package. The plan is to split the menhir source package into two source packages: menhir, and the new coq-menhirlib, with the objective to drop the build-dependency on coq from the menhir package. This will resolve two problems: - having menhir build-depend on coq increases considerably the depth of the dependency graph for ocaml-related packages. Removing this build-dependency for menhir itself will make things easier, in particular for transitions to new versions of ocaml or coq. - coq does not build on all architectures, and the situation for building coq has become worse starting with 8.11. Menhir however is a parser generator, like bison, and should be available on all architectures.
Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir
On Wed, Feb 19, 2020 at 10:02:55AM +0100, Stéphane Glondu wrote: > Le 19/02/2020 à 09:06, Ralf Treinen a écrit : > > - coq does not build on all architectures, and the situation for building > > coq has become worse starting with 8.11. Menhir however is a parser > > generator, like bison, and should be available on all architectures. > > Could you elaborate? What makes coq 8.11 so much worse w.r.t portability? already 8.10.2: https://buildd.debian.org/status/package.php?p=coq&suite=experimental A package for 8.11.0 is in the experimental/master branch, but I haven't uploaded to experimental yet. It builds on amd64. I also tried - on an armel porterbox which leads to a compilation error in some debug tool. This can be circumvented, but we have not even reached the point of running the test suite. - on an i386 porterbox, leading to failure in the test-suite which according to upstream (ejgallego) is critical: https://github.com/coq/coq/issues/11624 -Ralf. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Pôle Preuves, Programmes et Systèmes Université de Paris http://www.irif.fr/~treinen/
Bug#916645: ITP: lablgtk3 -- OCaml bindings for gtk+ version 3
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: lablgtk3 Version : 3.0 Upstream Author : Jacques Garrigue * URL : http://lablgtk.forge.ocamlcore.org/ * License : LGPL 2.1 Programming Lang: OCaml Description : OCaml bindings for gtk+ version 3 This package provides OCaml bindings (development libraries, dynamic libraries) for gtk+ version3. This package is needed to bring back the graphical interface to some important OCaml applications, in particular coq, why3, alt-ergo, and frama-c It will be maintained by the Debian OCaml team.
Bug#812755: RFA: spass -- An automated theorem prover for first-order logic with equality
Hi Roland, I am not using spass directly but it is a suggestion of one the packages I maintain (why3), and in fact I am glad to have spass in debian as it is quite good at reasoning about quantified formulas, in contrast to most SMT solvers. So, I would be interested in helping out maintaining the spass package. I think it would fit well into debian-science, so as a first step I would suggest to check it into the debian-science git repo. Cheers -Ralf.
Bug#878803: ITP: ppx-derivers -- interoperability of ppx-deriving and ppx-type-conv
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ppx-derivers Version : 1.0 Upstream Author : Jérémie Dimino * URL : https://github.com/diml/ppx_derivers * License : BSD3 Programming Lang: OCaml Description : interoperability of ppx-deriving and ppx-type-conv This package is useful when programming with ppx syntax extensions in the OCaml programming language. Its purpose is to allow the ppx_deriving and ppx_type_conv syntax extensions to interoperate gracefully when linked as part of the same ocaml-migrate-parsetree driver. This package is a dependency of the latest version of ppx-deriving, which itself is a dependency for sevaral OCaml packages. The package will be maintained by the Debian OCaml team.
Bug#920362: ITP: morsmall -- OCaml libraries for abstract syntax of shell scripts
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: morsmall Version : 0.1 Upstream Author : Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen * URL : https://github.com/colis-anr/morsmall * License : GPL3 Programming Lang: OCaml Description : OCaml libraries for abstract syntax of shell scripts The morsmall library defines a type for abstract syntax trees of POSIX shell scripts. It also provides a converter from the concrete syntax trees produced by the morbig parser to abstract syntax, and a printer from abstract syntax to shell. . This development library is only useful when you are developing OCaml programs that act on shell scripts. - This source package will produce one binary package: libmorsmall-ocaml-dev The package will be maintained in the ocaml-team. -Ralf.
Bug#929313: ITP: ocaml-cairo2 -- OCaml libraries interfacing to Cairo
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ocaml-cairo2 Version : 0.6.1 Upstream Author : Christophe Troestler * URL : https://github.com/Chris00/ocaml-cairo * License : LGPL3 Programming Lang: OCaml Description : OCaml libraries interfacing to Cairo This is an OCaml binding for the Cairo library, a 2D graphics library with support for multiple output devices. *** This is a build-dependency for the most recent versions of lablgtk3. The package will be maintained under the umbrella of the ocaml-team.