package info (click to toggle)
axiom 20170501-4
  • links: PTS
  • area: main
  • in suites: buster, sid
  • size: 1,048,504 kB
  • sloc: lisp: 3,600; makefile: 505; cpp: 223; ansic: 138; sh: 96

Folder: license

d .. (parent)
- - rw-r--r-- 1,368 license.acl2
- - rw-r--r-- 1,571 license.axiom
- - rw-r--r-- 1,327 license.bull
- - rw-r--r-- 14,083 license.cc
- - rw-r--r-- 2,082 license.ccl
- - rw-r--r-- 3,164 license.eay
- - rw-r--r-- 2,107 license.fsf
- - rw-r--r-- 2,209 license.lapack
- - rw-r--r-- 1,138 license.noweb
- - rw-r--r-- 1,549 license.ralfs
- - rw-r--r-- 66 license.rand
- - rw-r--r-- 1,095 license.smc