File: COPYING

package info (click to toggle)
acl2 7.2dfsg-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 198,968 kB
  • ctags: 182,300
  • sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; asm: 23; haskell: 17
file content (5 lines) | stat: -rw-r--r-- 202 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
 
This software has been placed into the public domain.

This software is "as is", and has no warranty of any kind.  The
authors assume no responsibility for the consequences of any use of
this software.