package info
(click to toggle)
Folder: 1:11.23.4-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 134 | documentation |
|
d | rwxr-xr-x | 4,096 | reasoning |
 |
- | rw-r--r-- | 24 | .gitignore |
|
- | rw-r--r-- | 159 | Dockerfile |
|
- | rw-r--r-- | 1,542 | INSTALL |
|
- | rw-r--r-- | 1,116 | LICENSE |
|
- | rw-r--r-- | 3,682 | README.md |
|
- | rw-r--r-- | 187,913 | RELEASE |
|
- | rw-r--r-- | 8 | VERSION |
|
- | rw-r--r-- | 11,726 | eye-builtins.n3 |
|
- | rwxr-xr-x | 60 | eye.cmd |
|
- | rw-r--r-- | 399,609 | eye.pl |
|
- | rwxr-xr-x | 48 | eye.sh |
|
- | rw-r--r-- | 48 | eye.sh.in |
|
- | rw-r--r-- | 9,859 | index.html |
|
- | rwxr-xr-x | 549 | install.cmd |
|
- | rwxr-xr-x | 690 | install.sh |
|
- | rw-r--r-- | 18,893 | log-rules.n3 |
|
- | rwxr-xr-x | 1,880 | mkeye |
|
- | rwxr-xr-x | 105 | proofcheck |
|
- | rwxr-xr-x | 64 | test |