Mike Furr wrote:
> Enrico Tassi wrote:
>>Package name: matita
>
> Stefano already has some packages for this on his gluck page[1], have
> you talked to him about the status of those?
Err, nevermind. I forgot he only supplied meta packages for the deps
(been a few months s
Enrico Tassi wrote:
>Package name: matita
Stefano already has some packages for this on his gluck page[1], have
you talked to him about the status of those?
Cheers,
-Mike
[1] - deb http://people.debian.org/~zack unstable helm
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject o
Package: wnpp
Severity: wishlist
Owner: Mike Furr <[EMAIL PROTECTED]>
Package name: ocaml-reins
Version : 0.1a
Upstream Author : Mike Furr <[EMAIL PROTECTED]>
URL : http://ocaml-reins.sf.net
License : LGPL 2.1 w/ standand OCaml linki
Package: wnpp
Severity: normal
I request an adopter for the vegastrike suite of packages. The data
package is pretty big weighing in at ~150MB making it one of the larger
packages in Debian. It has a pretty good user base, and upstream is still
active. However, development is quite slow now-a-
Package: wnpp
Severity: normal
I request an adopter for the chromium package. The game is dead upstrem,
but clearly still has a large set of users. It has recently been discovered
that some of the music is non-free and some of the sounds are
non-distributable. The issues are discussed in #385
Package: wnpp
Severity: wishlist
Owner: Mike Furr <[EMAIL PROTECTED]>
* Package name: omake
Version : 0.9.4
Upstream Author : Jason Hickey <[EMAIL PROTECTED]>
* URL : http://omake.metaprl.org
* License : GPL
Description : build system wi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Richard Jones wrote:
> About 2-3 weeks ago I put the latest perl4caml and a working debian/
> config into subversion on alioth. Can someone help me to upload this?
Sure. How do want to have this package maintained? I know that you are
subscribed deb
Package: wnpp
Severity: wishlist
Owner: Mike Furr <[EMAIL PROTECTED]>
Package name: ocaml-getopt
Version : 0.0.20040811
Upstream Author : Alain Frisch <[EMAIL PROTECTED]>
URL : http://www.http://www.eleves.ens.fr/home/frisch/soft.html
License
merge 274690 156614
thanks.
Kilian Krause wrote:
Apparently it's already packaged at:
deb http://userpages.umbc.edu/~fu1/debian unstable main
deb-src http://userpages.umbc.edu/~fu1/debian unstable main
These packages are ancient and are only available as a log of
the initial packaging work I d
Package: wnpp
Severity: wishlist
Package name: otags
Version : 3.07.1
Upstream Authors: Cuihtlauac Alvarado <[EMAIL PROTECTED]>
Jean-Francois MONIN <[EMAIL PROTECTED]>
URL : http://perso.rd.francetelecom.fr/alvarado/soft/
License : GPLv
Package: wnpp
Severity: wishlist
Package name: mlgmp
Version : 20021123
Upstream Author : David Monniaux <[EMAIL PROTECTED]>
URL : http://www.di.ens.fr/~monniaux/index.html.en
License : LGPL with exceptions to relax clause 6
Description : O'Caml bind
Package: wnpp
Severity: wishlist
Package name: ocamlcreal
Version : 0.4
Upstream Author : Jean-Christophe Filliâtre
<[EMAIL PROTECTED]>
URL : http://www.lri.fr/~filliatr/software.en.html
License : LGPL
Description : O'Caml librar
Package: wnpp
Severity: wishlist
Package name: mathpartir
Version : 1.1.1
Upstream Author : Didier Rémy <[EMAIL PROTECTED]>
URL : http://pauillac.inria.fr/~remy/latex/
License : GPL
Description : LaTeX macros for typesetting inference rules
The pack
retitle 188630 ITA: sdl-net1.2 -- network library for SDL'
thanks.
Since I haven't heard back otherwise, I'll go ahead and adopt this.
-m
with sdl in general.
--
Mike Furr <[EMAIL PROTECTED]>
signature.asc
Description: This is a digitally signed message part
he other thing I've
> thought would be cool to program with the Celestia engine is an
> screensaver.
Very cool ideas indeed!! If you ever get started on the screensaver
idea, drop me line.
Good luck,
--
Mike Furr <[EMAIL PROTECTED]>
signature.asc
Description: This is a digitally signed message part
for overlays, which includes the ability to accumulate
> overlay images for online presentations.
Just out of curiousity, how does this compare to the prosper package?
--
Mike Furr <[EMAIL PROTECTED]>
signature.asc
Description: This is a digitally signed message part
retitle 156614 ITP: heroine -- Complete audio and video production environment
thanks.
I've been interested in this program since I first saw it as bcast2000.
The packaging looks slightly nontrivial as it includes several libraries
which it links together statically, some of which are mmx optimiz
retitle 156924 ITP: terminatorX -- realtime audio synthesizer
thanks.
On Fri, 2002-08-16 at 09:18, Quique wrote:
> Package: wnpp
> Severity: wishlist
>
> * Package name: terminatorX
> Version : 3.72
> Upstream Author : Alexander König <[EMAIL PROTECTED]>
> * URL : http
close #156928
thanks.
On Fri, 2002-08-16 at 06:38, Quique wrote:
> Package: wnpp
> Severity: wishlist
>
> * Package name: GEM
this has been in unstable for quite some time.
-m
Package: wnpp
Version: N/A; reported 2002-03-04
Severity: wishlist
Package name: vegastrike
Version : 0.2.0
Upstream Author : Daniel Horn <[EMAIL PROTECTED]>
URL : http://vegastrike.sourceforge.net/
License : GPL
Description : Vega Strike is an Inter
21 matches
Mail list logo
