package info (click to toggle)
coq-hott 9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,440 kB
  • sloc: sh: 452; python: 414; haskell: 125; makefile: 21

Folder: etc

d .. (parent)
d d rwxr-xr-x 10 alectryon
d d rwxr-xr-x 4,096 ci
d d rwxr-xr-x 10 coq-scripts
d d rwxr-xr-x 33 emacs
- - rwxr-xr-x 8,417 Book.py
- - rwxr-xr-x 5,328 DepsToDot.hs
- - rw-r--r-- 29 autoreconf-branch
- - rw-r--r-- 49 autoreconf-files
- - rwxr-xr-x 2,050 coqccount.sh
- - rwxr-xr-x 8,855 coqcreplace.py
- - rwxr-xr-x 12,466 coqcstriprequires.py
- - rwxr-xr-x 1,791 generate_coqproject.sh
- - rw-r--r-- 4,876 homotopy.css
- - rwxr-xr-x 1,540 hoqthmdep
- - rwxr-xr-x 1,372 install_coq.sh
- - rwxr-xr-x 155 install_coq_deps.sh
- - rwxr-xr-x 51 pipe_out.sh
- - rwxr-xr-x 2,351 time2html
- - rwxr-xr-x 299 update-TOCs