package info (click to toggle)
coq-unimath 20220816-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 13,544 kB
  • sloc: lisp: 870; makefile: 422; perl: 90; sh: 86; javascript: 44; sed: 10

Folder: 20220816-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 4,096 UniMath
d d rwxr-xr-x 52 build
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 25 emacs
d d rwxr-xr-x 117 latex
d d rwxr-xr-x 44 sub
d d rwxr-xr-x 72 util
- - rw-r--r-- 446 .gitignore
- - rw-r--r-- 173 .gitmodules
- - rw-r--r-- 10,141 .mailmap
- - rw-r--r-- 3,787 .travis.yml-old
- - rw-r--r-- 15,455 INSTALL.md
- - rw-r--r-- 622 INSTALL_COQIDE.md
- - rw-r--r-- 2,476 INSTALL_NIX.md
- - rw-r--r-- 3,323 INSTALL_OPAM.md
- - rw-r--r-- 2,837 INSTALL_WIN.md
- - rw-r--r-- 778 LICENSE.md
- - rw-r--r-- 19,289 Makefile
- - rw-r--r-- 3,017 README.md
- - rw-r--r-- 5,908 USAGE.md
- - rw-r--r-- 27 _config.yml
- - rw-r--r-- 471 coq-unimath.opam