File: dirs

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
file content (1 line) | stat: -rw-r--r-- 14 bytes parent folder | download | duplicates (427)
1
usr/share/doc