File: VERSION
package info
(click to toggle)
cvc3 2.4.1-5.1
- links: PTS
- area: main
- in suites: stretch
- size: 6,496 kB
- sloc: cpp: 98,766; java: 4,598; yacc: 4,131; sh: 3,085; ansic: 1,107; makefile: 960; perl: 885; python: 845; lisp: 595
| file content (1 line) | stat: -rw-r--r-- 6 bytes | parent folder | download | duplicates (22) |
1 |
|