Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir

2020-02-19 Thread Ralf Treinen
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 > > gener

Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir

2020-02-19 Thread Ralf Treinen
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

Bug#951359: ITP: ocaml-fpath -- OCaml library for handling file system paths

2020-02-15 Thread Ralf Treinen
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

Bug#933241: ITP: caml-mode -- emacs mode for editing OCaml programs

2019-07-27 Thread Ralf Treinen
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

Bug#929313: ITP: ocaml-cairo2 -- OCaml libraries interfacing to Cairo

2019-05-21 Thread Ralf Treinen
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

Bug#920362: ITP: morsmall -- OCaml libraries for abstract syntax of shell scripts

2019-01-24 Thread Ralf Treinen
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

Bug#916645: ITP: lablgtk3 -- OCaml bindings for gtk+ version 3

2018-12-16 Thread Ralf Treinen
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

Bug#907985: ITP: morbig -- Parser for POSIX shell scripts

2018-09-04 Thread Ralf Treinen
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

Bug#878803: ITP: ppx-derivers -- interoperability of ppx-deriving and ppx-type-conv

2017-10-16 Thread Ralf Treinen
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

Bug#869121: ITP: dragonfire -- Dragonfire is an open source virtual assistant project for Debian based Linux distributions

2017-07-20 Thread Ralf Treinen
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/Drag

Bug#864335: ITP: ppx-deriving-yojson -- OCaml syntax extension for JSON serialization

2017-06-06 Thread Ralf Treinen
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

Bug#862775: ITP: visitors -- OCaml syntax extension for object-oriented visitors

2017-05-17 Thread Ralf Treinen
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)

Bug#862775: ITP: visitors -- OCaml syntax extension for object-oriented visitors

2017-05-16 Thread Ralf Treinen
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 search

Bug#862775: ITP: visitors -- OCaml syntax extension for object-oriented visitors

2017-05-16 Thread Ralf Treinen
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

Bug#418965: package confluence

2016-12-21 Thread Ralf Treinen
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 h

Bug#418965: package confluence

2016-12-11 Thread Ralf Treinen
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

Bug#845587: ITP: ocplib-simplex -- simplex library for solving linear inequalities

2016-11-24 Thread Ralf Treinen
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

Bug#812755: RFA: spass -- An automated theorem prover for first-order logic with equality

2016-09-03 Thread Ralf Treinen
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 th

Bug#757048: cvc4 - any progress?

2016-03-23 Thread Ralf Treinen
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

Bug#797696: RFP: why3

2015-09-01 Thread Ralf Treinen
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 interr

Bug#766585: RFA: yap

2014-10-24 Thread Ralf Treinen
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 packa

Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-13 Thread Ralf Treinen
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 > *

Bug#753704: ITP: amap -- Next-generation scanning tool for pentesters

2014-07-05 Thread Ralf Treinen
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

Bug#586758: RFP: dypgen -- a GLR parser and lexer generator for OCaml

2013-03-29 Thread Ralf Treinen
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

Bug#542857: ocaml-r: new URL

2013-03-29 Thread Ralf Treinen
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#681404: [Pkg-running-devel] Bug#681404: ITP: garmin-plugin -- browser plugin for communication with the Garmin Connect service

2012-07-13 Thread Ralf Treinen
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 > &g

Bug#681404: ITP: garmin-plugin -- browser plugin for communication with the Garmin Connect service

2012-07-12 Thread Ralf Treinen
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

Bug#679547: ITP: ben -- toolbox for Debian maintainers

2012-06-29 Thread Ralf Treinen
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 :

Bug#673238: ITP: ceres-solver -- nonlinear least square minimizer

2012-05-17 Thread Ralf Treinen
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

Bug#672480: ITP: prooftree -- proof tree visualization for Proof General

2012-05-14 Thread Ralf Treinen
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,

Bug#655395: ITP: coinst -- computes the co-installability kernel of a deb or RPM distribution

2012-01-10 Thread Ralf Treinen
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

Bug#636974: ITP: root-system -- CERN's ROOT Data Analysis Framework

2011-08-08 Thread Ralf Treinen
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 l

Bug#627973: ITP: packup -- CUDF solver based on pseudo-Boolean constraints

2011-05-25 Thread Ralf Treinen
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

Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF

2011-05-25 Thread Ralf Treinen
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 > >

Bug#626410: ITP: minisat+ -- solver for pseudo-Boolean constraints

2011-05-11 Thread Ralf Treinen
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

Bug#625636: ITP: mccs -- multi-critera CUDF solver

2011-05-04 Thread Ralf Treinen
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

Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming

2011-04-21 Thread Ralf Treinen
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

Bug#617937: ITP: libmousex-strictconstructor-perl -- Make your object constructors blow up on unknown attributes

2011-03-16 Thread Ralf Treinen
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

Bug#617937: ITP: libmousex-strictconstructor-perl -- Make your object constructors blow up on unknown attributes

2011-03-16 Thread Ralf Treinen
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.0

Bug#615055: ITP: assimp -- Open Asset Import Library

2011-02-26 Thread Ralf Treinen
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

Bug#601248: ITP: caneda -- open source EDA software focused on easy of use and portability

2010-10-24 Thread Ralf Treinen
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.o

Bug#587521: ITP: dose3

2010-06-29 Thread Ralf Treinen
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 m

Bug#570284: O: washngo

2010-04-07 Thread Ralf Treinen
> > > 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 be

Bug#570284: O: washngo

