package info (click to toggle)
proofgeneral 4.4.1~pre170114-1.1
  • links: PTS
  • area: main
  • in suites: bullseye, sid
  • size: 20,592 kB
  • sloc: lisp: 43,825; ml: 2,239; sh: 300; makefile: 264; perl: 159

Folder: 4.4.1~pre170114-1.1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 69 acl2
d d rwxr-xr-x 33 bin
d d rwxr-xr-x 44 ccc
d d rwxr-xr-x 40 contrib
d d rwxr-xr-x 4,096 coq
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 4,096 etc
d d rwxr-xr-x 4,096 generic
d d rwxr-xr-x 4,096 hol-light
d d rwxr-xr-x 88 hol98
d d rwxr-xr-x 4,096 images
d d rwxr-xr-x 4,096 isar
d d rwxr-xr-x 127 lego
d d rwxr-xr-x 4,096 lib
d d rwxr-xr-x 62 obsolete
d d rwxr-xr-x 25 pghaskell
d d rwxr-xr-x 31 pgocaml
d d rwxr-xr-x 71 pgshell
d d rwxr-xr-x 4,096 phox
d d rwxr-xr-x 39 previous-art
d d rwxr-xr-x 115 twelf
- - rw-r--r-- 48 .gitignore
- - rw-r--r-- 1,044 .travis.yml
- - rw-r--r-- 743 AUTHORS
- - rw-r--r-- 4,095 BUGS
- - rw-r--r-- 20,523 CHANGES
- - rw-r--r-- 1,481 COMPATIBILITY
- - rw-r--r-- 17,992 COPYING
- - rw-r--r-- 11,368 FAQ.md
- - rw-r--r-- 5,740 INSTALL
- - rw-r--r-- 10,644 Makefile
- - rw-r--r-- 19,360 Makefile.devel
- - rw-r--r-- 910 Makefile.travis
- - rw-r--r-- 2,123 README.md
- - rw-r--r-- 406 REGISTER