package info (click to toggle)
eprover 3.2.5%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 14,504 kB
  • sloc: ansic: 104,396; csh: 13,135; python: 11,207; awk: 5,825; makefile: 554; sh: 400

Folder: 3.2.5+ds-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 BASICS
d d rwxr-xr-x 4,096 CLAUSES
d d rwxr-xr-x 29 CONTRIB
d d rwxr-xr-x 4,096 CONTROL
d d rwxr-xr-x 4,096 DOC
d d rwxr-xr-x 78 EXAMPLE_PROBLEMS
d d rwxr-xr-x 139 EXTERNAL
d d rwxr-xr-x 4,096 HEURISTICS
d d rwxr-xr-x 4,096 INOUT
d d rwxr-xr-x 4,096 LEARN
d d rwxr-xr-x 4,096 ORDERINGS
d d rwxr-xr-x 4,096 PCL2
d d rwxr-xr-x 4,096 PROPOSITIONAL
d d rwxr-xr-x 4,096 PROVER
d d rwxr-xr-x 4,096 PYTHON
d d rwxr-xr-x 124 SIMPLE_APPS
d d rwxr-xr-x 4,096 SKELETONS
d d rwxr-xr-x 4,096 TERMS
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 development_tools
d d rwxr-xr-x 4,096 etc
- - rw-r--r-- 881 .gitignore
- - rw-r--r-- 45,584 COPYING
- - rw-r--r-- 8,196 Makefile
- - rw-r--r-- 625 Makefile.services
- - rw-r--r-- 5,509 Makefile.vars
- - rw-r--r-- 7,952 README.md
- - rw-r--r-- 2,660 README.server
- - rwxr-xr-x 4,317 configure