package info (click to toggle)
ott 0.34%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 6,440 kB
  • sloc: ml: 25,103; makefile: 1,374; awk: 736; lisp: 183; sh: 14; sed: 4

Folder: 0.34+ds-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 126 .pc
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 32 emacs
d d rwxr-xr-x 97 examples
d d rwxr-xr-x 142 hol
d d rwxr-xr-x 45 menhir
d d rwxr-xr-x 4,096 regression
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 4,096 tests
d d rwxr-xr-x 4,096 tex
d d rwxr-xr-x 24 tools
- - rw-r--r-- 258 .gitignore
- - rw-r--r-- 7 .holpath
- - rw-r--r-- 1,672 LICENCE
- - rw-r--r-- 10,338 Makefile
- - rw-r--r-- 17,861 README.md
- - rw-r--r-- 939 coq-ott.opam
- - rw-r--r-- 168 ott.install.nodoc
- - rw-r--r-- 1,802 ott.opam
- - rw-r--r-- 2,504 release.txt
- - rw-r--r-- 19,569 revision_history.txt