Hi Joachim,
On Sat, Jul 17, 2010 at 10:22:00PM +0200, Joachim Breitner wrote:
We have given up on packaging Isabelle, for various technical and
social reasons.
I’m currently working a lot with Isabelle and obviously, I’m wondering
why it has not been packaged for Debian.
Could you
Dear all,
I am looking for a sponsor for the new upstream version of polyml (an
interpreter and interactive compiler for the Standard ML programming
language). I have updated the git repository at
git://git.debian.org/debian-science/packages/polyml.git
to the new upstream release (for
On Sun, Aug 02, 2009 at 02:42:16PM +0200, Florian Weimer wrote:
What's the status of this bug? Do you still plan to package PolyML
for Debian?
good question. As a matter of fact,
- the main motivation of packaging polyml, i.e., packaging Isabelle,
has been canceled and
- there are two other
Package: smlnj
Version: 110.62-1
Severity: wishlist
Since version 110.60 sml/NJ includes two new parser-generator
tools: ml-ulex, ml-antlr.
It would be very nice, if you could also provide packages for
these tools.
Thanks for your work!
-- System Information:
Debian Release: lenny/sid
APT
Package: wmii
Version: 3.1-2
Severity: wishlist
Tags: patch
Hi,
could you please include the following patch
http://www.warpedview.com/archives/14
that makes wmii aware of the xrandr extension.
Thanks,
Achim
-- System Information:
Debian Release: 4.0
APT prefers unstable
APT
Package: fig2ps
Severity: wishlist
Please add an alternative dependency on texlive, so that users of the
texlive packages can use your package.
Depends:
tetex-bin (= 2.0.2-11) | texlive-latex-base,
tetex-extra | texlive-latex-recommended,
tetex-extra |
On Sun, Feb 12, 2006 at 09:22:14PM +0100, Tomas Pospisek wrote:
Please add support for quotes from Zurich Invest and Union Invest to the
package. The required modules are available at:
http://www.ra.informatik.uni-stuttgart.de/~rainer/Download/FQ/
That should go upstream shouldn't it? Don't
7 matches
Mail list logo