package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 27 | patches |
|
d | rwxr-xr-x | 27 | source |
|
d | rwxr-xr-x | 4,096 | tests |
 |
- | rw-r--r-- | 87 | TODO |
|
- | rw-r--r-- | 4,344 | changelog |
|
- | rw-r--r-- | 27 | clean |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 3,604 | control |
|
- | rw-r--r-- | 15,226 | copyright |
|
- | rw-r--r-- | 30 | gbp.conf |
|
- | rw-r--r-- | 20 | libwhy3-ocaml-dev.dirs |
|
- | rw-r--r-- | 47 | libwhy3-ocaml-dev.install |
|
- | rw-r--r-- | 23 | not-installed |
|
- | rwxr-xr-x | 946 | rules |
|
- | rw-r--r-- | 104 | watch |
|
- | rw-r--r-- | 67 | why3-coq.install |
|
- | rw-r--r-- | 995 | why3-doc-html.doc-base |
|
- | rw-r--r-- | 9 | why3-doc-html.docs |
|
- | rw-r--r-- | 990 | why3-doc-pdf.doc-base |
|
- | rw-r--r-- | 15 | why3-doc-pdf.docs |
|
- | rw-r--r-- | 11 | why3-examples.examples |
|
- | rw-r--r-- | 4,335 | why3.1 |
|
- | rw-r--r-- | 70 | why3.dirs |
|
- | rw-r--r-- | 2 | why3.emacsen-compat |
|
- | rw-r--r-- | 1,059 | why3.emacsen-install |
|
- | rw-r--r-- | 489 | why3.emacsen-remove |
|
- | rw-r--r-- | 156 | why3.emacsen-startup |
|
- | rw-r--r-- | 258 | why3.install |
|
- | rw-r--r-- | 14 | why3.manpages |