package info
(click to toggle)
coq 9.1.0%2Bdfsg-1
- links:
PTS,
VCS
- area: main
- in suites: experimental
- size: 35,968 kB
- sloc:
ml: 239,908;
sh: 4,355;
python: 2,985;
ansic: 2,644;
makefile: 874;
lisp: 171;
javascript: 63;
xml: 24;
sed: 2
Folder: timing-template
