/usr/share/Yap/clpq/ is in yap 6.2.2-6.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/Yap/clpq/bb_q.pl
|
text/plain | root:root | 0o644 | 6.2 KB |
/usr/share/Yap/clpq/bv_q.pl
|
text/plain | root:root | 0o644 | 47.2 KB |
/usr/share/Yap/clpq/fourmotz_q.pl
|
text/plain | root:root | 0o644 | 12.8 KB |
/usr/share/Yap/clpq/ineq_q.pl
|
text/plain | root:root | 0o644 | 35.3 KB |
/usr/share/Yap/clpq/itf_q.pl
|
text/plain | root:root | 0o644 | 6.1 KB |
/usr/share/Yap/clpq/nf_q.pl
|
text/plain | root:root | 0o644 | 24.5 KB |
/usr/share/Yap/clpq/store_q.pl
|
text/plain | root:root | 0o644 | 10.5 KB |
/usr/share/Yap/clpqr/README
|
text/plain | root:root | 0o644 | 699 bytes |
/usr/share/Yap/clpqr/class.pl
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/Yap/clpqr/dump.pl
|
text/plain | root:root | 0o644 | 8.9 KB |
/usr/share/Yap/clpqr/geler.pl
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/share/Yap/clpqr/itf.pl
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/Yap/clpqr/ordering.pl
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/Yap/clpqr/project.pl
|
text/plain | root:root | 0o644 | 7.7 KB |
/usr/share/Yap/clpqr/redund.pl
|
text/plain | root:root | 0o644 | 7.4 KB |