package info (click to toggle)
linksem 0.8%2Bdfsg3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,376 kB
  • sloc: asm: 9,188; ansic: 5,856; ml: 2,918; yacc: 1,310; lex: 721; sh: 119; makefile: 63

Folder: 0.8+dfsg3-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 24 compiler_proof
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 100 prf
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 4,096 test
d d rwxr-xr-x 24 validation
- - rw-r--r-- 451 .gitignore
- - rw-r--r-- 3,847 .hgignore
- - rw-r--r-- 0 CONTRIBUTORS.md
- - rw-r--r-- 2,285 LICENSE
- - rw-r--r-- 219 Makefile
- - rw-r--r-- 6,727 README.md
- - rw-r--r-- 967 opam