[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#461402: marked as done (ITP: cl-unification -- Unification framework for common lisp)

Your message dated Thu, 19 Jun 2008 09:47:51 +0200
with message-id <20080619074751.GC24690@philipp-benner.de>
and subject line closed
has caused the Debian Bug report #461402,
regarding ITP: cl-unification -- Unification framework for common lisp
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
461402: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=461402
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Philipp Benner <pbenner@uni-osnabrueck.de>

* Package name    : cl-unification
  Upstream Author : Marco Antoniotti <marcoxa@alu.org>
* URL             : http://common-lisp.net/project/cl-unification/
* License         : BSD
  Programming Lang: Lisp
  Description     : Unification framework for common lisp

The library provides a full blown unification framework for Common Lisp.

The notion of unification originated in the field of formal logic
and has been used extensively in Computer Science and
Programming Languages. Most notably, Prolog uses the full power of
unification.


-- System Information:
Debian Release: lenny/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable')
Architecture: powerpc (ppc)

Kernel: Linux 2.6.18
Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

-- 
Philipp Benner

--- End Message ---
--- Begin Message ---

--- End Message ---
Reply to: