package info (click to toggle)
flint 2.5.2-15
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 30,216 kB
  • ctags: 16,055
  • sloc: ansic: 289,367; cpp: 11,210; python: 1,280; sh: 649; makefile: 282

Folder: debian

d .. (parent)
d d rwxr-xr-x 4,096 patches
d d rwxr-xr-x 27 source
- - rw-r--r-- 6,109 changelog
- - rw-r--r-- 27 clean
- - rw-r--r-- 3 compat
- - rw-r--r-- 2,546 control
- - rw-r--r-- 4,432 copyright
- - rw-r--r-- 30 gbp.conf
- - rw-r--r-- 48 libflint-2.5.2.install
- - rw-r--r-- 40 libflint-dev.install
- - rw-r--r-- 234 libflint-doc.doc-base
- - rw-r--r-- 27 libflint-doc.docs
- - rwxr-xr-x 1,617 rules
- - rw-r--r-- 72 watch