package info (click to toggle)
why 2.40-4
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 10,504 kB
  • sloc: ml: 71,410; xml: 13,660; java: 8,079; ansic: 1,176; makefile: 728; sh: 199; lisp: 3

Folder: debian

d .. (parent)
d d rwxr-xr-x 89 patches
d d rwxr-xr-x 27 source
d d rwxr-xr-x 117 tests
- - rw-r--r-- 20,442 changelog
- - rw-r--r-- 471 clean
- - rw-r--r-- 3 compat
- - rw-r--r-- 1,629 control
- - rw-r--r-- 4,038 copyright
- - rw-r--r-- 31 gbp.conf
- - rw-r--r-- 1,898 jessie.1
- - rw-r--r-- 1,069 krakatoa.1
- - rw-r--r-- 12 libwhy-coq.dirs
- - rwxr-xr-x 2,161 rules
- - rw-r--r-- 132 watch
- - rw-r--r-- 281 why.NEWS
- - rw-r--r-- 14 why.dirs
- - rw-r--r-- 7 why.docs
- - rw-r--r-- 57 why.install
- - rw-r--r-- 34 why.manpages