package info
(click to toggle)
coq 6.3.1-2
- links: PTS
- area: main
- in suites: potato
- size: 6,852 kB
- ctags: 9,439
- sloc: ml: 67,786; makefile: 1,403; lisp: 535; sh: 458; perl: 135
Folder: bin
.. (parent) | ||||
- | rw-r--r-- | 592 | Makefile |