File: ladr4-apps.install

package info (click to toggle)
ladr 0.0.200911a-2.1
  • links: PTS
  • area: main
  • in suites: buster, jessie, jessie-kfreebsd, stretch
  • size: 10,748 kB
  • ctags: 7,252
  • sloc: ansic: 60,251; perl: 1,006; python: 623; makefile: 368; csh: 58; modula3: 13; sh: 3
file content (29 lines) | stat: -rw-r--r-- 639 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
bin/attack usr/bin
bin/autosketches4 usr/bin
bin/clausefilter usr/bin
bin/clausetester usr/bin
bin/complex usr/bin
bin/directproof usr/bin
bin/dprofiles usr/bin
bin/fof-prover9 usr/bin
bin/get_givens usr/bin
bin/get_interps usr/bin
bin/get_kept usr/bin
bin/gvizify usr/bin
bin/idfilter usr/bin
bin/interpfilter usr/bin
bin/ladr_to_tptp usr/bin
bin/latfilter usr/bin
bin/looper usr/bin
bin/miniscope usr/bin
bin/mirror-flip usr/bin
bin/newauto usr/bin
bin/newsax usr/bin
bin/olfilter usr/bin
bin/perm3 usr/bin
bin/renamer usr/bin
bin/rewriter usr/bin
bin/sigtest usr/bin
bin/tptp_to_ladr usr/bin
bin/unfast usr/bin
bin/upper-covers usr/bin