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
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
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
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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
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
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
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
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
> *
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
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
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
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
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
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 :
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
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,
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
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
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
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
> >
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
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
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
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
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
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
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
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
> > > 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
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
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
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
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
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
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
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
>
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
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
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
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
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
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
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
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
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
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.
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,
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
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
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
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
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
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,
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
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
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
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
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.
--
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
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
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
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.
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.
--
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
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
--
* 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
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
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
my "from" got mangled:
Ralf Treinen <[EMAIL PROTECTED]>
-Ralf.
--
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Package: wnpp
Severity: normal
This comes with the rscheme package, see my RFA for rscheme.
-Ralf.
pgpZfGFkLMe0C.pgp
Description: PGP signature
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
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
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
87 matches
Mail list logo