/usr/share/ is in why3 0.88.3-1ubuntu4.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/why3/images/fatcow/bullet_white.png
|
image/png | root:root | 0o644 | 561 bytes |
/usr/share/why3/images/fatcow/cancel.png
|
image/png | root:root | 0o644 | 1.6 KB |
/usr/share/why3/images/fatcow/control_pause_blue.png
|
image/png | root:root | 0o644 | 1.7 KB |
/usr/share/why3/images/fatcow/control_play_blue.png
|
image/png | root:root | 0o644 | 1.7 KB |
/usr/share/why3/images/fatcow/database_delete.png
|
image/png | root:root | 0o644 | 1.8 KB |
/usr/share/why3/images/fatcow/ddr_memory.png
|
image/png | root:root | 0o644 | 845 bytes |
/usr/share/why3/images/fatcow/delete.png
|
image/png | root:root | 0o644 | 1.7 KB |
/usr/share/why3/images/fatcow/exclamation.png
|
image/png | root:root | 0o644 | 1.9 KB |
/usr/share/why3/images/fatcow/folder.png
|
image/png | root:root | 0o644 | 1.0 KB |
/usr/share/why3/images/fatcow/help.png
|
image/png | root:root | 0o644 | 2.1 KB |
/usr/share/why3/images/fatcow/magic_wand_2.png
|
image/png | root:root | 0o644 | 898 bytes |
/usr/share/why3/images/fatcow/multitool.png
|
image/png | root:root | 0o644 | 1.6 KB |
/usr/share/why3/images/fatcow/package.png
|
image/png | root:root | 0o644 | 866 bytes |
/usr/share/why3/images/fatcow/pencil.png
|
image/png | root:root | 0o644 | 767 bytes |
/usr/share/bash-completion/
|
root:root | 0o755 | ||
/usr/share/bash-completion/completions/
|
root:root | 0o755 | ||
/usr/share/bash-completion/completions/why3
|
text/plain | root:root | 0o644 | 4.2 KB |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/why3/
|
root:root | 0o755 | ||
/usr/share/doc/why3/TODO.Debian
|
text/plain | root:root | 0o644 | 87 bytes |
/usr/share/doc/why3/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/doc/why3/copyright
|
text/plain | root:root | 0o644 | 14.9 KB |
/usr/share/emacs/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/why3.el
|
text/x-lisp | root:root | 0o644 | 6.6 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/why3.1.gz
|
application/gzip | root:root | 0o644 | 1.8 KB |
/usr/share/texmf/
|
root:root | 0o755 | ||
/usr/share/texmf/tex/
|
root:root | 0o755 | ||
/usr/share/texmf/tex/latex/
|
root:root | 0o755 | ||
/usr/share/texmf/tex/latex/misc/
|
root:root | 0o755 | ||
/usr/share/texmf/tex/latex/misc/why3lang.sty
|
text/x-tex | root:root | 0o644 | 1.3 KB |
/usr/share/why3/
|
root:root | 0o755 | ||
/usr/share/why3/Makefile.config
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/why3/drivers/
|
root:root | 0o755 | ||
/usr/share/why3/drivers/alt_ergo.drv
|
text/plain | root:root | 0o644 | 285 bytes |
/usr/share/why3/drivers/alt_ergo_common.drv
|
text/plain | root:root | 0o644 | 5.2 KB |
/usr/share/why3/drivers/alt_ergo_fp.drv
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/why3/drivers/alt_ergo_model.drv
|
text/plain | root:root | 0o644 | 219 bytes |
/usr/share/why3/drivers/alt_ergo_smt2.drv
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/why3/drivers/beagle.drv
|
text/plain | root:root | 0o644 | 7.9 KB |
/usr/share/why3/drivers/coq-common.gen
|
text/plain | root:root | 0o644 | 7.4 KB |
/usr/share/why3/drivers/coq-realizations.aux
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/why3/drivers/coq-realize.drv
|
text/plain | root:root | 0o644 | 227 bytes |
/usr/share/why3/drivers/coq-ssreflect.drv
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/why3/drivers/coq.drv
|
text/plain | root:root | 0o644 | 251 bytes |
/usr/share/why3/drivers/cvc3.drv
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/why3/drivers/cvc4-realize.drv
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/why3/drivers/cvc4.drv
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/why3/drivers/cvc4_14.drv
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/why3/drivers/cvc4_15.drv
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/why3/drivers/cvc4_bv.gen
|
text/plain | root:root | 0o644 | 509 bytes |
/usr/share/why3/drivers/discrimination.gen
|
text/plain | root:root | 0o644 | 167 bytes |
/usr/share/why3/drivers/eprover.drv
|
text/plain | root:root | 0o644 | 322 bytes |
/usr/share/why3/drivers/gappa.drv
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/why3/drivers/iprover.drv
|
text/plain | root:root | 0o644 | 121 bytes |
/usr/share/why3/drivers/isabelle-common.gen
|
text/plain | root:root | 0o644 | 7.8 KB |
/usr/share/why3/drivers/isabelle-realizations.aux
|
text/plain | root:root | 0o644 | 50 bytes |
/usr/share/why3/drivers/isabelle2016-1-realize.drv
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/why3/drivers/isabelle2016-1.drv
|
text/plain | root:root | 0o644 | 298 bytes |
/usr/share/why3/drivers/isabelle2017-realize.drv
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/why3/drivers/isabelle2017.drv
|
text/plain | root:root | 0o644 | 298 bytes |
/usr/share/why3/drivers/mathematica.drv
|
text/plain | root:root | 0o644 | 5.6 KB |
/usr/share/why3/drivers/mathsat.drv
|
text/plain | root:root | 0o644 | 4.2 KB |
/usr/share/why3/drivers/metis.drv
|
text/plain | root:root | 0o644 | 340 bytes |
/usr/share/why3/drivers/metitarski.drv
|
text/plain | root:root | 0o644 | 6.3 KB |
/usr/share/why3/drivers/no-bv.gen
|
text/plain | root:root | 0o644 | 216 bytes |
/usr/share/why3/drivers/ocaml-gen.drv
|
text/plain | root:root | 0o644 | 6.9 KB |
/usr/share/why3/drivers/ocaml-no-arith.drv
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/why3/drivers/ocaml-unsafe-int.drv
|
text/plain | root:root | 0o644 | 6.9 KB |
/usr/share/why3/drivers/ocaml32.drv
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/why3/drivers/ocaml64.drv
|
text/plain | root:root | 0o644 | 6.9 KB |
/usr/share/why3/drivers/polypaver.drv
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/why3/drivers/princess.drv
|
text/plain | root:root | 0o644 | 7.8 KB |
/usr/share/why3/drivers/psyche.drv
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/why3/drivers/pvs-common.gen
|
text/plain | root:root | 0o644 | 7.7 KB |
/usr/share/why3/drivers/pvs-realizations.aux
|
text/plain | root:root | 0o644 | 50 bytes |
/usr/share/why3/drivers/pvs-realize.drv
|
text/plain | root:root | 0o644 | 186 bytes |
/usr/share/why3/drivers/pvs.drv
|
text/plain | root:root | 0o644 | 183 bytes |
/usr/share/why3/drivers/safeprover.drv
|
text/plain | root:root | 0o644 | 322 bytes |
/usr/share/why3/drivers/simplify.drv
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/why3/drivers/smt-libv2-bv-realization.gen
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/share/why3/drivers/smt-libv2-bv.gen
|
text/plain | root:root | 0o644 | 5.1 KB |
/usr/share/why3/drivers/smt-libv2-floats.gen
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/why3/drivers/smt-libv2.drv
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/why3/images/
|
root:root | 0o755 | ||
/usr/share/why3/drivers/spass.drv
|
text/plain | root:root | 0o644 | 270 bytes |
/usr/share/why3/drivers/spass_types.drv
|
text/plain | root:root | 0o644 | 809 bytes |
/usr/share/why3/drivers/tptp-tff0.drv
|
text/plain | root:root | 0o644 | 7.6 KB |
/usr/share/why3/drivers/tptp-tff1.drv
|
text/plain | root:root | 0o644 | 7.4 KB |
/usr/share/why3/drivers/tptp.gen
|
text/plain | root:root | 0o644 | 910 bytes |
/usr/share/why3/drivers/vampire.drv
|
text/plain | root:root | 0o644 | 214 bytes |
/usr/share/why3/drivers/verit.drv
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/why3/drivers/why3.drv
|
text/plain | root:root | 0o644 | 237 bytes |
/usr/share/why3/drivers/why3_smt.drv
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/why3/drivers/why3_tptp.drv
|
text/plain | root:root | 0o644 | 503 bytes |
/usr/share/why3/drivers/yices-smt2.drv
|
text/plain | root:root | 0o644 | 865 bytes |
/usr/share/why3/drivers/yices.drv
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/why3/drivers/z3.drv
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/why3/drivers/z3_432.drv
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/why3/drivers/z3_440.drv
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/why3/drivers/z3_smtv1.drv
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/why3/drivers/zenon.drv
|
text/plain | root:root | 0o644 | 847 bytes |
/usr/share/why3/drivers/zenon_modulo.drv
|
text/plain | root:root | 0o644 | 7.1 KB |
/usr/share/why3/images/fatcow/
|
root:root | 0o755 | ||
/usr/share/why3/images/fatcow/accept.png
|
image/png | root:root | 0o644 | 1.6 KB |
/usr/share/why3/images/fatcow/bin.png
|
image/png | root:root | 0o644 | 1.8 KB |
/usr/share/why3/images/fatcow/bomb.png
|
image/png | root:root | 0o644 | 2.0 KB |
/usr/share/why3/images/fatcow/brick_delete.png
|
image/png | root:root | 0o644 | 2.1 KB |
/usr/share/why3/images/fatcow/bullet_black.png
|
image/png | root:root | 0o644 | 606 bytes |
/usr/share/why3/images/fatcow/bullet_blue.png
|
image/png | root:root | 0o644 | 631 bytes |
/usr/share/why3/images/fatcow/bullet_green.png
|
image/png | root:root | 0o644 | 617 bytes |
/usr/share/why3/images/fatcow/bullet_red.png
|
image/png | root:root | 0o644 | 631 bytes |
/usr/share/why3/images/fatcow/readme-fatcow.txt
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/why3/images/fatcow/script.png
|
image/png | root:root | 0o644 | 1.1 KB |
/usr/share/why3/images/fatcow/time_delete.png
|
image/png | root:root | 0o644 | 2.2 KB |
/usr/share/why3/images/fatcow/timeline.png
|
image/png | root:root | 0o644 | 2.4 KB |
/usr/share/why3/images/fatcow/update.png
|
image/png | root:root | 0o644 | 2.0 KB |
/usr/share/why3/images/fatcow.rc
|
text/plain | root:root | 0o644 | 821 bytes |
/usr/share/why3/images/logo-why.png
|
image/png | root:root | 0o644 | 1.2 KB |
/usr/share/why3/lang/
|
root:root | 0o755 | ||
/usr/share/why3/lang/why3.lang
|
text/xml | root:root | 0o644 | 7.8 KB |
/usr/share/why3/modules/
|
root:root | 0o755 | ||
/usr/share/why3/modules/array.mlw
|
text/x-ruby | root:root | 0o644 | 10.5 KB |
/usr/share/why3/modules/hashtbl.mlw
|
text/x-ruby | root:root | 0o644 | 1.9 KB |
/usr/share/why3/modules/impset.mlw
|
text/x-ruby | root:root | 0o644 | 668 bytes |
/usr/share/why3/modules/io.mlw
|
text/x-ruby | root:root | 0o644 | 1.4 KB |
/usr/share/why3/modules/mach/
|
root:root | 0o755 | ||
/usr/share/why3/modules/mach/array.mlw
|
text/x-ruby | root:root | 0o644 | 13.7 KB |
/usr/share/why3/modules/mach/bv.mlw
|
text/x-ruby | root:root | 0o644 | 6.4 KB |
/usr/share/why3/modules/mach/float.mlw
|
text/x-ruby | root:root | 0o644 | 1.5 KB |
/usr/share/why3/modules/mach/int.mlw
|
text/x-ruby | root:root | 0o644 | 7.1 KB |
/usr/share/why3/modules/mach/matrix.mlw
|
text/x-ruby | root:root | 0o644 | 2.5 KB |
/usr/share/why3/modules/mach/onetime.mlw
|
text/x-ruby | root:root | 0o644 | 2.1 KB |
/usr/share/why3/modules/mach/peano.mlw
|
text/x-ruby | root:root | 0o644 | 1.9 KB |
/usr/share/why3/modules/matrix.mlw
|
text/x-ruby | root:root | 0o644 | 2.2 KB |
/usr/share/why3/modules/null.mlw
|
text/plain | root:root | 0o644 | 756 bytes |
/usr/share/why3/modules/pqueue.mlw
|
text/x-ruby | root:root | 0o644 | 3.4 KB |
/usr/share/why3/modules/python.mlw
|
text/x-ruby | root:root | 0o644 | 2.5 KB |
/usr/share/why3/modules/queue.mlw
|
text/x-ruby | root:root | 0o644 | 1.4 KB |
/usr/share/why3/modules/random.mlw
|
text/x-ruby | root:root | 0o644 | 2.3 KB |
/usr/share/why3/modules/ref.mlw
|
text/x-ruby | root:root | 0o644 | 1.1 KB |
/usr/share/why3/modules/stack.mlw
|
text/x-ruby | root:root | 0o644 | 1.3 KB |
/usr/share/why3/modules/string.mlw
|
text/x-ruby | root:root | 0o644 | 3.6 KB |
/usr/share/why3/provers-detection-data.conf
|
text/plain | root:root | 0o644 | 14.7 KB |
/usr/share/why3/theories/
|
root:root | 0o755 | ||
/usr/share/why3/theories/algebra.why
|
text/plain | root:root | 0o644 | 4.2 KB |
/usr/share/why3/theories/bag.why
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/why3/theories/bintree.why
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/why3/theories/bool.why
|
text/plain | root:root | 0o644 | 858 bytes |
/usr/share/why3/theories/bv.why
|
text/plain | root:root | 0o644 | 15.4 KB |
/usr/share/why3/theories/floating_point.why
|
text/html | root:root | 0o644 | 21.0 KB |
/usr/share/why3/theories/function.why
|
text/plain | root:root | 0o644 | 511 bytes |
/usr/share/why3/theories/graph.why
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/why3/theories/ieee_float.why
|
text/plain | root:root | 0o644 | 32.0 KB |
/usr/share/why3/theories/int.why
|
text/plain | root:root | 0o644 | 11.7 KB |
/usr/share/why3/theories/list.why
|
text/plain | root:root | 0o644 | 11.3 KB |
/usr/share/why3/theories/map.why
|
text/plain | root:root | 0o644 | 5.9 KB |
/usr/share/why3/theories/number.why
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/share/why3/theories/option.why
|
text/plain | root:root | 0o644 | 78 bytes |
/usr/share/why3/theories/pigeon.why
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/why3/theories/real.why
|
text/plain | root:root | 0o644 | 9.1 KB |
/usr/share/why3/theories/regexp.why
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/why3/theories/relations.why
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/why3/theories/seq.why
|
text/plain | root:root | 0o644 | 9.8 KB |
/usr/share/why3/theories/set.why
|
text/plain | root:root | 0o644 | 8.6 KB |
/usr/share/why3/theories/sum.why
|
text/plain | root:root | 0o644 | 918 bytes |
/usr/share/why3/theories/tptp.why
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/why3/vim/
|
root:root | 0o755 | ||
/usr/share/why3/vim/ftdetect/
|
root:root | 0o755 | ||
/usr/share/why3/vim/ftdetect/why3.vim
|
text/plain | root:root | 0o644 | 52 bytes |
/usr/share/why3/vim/syntax/
|
root:root | 0o755 | ||
/usr/share/why3/vim/syntax/why3.vim
|
text/plain | root:root | 0o644 | 8.8 KB |
/usr/share/why3/why3session.dtd
|
text/plain | root:root | 0o644 | 3.7 KB |