package info (click to toggle)
coq-doc 6.3.1-2
  • links: PTS
  • area: main
  • in suites: potato
  • size: 2,720 kB
  • ctags: 940
  • sloc: makefile: 34

Folder: 6.3.1-2

d .. (parent)
d d rwxr-xr-x 8,192 coq-docs-html
d d rwxr-xr-x 114 debian
- - rw-r--r-- 29,493 Changes.ps.gz
- - rw-r--r-- 168,686 Library.ps.gz
- - rw-r--r-- 1,841 README
- - rw-r--r-- 126,143 Reference-Manual-addendum.ps.gz
- - rw-r--r-- 411,152 Reference-Manual-all.ps.gz
- - rw-r--r-- 316,572 Reference-Manual-base.ps.gz
- - rw-r--r-- 49,117 Tutorial.ps.gz