package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: test-suite

d .. (parent)
d d rwxr-xr-x 129 bugs
d d rwxr-xr-x 4,096 complexity
d d rwxr-xr-x 4,096 coq-makefile
d d rwxr-xr-x 4,096 coqchk
d d rwxr-xr-x 4,096 coqdoc
d d rwxr-xr-x 4,096 coqwc
d d rwxr-xr-x 4,096 failure
d d rwxr-xr-x 4,096 ide
d d rwxr-xr-x 4,096 ideal-features
d d rwxr-xr-x 4,096 interactive
d d rwxr-xr-x 4,096 micromega
d d rwxr-xr-x 4,096 misc
d d rwxr-xr-x 4,096 modules
d d rwxr-xr-x 8,192 output
d d rwxr-xr-x 4,096 output-modulo-time
d d rwxr-xr-x 4,096 prerequisite
d d rwxr-xr-x 4,096 ssr
d d rwxr-xr-x 54 stm
d d rwxr-xr-x 8,192 success
d d rwxr-xr-x 34 tools
d d rwxr-xr-x 123 typeclasses
d d rwxr-xr-x 79 unit-tests
d d rwxr-xr-x 124 vio
- - rw-r--r-- 89,077 .csdp.cache
- - rw-r--r-- 22,883 Makefile
- - rw-r--r-- 3,483 README.md
- - rw-r--r-- 26 _CoqProject
- - rwxr-xr-x 1,610 report.sh