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

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#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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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/ *

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

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

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#241359: ITP: mathpartir -- LaTeX macros for typesetting inference rules

Package: wnpp Severity: wishlist * Package name: mathpartir Version : 1.1.1 Upstream Author : Didier Remy Didier.Remy at inria.fr * URL : http://pauillac.inria.fr/~remy/latex/index.html#tir * License : GPL Description : LaTeX macros for typesetting

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 :

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 :

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

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 :

Bug#435702: x2x debian 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

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 :

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

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

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

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

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

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

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

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

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

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.

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 vbkaise...@gmail.com * Package name: ceres-solver Version : 1.1.1 Upstream Author : Google Inc. * URL : http://code.google.com/p/ceres-solver/ *

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 me...@debian.org * Package name: ben Version : 0.6 Upstream Author : Mehdi Dogguy and Stéphane Glondu * URL : http://ben.debian.net/ * License

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen trei...@debian.org * Package name: garmin-plugin Version : 0.3.12-1 Upstream Author : Andreas Diesner garminplu...@andreas-diesner.de * URL : http://www.andreas-diesner.de/garminplugin/ * License : GPL-3

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

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen trei...@debian.org * Package name: coinst Version : 1.01-1 Upstream Author : Jérôme Vouillon jerome.vouil...@pps.jussieu.fr * URL : http://coinst.irill.org * License : GPL-2+ Programming Lang: OCaml

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.

Bug#570284: O: washngo

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

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 domi.dum...@free.fr Severity: wishlist X-Debbugs-CC: debian-de...@lists.debian.org,debian-p...@lists.debian.org * Package name: libmousex-strictconstructor-perl Version

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

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen trei...@debian.org * Package name: aspcud Version : 2011.03.17 Upstream Author : Roland Kaminski kamin...@cs.uni-potsdam.de * URL : http://www.cs.uni-potsdam.de/wv/aspcud/ * License : GPL3+ Programming Lang

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen trei...@debian.org * Package name: mccs Version : 1.0 Upstream Author : Claude Michel c...@polytech.unice.fr * URL : http://users.polytech.unice.fr/~cpjm/misc/mccs.html * License : BSD Programming Lang: C

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen trei...@debian.org * 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

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

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen trei...@debian.org * 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

Bug#587521: ITP: dose3

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

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

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

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

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

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

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++,

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

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

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 ple...@debian.org 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#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

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

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

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

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

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen <trei...@debian.org> * Package name: ocplib-simplex Version : 0.3 Upstream Author : Mohamed Iguernlala <mohamed.iguernl...@ocamlpro.com> * URL : https://github.com/OCamlPro-Iguernlala/ocplib-simpl

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

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

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

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 > jessi

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen <trei...@debian.org> * Package name: visitors Version : 20170404 Upstream Author : François Pottier * URL : https://gitlab.inria.fr/fpottier/visitors * License : LGPL 2.1 Programming Lang:

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

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen <trei...@debian.org> * Package name: ppx-deriving-yojson Version : 3.0 Upstream Author : whitequark <whitequ...@whitequark.org> * URL : https://github.com/whitequark/ppx_deriving_yojson * License

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

Package: wnpp Severity: wishlist Owner: Ralf Treinen <trei...@debian.org> * Package name: ppx-derivers Version : 1.0 Upstream Author : Jérémie Dimino <jere...@dimino.org> * URL : https://github.com/diml/ppx_derivers * License : BSD3 Programming

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

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

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

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

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

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

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

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 > >