/usr/share/doc/hol88-contrib-source/copyright is in hol88-contrib-source 2.02.19940316-19.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 | This package was debianized by Camm Maguire <camm@enhanced.com> on
Wed, 18 Oct 2006 13:36:15 -0400.
It was downloaded from http://www.ftp.cl.cam.ac.uk/ftp/hvg/hol88/
Upstream Authors: Michael Gordon <Mike.Gordon@cl.cam.ac.uk>
University of Cambridge Computer Laboratory http://www.cl.cam.ac.uk/
Copyright: 1994 University of Edinburgh, University of Cambridge, INRIA
License:
public domain
From http://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.pdf:
...
6.1 HOL88
The core HOL system became stable in about 1988. A new release that
consolidated various changes and enhancements called HOL88 was issued
then.11 We were fortunate to receive support from DSTO Australia to
document HOL12 and from Hewlett Packard to port it from Franz Lisp to
Common Lisp (a job very ably done by John Carroll). The current
versions of HOL and its documentation are public domain13 and
available on the Internet
(http://lal.cs.byu.edu/lal/hol-documentation.html).
The Debian packaging is (C) 2006, Camm Maguire <camm@enhanced.com> and
is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
|