package info (click to toggle)
flint 3.4.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 68,996 kB
  • sloc: ansic: 915,350; asm: 14,605; python: 5,340; sh: 4,512; lisp: 2,621; makefile: 787; cpp: 341

Folder: debian

d .. (parent)
d d rwxr-xr-x 90 patches
d d rwxr-xr-x 27 source
d d rwxr-xr-x 57 tests
d d rwxr-xr-x 29 upstream
- - rw-r--r-- 19,941 changelog
- - rw-r--r-- 19 clean
- - rw-r--r-- 2,679 control
- - rw-r--r-- 4,546 copyright
- - rw-r--r-- 30 gbp.conf
- - rw-r--r-- 70 libflint-dev.install
- - rw-r--r-- 333 libflint-doc.doc-base
- - rw-r--r-- 41 libflint-doc.docs
- - rw-r--r-- 26 libflint22.install
- - rwxr-xr-x 822 rules
- - rw-r--r-- 139 salsa-ci.yml
- - rw-r--r-- 75 watch