File: libflint-dev.install

package info (click to toggle)
flint 2.4.4-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 21,904 kB
  • ctags: 13,326
  • sloc: ansic: 208,848; cpp: 11,358; sh: 564; makefile: 250
file content (2 lines) | stat: -rw-r--r-- 40 bytes parent folder | download | duplicates (3) 
1
2
 
/usr/include/flint
/usr/lib/libflint.so