Bug#725033: ITP: ats2-lang -- ATS (v2) is a statically typed programming language that unifies implementation with formal specification.

2013-09-30 Thread Matthew Danish
Package: wnpp Severity: wishlist Owner: Matthew Danish * Package name: ats2-lang Version : 0.0.3 Upstream Author : Hongwei Xi * URL : http://www.ats-lang.org/ * License : GPL Programming Lang: ATS, C Description : ATS (v2) is a statically typed

Bug#571031: ITP: ats-lang-anairiats -- The ATS language compiler Anairiats

2010-02-22 Thread Matthew Danish
Package: wnpp Severity: wishlist Owner: Matthew Danish * Package name: ats-lang-anairiats Version : 0.1.7 Upstream Author : Hongwei Xi * URL : http://www.ats-lang.org/ * License : GPL-3 and LGPL-2.1 Programming Lang: ATS, C Description : The ATS

Re: Bug#170548: On closing lists of bugs in changelog...

2004-12-08 Thread Matthew Danish
easier to maintain in the future ). > > * (Closes: 273895, 217516, 220407, 252897, 159110, 170548, 203843) > > (Closes: 238981, 264436, 159410, 137751, 213624) > > > > -- Matthew Danish <[EMAIL PROTECTED]> Mon, 15 Nov 2004 02:14:10 -0500 > > > &g

Bug#172241: ITP: cl-sdl -- Common Lisp bindings to the SDL graphics library

2002-12-08 Thread Matthew Danish
Package: wnpp Version: N/A; reported 2002-12-08 Severity: wishlist * Package name: cl-sdl Version : 0.1.0 Upstream Author : Matthew Danish, Timo Tossavainen * URL : http://cl-sdl.sourceforge.net/ * License : MIT/X style Description : Common Lisp bindings

Re: Bug#158756: ITP: vmailmgr -- Powerful qmail addon package for virtual domain email.

2002-08-29 Thread Matthew Danish
this the same as vchkpw? And there exists a qmail autoresponder: package "autorespond". -- ; Matthew Danish <[EMAIL PROTECTED]> ; OpenPGP public key: C24B6010 on keyring.debian.org ; Signed or encrypted mail welcome. ; "There is no dark side of the moon really; matter of fact, it's all dark."