Filewatcher File Search File Search
Catalog
Content Search
» » » » acl2_5.0-1.debian.tar.gz » Content »
pkg://acl2_5.0-1.debian.tar.gz:18516/debian/  info  downloads

copyright

This package was debianized by Camm Maguire <camm@enhanced.com> on
Sat, 26 Oct 2002 11:58:58 -0400.

It was downloaded from ftp://ftp.cs.utexas.edu:/pub/moore/acl2/v2-8/

Upstream Authors: 

  Matt Kaufmann,kaufmann@cs.utexas.edu			                   (main program)
  J Strother Moore,moore@cs.utexas.edu                                     (main program)

  University of Texas at Austin                                            (books, partial)
  Computational Logic, Inc.,mksmith@acm.org,msmith17@austin.rr.com         (books, partial)
  John R. Cowles, University of Wyoming                                    (books, partial)
  Bishop Brock and J Strother Moore                                        (books, partial)
  Panagiotis Manolios and J Strother Moore                                 (books, partial)
  Georgia Institute of Technology                                          (books, partial)
  Jared Davis,jared@cs.utexas.edu                                          (books, partial)
  Panagiotis Manolios,manolios@cc.gatech.edu                               (books, partial)
  Daron Vroon,vroon@cc.gatech.edu                                          (books, partial)
  Matt Kaufmann,kaufmann@cs.utexas.edu                                     (books, partial)

Copyright:

		    GNU GENERAL PUBLIC LICENSE
		       Version 2, June 1991

     
 Copyright (C) 1989, 1991 Free Software Foundation, Inc., 
     51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
 Everyone is permitted to copy and distribute verbatim copies
 of this license document, but changing it is not allowed.

			    Preamble

  The licenses for most software are designed to take away your
freedom to share and change it.  By contrast, the GNU General Public
License is intended to guarantee your freedom to share and change free
software--to make sure the software is free for all its users.  This
General Public License applies to most of the Free Software
Foundation's software and to any other program whose authors commit to
using it.  (Some other Free Software Foundation software is covered by
the GNU Library General Public License instead.)  You can apply it to
your programs, too.

On Debian GNU/Linux systems, the complete text of the GNU General
Public License Version 2 can be found in
`/usr/share/common-licenses/GPL-2'.
Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com