Accepted hol88 2.02.19940316-1 (source)

Tue Nov 28 12:54:21 GMT 2006

Accepted:
hol88 2.02.19940316-1 was ACCEPTED.
	Component: universe Section: math

Origin: Debian/unstable
Format: 1.7
Date: Tue,  28 Nov 2006 10:54:14 +0000
Source: hol88
Binary: hol88-contrib-source, hol88-library, hol88-library-help, hol88-contrib-help, hol88-help, hol88-doc, hol88, hol88-library-source, hol88-source
Architecture: source
Version: 2.02.19940316-1
Distribution: feisty
Urgency: low
Maintainer: Camm Maguire <camm at enhanced.com>
Changed-By: Ubuntu Archive Auto-Sync <archive at ubuntu.com>
Description: 
 hol88      - Higher Order Logic, system image
Changes: 
 hol88 (2.02.19940316-1) unstable; urgency=low
 .
   * Initial release
Files: 
 ac0f12c938d4dae66b0a19c081bf7725 743 math optional hol88_2.02.19940316-1.dsc
 4b035368b9347b32b8984e987ac8b175 15690 math optional hol88_2.02.19940316-1.diff.gz
 9cfba3cb495e7261e438f6a9324208e1 10241007 math optional hol88_2.02.19940316.orig.tar.gz