package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | patches |
|
d | rwxr-xr-x | 27 | source |
|
d | rwxr-xr-x | 97 | tests |
 |
- | rw-r--r-- | 3,639 | changelog |
|
- | rw-r--r-- | 4,265 | control |
|
- | rw-r--r-- | 4,452 | copyright |
|
- | rw-r--r-- | 28 | cvc4.install |
|
- | rw-r--r-- | 52 | cvc4.manpages |
|
- | rw-r--r-- | 23 | libcvc4-7.install |
|
- | rw-r--r-- | 19 | libcvc4-dev.examples |
|
- | rw-r--r-- | 32 | libcvc4-dev.install |
|
- | rw-r--r-- | 130 | libcvc4-dev.manpages |
|
- | rw-r--r-- | 29 | libcvc4parser7.install |
|
- | rw-r--r-- | 18 | not-installed |
|
- | rwxr-xr-x | 1,127 | rules |
|
- | rw-r--r-- | 139 | salsa-ci.yml |
|
- | rw-r--r-- | 137 | watch |