package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 53 | patches |
|
d | rwxr-xr-x | 27 | source |
|
d | rwxr-xr-x | 125 | tests |
|
d | rwxr-xr-x | 29 | upstream |
 |
- | rw-r--r-- | 164 | NEWS |
|
- | rw-r--r-- | 27 | TODO |
|
- | rw-r--r-- | 17,714 | changelog |
|
- | rw-r--r-- | 27 | clean |
|
- | rw-r--r-- | 3,515 | control |
|
- | rw-r--r-- | 3,991 | control.in |
|
- | rw-r--r-- | 21,606 | copyright |
|
- | rw-r--r-- | 30 | gbp.conf |
|
- | rw-r--r-- | 194 | gitlab-ci.yml |
|
- | rw-r--r-- | 20 | libwhy3-ocaml-dev.dirs |
|
- | rw-r--r-- | 55 | libwhy3-ocaml-dev.install |
|
- | rw-r--r-- | 23 | not-installed |
|
- | rwxr-xr-x | 1,779 | rules |
|
- | rw-r--r-- | 76 | 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-- | 257 | why3.install |
|
- | rw-r--r-- | 14 | why3.manpages |