2010-04-05 Thread 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. -Ralf. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Troub

Bug#503528: Bug#527832: fluidsynth: FTBFS: cp: cannot stat `/usr/share/libtool/ltmain.sh': No such file or directory

2009-05-21 Thread Ralf Treinen
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 t

Bug#516790: #516790 - Cant install 3d2m under Debian amd64

2009-05-20 Thread Ralf Treinen
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

Bug#519377: Work-needing packages report for Mar 13, 2009

2009-03-13 Thread Ralf Treinen
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 devs

Bug#464444: Adopting the megahal package?

2009-01-30 Thread Ralf Treinen
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

Bug#512834: ITP: ocaml-autoconf -- autoconf macros for OCaml

2009-01-26 Thread Ralf Treinen
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, > > fo

Bug#512834: ITP: ocaml-autoconf -- autoconf macros for OCaml

2009-01-26 Thread Ralf Treinen
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 >

Bug#435702: x2x debian package

2008-08-23 Thread Ralf Treinen
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

Bug#474129: xtel: is this still useful?

2008-08-02 Thread Ralf Treinen
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 su

Bug#450688: ITP: yap -- YAP Prolog compiler

2007-11-09 Thread Ralf Treinen
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 L

Bug#418965: confluence

2007-09-08 Thread Ralf Treinen
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 pac

Bug#427297: ITP: sturmbahnfahrer -- simulated obstacle course for automobiles

2007-06-03 Thread Ralf Treinen
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 pla

Bug#425293: ITP: ocamlmakefile -- a general makefile for the Objective Caml programming language

2007-05-20 Thread Ralf Treinen
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

Bug#424893: ITP: cmigrep -- search in ocaml compiled interface files

2007-05-17 Thread Ralf Treinen
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

Bug#396049: ITP: alice -- Alice programming language

2006-10-29 Thread Ralf Treinen
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

Bug#395111: RFP: ocamlp3l - a functional parallel programming system

2006-10-27 Thread Ralf Treinen
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 D

Bug#394585: ITP: hoz -- file splitter that uses the hacha file format

2006-10-22 Thread Ralf Treinen
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.

Bug#365087: [edos-wp2] Re: Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied

2006-04-28 Thread Ralf Treinen
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,

Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied

2006-04-28 Thread Ralf Treinen
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 > > Ups

Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied

2006-04-28 Thread Ralf Treinen
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

Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied

2006-04-28 Thread Ralf Treinen
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 ne

Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied

2006-04-28 Thread Ralf Treinen
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

Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied

2006-04-27 Thread Ralf Treinen
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 Prog

Bug#362958: RFA: texmacs -- WYSIWYG emacs-ish mathematical text editor

2006-04-16 Thread Ralf Treinen
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,

Bug#341874: RFA rscheme

2006-01-30 Thread Ralf Treinen
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 PROT

Bug#343940: ITP: gecode -- generic constraint development environment

2005-12-18 Thread Ralf Treinen
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

Bug#289043: ITP: perlprimer -- [Biology] Graphical design of primers for PCR

2005-01-07 Thread Ralf Treinen
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

Bug#241359: ITP: mathpartir -- LaTeX macros for typesetting inference rules

2004-11-15 Thread Ralf Treinen
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 packag

Bug#153923: RFP: mosml -- Moscow ML - a lightweight implementation of Standard ML

2004-11-12 Thread Ralf Treinen
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#248048: ITP: wmi -- Window Manager Improved

2004-05-09 Thread Ralf Treinen
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

Bug#200153: ITP: e2tools -- utilities for manipulating files in an ext2/ext3 filesystem

2003-07-05 Thread Ralf Treinen
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.e

Bug#187988: ITP: planets -- A gravitation simulation program of planetary bodies

2003-04-10 Thread Ralf Treinen
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 mo

Bug#176267: ITP: mplayer -- Mplayer is a full-featured audio and video player for UN*X like systems

2003-01-11 Thread Ralf Treinen
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.

Bug#146320: problem compiling with latest bison

2002-10-14 Thread Ralf Treinen
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#155662: ITP: springgraph -- a graph renderer

2002-08-06 Thread Ralf Treinen
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 descrip

Bug#146321: ITP: lbt -- Converter of LTL formulas to Buechi automata

2002-08-04 Thread Ralf Treinen
a 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#146320: ITP: maria -- Reachability analyzer for Algebraic System Nets

2002-08-04 Thread Ralf Treinen
* 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

Bug#146320: ITP: maria

2002-08-04 Thread Ralf Treinen
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 mar

Bug#147335: ITP: hevea-doc -- Documentation for HeVeA

2002-05-18 Thread Ralf Treinen
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 (tutori

Bug#140266: submitter email address

2002-03-28 Thread Ralf Treinen
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#126786: RFA: rscheme-modules -- Add on modules for RScheme from the CVS development tree.

2001-12-28 Thread Ralf Treinen
Package: wnpp Severity: normal This comes with the rscheme package, see my RFA for rscheme. -Ralf. pgpZfGFkLMe0C.pgp Description: PGP signature

Bug#126785: RFA: rscheme -- Threaded, persistent, OO, scheme interpreter and compiler.

2001-12-28 Thread Ralf Treinen
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 architect

Bug#116154: ITP: tuareg-mode: an emacs mode for ocaml programs

2001-10-18 Thread Ralf Treinen
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

Bug#90959: ITP: ocaml-tools

2001-03-24 Thread Ralf Treinen
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 alternativ