package info (click to toggle)
coq-hott 8.16-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 5,124 kB
  • sloc: sh: 453; python: 149; haskell: 125; makefile: 18

Folder: 8.16-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 61 contrib
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 etc
d d rwxr-xr-x 4,096 theories
- - rw-r--r-- 1,331 .gitignore
- - rw-r--r-- 208 .gitmodules
- - rw-r--r-- 2,801 .mailmap
- - rw-r--r-- 1,057 CREDITS.txt
- - rw-r--r-- 7,376 INSTALL.md
- - rw-r--r-- 1,615 LICENSE.txt
- - rw-r--r-- 1,229 Makefile
- - rw-r--r-- 13,473 Makefile.coq.local
- - rw-r--r-- 536 Makefile.coq.local-early
- - rw-r--r-- 3,701 README.md
- - rw-r--r-- 66,388 STYLE.md
- - rw-r--r-- 1,032 UNICODE.txt
- - rw-r--r-- 766 hott.opam