package info (click to toggle)
why3 0.87.3-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 17,808 kB
  • ctags: 8,606
  • sloc: xml: 58,819; ml: 55,487; makefile: 1,752; sh: 1,082; ansic: 443; lisp: 127

Folder: source

d .. (parent)
- - rw-r--r-- 12 format