This package is 19.8 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/w/why3/why3_0.88.3-1ubuntu4_amd64.deb
.
View its full control file here:
debian/control.
Software verification platform
This package depends on:
libc6 (>= 2.17), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), zlib1g (>= 1:1.1.4), ocaml-base-nox-4.05.0, tex-common (>= 6).
This package suggests:
why3-examples.
This package does not conflict with any other package.
why3 0.88.3-1ubuntu4 is in ubuntu - bionic / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 809 bytes |
postrm
|
text/x-shellscript | N/A | N/A | 959 bytes |
preinst
|
text/x-shellscript | N/A | N/A | 358 bytes |
prerm
|
text/x-shellscript | N/A | N/A | 301 bytes |
/etc/
|
root:root | 0o755 | ||
/etc/emacs/
|
root:root | 0o755 | ||
/etc/emacs/site-start.d/
|
root:root | 0o755 | ||
/etc/emacs/site-start.d/50why3.el
|
text/x-lisp | root:root | 0o644 | 156 bytes |
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/why3
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/compat/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/compat/why3
|
text/plain | root:root | 0o644 | 2 bytes |
/usr/lib/emacsen-common/packages/install/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/install/why3
|
text/x-shellscript | root:root | 0o755 | 1.0 KB |
/usr/lib/emacsen-common/packages/remove/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/remove/why3
|
text/x-shellscript | root:root | 0o755 | 489 bytes |
/usr/lib/x86_64-linux-gnu/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/commands/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/commands/why3config
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3doc
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3execute
|
application/x-sharedlib | root:root | 0o755 | 8.9 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3extract
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3ide
|
application/x-sharedlib | root:root | 0o755 | 12.6 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3prove
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3realize
|
application/x-sharedlib | root:root | 0o755 | 8.9 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3replay
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3session
|
application/x-sharedlib | root:root | 0o755 | 9.3 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3wc
|
application/x-sharedlib | root:root | 0o755 | 2.0 MB |
/usr/lib/x86_64-linux-gnu/why3/plugins/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/plugins/dimacs.cmxs
|
application/x-sharedlib | root:root | 0o644 | 5.8 KB |
/usr/lib/x86_64-linux-gnu/why3/plugins/genequlin.cmxs
|
application/x-sharedlib | root:root | 0o644 | 5.8 KB |
/usr/lib/x86_64-linux-gnu/why3/plugins/hypothesis_selection.cmxs
|
application/x-sharedlib | root:root | 0o644 | 5.8 KB |
/usr/lib/x86_64-linux-gnu/why3/plugins/python.cmxs
|
application/x-sharedlib | root:root | 0o644 | 164.6 KB |
/usr/lib/x86_64-linux-gnu/why3/plugins/tptp.cmxs
|
application/x-sharedlib | root:root | 0o644 | 326.9 KB |
/usr/lib/x86_64-linux-gnu/why3/why3-call-pvs
|
text/x-shellscript | root:root | 0o755 | 160 bytes |
/usr/lib/x86_64-linux-gnu/why3/why3cpulimit
|
application/x-sharedlib | root:root | 0o755 | 10.0 KB |
/usr/lib/x86_64-linux-gnu/why3/why3server
|
application/x-sharedlib | root:root | 0o755 | 22.1 KB |
/usr/share/
|
root:root | 0o755 | ||
/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/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/doc/why3/TODO.Debian
|
text/plain | root:root | 0o644 | 87 bytes |
/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/drivers/
|
root:root | 0o755 | ||
/usr/share/why3/drivers/alt_ergo_common.drv
|
text/plain | root:root | 0o644 | 5.2 KB |
/usr/share/why3/drivers/alt_ergo.drv
|
text/plain | root:root | 0o644 | 285 bytes |
/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.drv
|
text/plain | root:root | 0o644 | 251 bytes |
/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/cvc3.drv
|
text/plain | root:root | 0o644 | 3.8 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/cvc4.drv
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/why3/drivers/cvc4-realize.drv
|
text/plain | root:root | 0o644 | 1.7 KB |
/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/isabelle2016-1.drv
|
text/plain | root:root | 0o644 | 298 bytes |
/usr/share/why3/drivers/isabelle2016-1-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/isabelle2017-realize.drv
|
text/plain | root:root | 0o644 | 206 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/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/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/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/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.drv
|
text/plain | root:root | 0o644 | 183 bytes |
/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/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.gen
|
text/plain | root:root | 0o644 | 5.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.drv
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/why3/drivers/smt-libv2-floats.gen
|
text/plain | root:root | 0o644 | 3.1 KB |
/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.gen
|
text/plain | root:root | 0o644 | 910 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/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.drv
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/why3/drivers/yices-smt2.drv
|
text/plain | root:root | 0o644 | 865 bytes |
/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.drv
|
text/plain | root:root | 0o644 | 1.6 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/
|
root:root | 0o755 | ||
/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/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/why3/images/fatcow.rc
|
text/plain | root:root | 0o644 | 821 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/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/Makefile.config
|
text/plain | root:root | 0o644 | 347 bytes |
/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 |