package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 53 | patches |
|
d | rwxr-xr-x | 27 | source |
|
d | rwxr-xr-x | 121 | tests |
|
d | rwxr-xr-x | 29 | upstream |
 |
- | rw-r--r-- | 164 | NEWS |
|
- | rw-r--r-- | 27 | TODO |
|
- | rw-r--r-- | 19,589 | changelog |
|
- | rw-r--r-- | 16 | clean |
|
- | rw-r--r-- | 3,653 | control |
|
- | rw-r--r-- | 21,606 | copyright |
|
- | rw-r--r-- | 30 | gbp.conf |
|
- | rw-r--r-- | 194 | gitlab-ci.yml |
|
- | rw-r--r-- | 56 | libwhy3-ocaml-dev.install.in |
|
- | rw-r--r-- | 23 | not-installed |
|
- | rwxr-xr-x | 1,904 | rules |
|
- | rw-r--r-- | 173 | watch |
|
- | rw-r--r-- | 995 | why3-doc-html.doc-base |
|
- | rw-r--r-- | 9 | why3-doc-html.docs |
|
- | rw-r--r-- | 516 | why3-doc-html.links |
|
- | rw-r--r-- | 990 | why3-doc-pdf.doc-base |
|
- | rw-r--r-- | 21 | why3-doc-pdf.docs |
|
- | rw-r--r-- | 11 | why3-examples.examples |
|
- | rw-r--r-- | 104 | why3-examples.lintian-overrides |
|
- | rw-r--r-- | 4,229 | why3.1 |
|
- | rw-r--r-- | 786 | why3.NEWS |
|
- | 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-- | 299 | why3.install.in |
|
- | rw-r--r-- | 42 | why3.links.in |
|
- | rw-r--r-- | 14 | why3.manpages |