package info
(click to toggle)
Folder: 2022-12-10+dfsg2-4
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 59 | coq-lib |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 127 | doc |
|
d | rwxr-xr-x | 49 | etc |
|
d | rwxr-xr-x | 64 | examples |
|
d | rwxr-xr-x | 77 | hol-lib |
|
d | rwxr-xr-x | 27 | html-lib |
|
d | rwxr-xr-x | 70 | isabelle-lib |
|
d | rwxr-xr-x | 65 | language |
|
d | rwxr-xr-x | 4,096 | library |
|
d | rwxr-xr-x | 4,096 | ocaml-lib |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 4,096 | tests |
|
d | rwxr-xr-x | 47 | tex-lib |
 |
- | rw-r--r-- | 445 | .gitignore |
|
- | rw-r--r-- | 53,393 | LICENSE |
|
- | rw-r--r-- | 9,871 | Makefile |
|
- | rw-r--r-- | 215 | Makefile-distrib |
|
- | rw-r--r-- | 8,350 | README.md |
|
- | rwxr-xr-x | 60 | lem.sh |
|
- | rw-r--r-- | 1,413 | opam |
|
- | rw-r--r-- | 3,380 | readme-sources.txt |