File: polyml.install

package info (click to toggle)
polyml 5.2.1-1.1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, wheezy
  • size: 19,692 kB
  • ctags: 17,567
  • sloc: cpp: 37,221; sh: 9,591; asm: 4,120; ansic: 428; makefile: 203; ml: 191; awk: 91; sed: 10
file content (3 lines) | stat: -rw-r--r-- 53 bytes parent folder | download | duplicates (2)
1
2
3
usr/bin/*
usr/share/man/man1/*
usr/lib/libpolymain.*