why3 (1.8.2-3)
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-rolling
- Repository
- https://http.kali.org/kali
- Codename
- kali-rolling
- Component
- main
- Source
- none
- Architecture
- i386
- Section
- math
- Priority
- optional
- Maintainer
- Debian OCaml Maintainers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 84.7 kB
- Size expected
- 22 MB
- Size actual
- 22 MB
- Size match
Dependencies
Required package dependencies
Description
Software verification platform
Tags
Package classification tags
uitoolkit::gtk
uitoolkit::ncurses
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | f08f01a3…772b14c5 | |
| SHA-1 | e4ffdfd2…fca08a7e | |
| SHA-256 | ce2e9321…27480a18 | |
| SHA-512 | 43fddab1…06c1a244 |
Contents
Files and directories included
. etc etc/emacs etc/emacs/site-start.d etc/emacs/site-start.d/50why3.el usr usr/bin usr/bin/isabelle_client usr/bin/why3 usr/lib usr/lib/emacsen-common usr/lib/emacsen-common/packages usr/lib/emacsen-common/packages/compat usr/lib/emacsen-common/packages/compat/why3 usr/lib/emacsen-common/packages/install usr/lib/emacsen-common/packages/install/why3 usr/lib/emacsen-common/packages/remove usr/lib/emacsen-common/packages/remove/why3 usr/lib/i386-linux-gnu usr/lib/i386-linux-gnu/ocaml usr/lib/i386-linux-gnu/ocaml/5.4.0 usr/lib/i386-linux-gnu/ocaml/5.4.0/why3 usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3bench.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3config.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3doc.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3execute.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3extract.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3ide.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3pp.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3prove.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3realize.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3replay.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3session.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3shell.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3show.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3wc.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/commands/why3webserver.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins/cfg.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins/coma.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins/dimacs.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins/forward_propagation.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins/genequlin.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins/hypothesis_selection.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins/microc.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins/python.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/plugins/tptp.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/why3-call-pvs usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/why3cpulimit usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/why3server usr/lib/ocaml usr/share usr/share/bash-completion usr/share/bash-completion/completions usr/share/bash-completion/completions/why3 usr/share/doc usr/share/doc/why3 usr/share/doc/why3/TODO.Debian usr/share/doc/why3/changelog.Debian.gz usr/share/doc/why3/changelog.gz usr/share/doc/why3/copyright usr/share/emacs usr/share/emacs/site-lisp usr/share/emacs/site-lisp/why3.el usr/share/man usr/share/man/man1 usr/share/man/man1/why3.1.gz usr/share/texmf usr/share/texmf/tex usr/share/texmf/tex/latex usr/share/texmf/tex/latex/misc usr/share/texmf/tex/latex/misc/why3lang.sty usr/share/why3 usr/share/why3/Makefile.config usr/share/why3/drivers usr/share/why3/drivers/alt_ergo.drv usr/share/why3/drivers/alt_ergo_26.drv usr/share/why3/drivers/alt_ergo_26_bv.drv usr/share/why3/drivers/alt_ergo_26_ce.drv usr/share/why3/drivers/alt_ergo_2_2_0.drv usr/share/why3/drivers/alt_ergo_2_3.drv usr/share/why3/drivers/alt_ergo_common.drv usr/share/why3/drivers/alt_ergo_counterexamples.drv usr/share/why3/drivers/alt_ergo_fp.drv usr/share/why3/drivers/alt_ergo_model.drv usr/share/why3/drivers/alt_ergo_smt.drv usr/share/why3/drivers/beagle.drv usr/share/why3/drivers/colibri.drv usr/share/why3/drivers/colibri2.drv usr/share/why3/drivers/common-transformations.gen usr/share/why3/drivers/coq-common.gen usr/share/why3/drivers/coq-realizations.aux usr/share/why3/drivers/coq-realize.drv usr/share/why3/drivers/coq-ssreflect.drv usr/share/why3/drivers/coq.drv usr/share/why3/drivers/cvc3.drv usr/share/why3/drivers/cvc4-realize.drv usr/share/why3/drivers/cvc4.drv usr/share/why3/drivers/cvc4_14.drv usr/share/why3/drivers/cvc4_15.drv usr/share/why3/drivers/cvc4_15_counterexample.drv usr/share/why3/drivers/cvc4_16.drv usr/share/why3/drivers/cvc4_16.gen usr/share/why3/drivers/cvc4_16_counterexample.drv usr/share/why3/drivers/cvc4_17.drv usr/share/why3/drivers/cvc4_17_counterexample.drv usr/share/why3/drivers/cvc4_18_strings.drv usr/share/why3/drivers/cvc4_18_strings_counterexample.drv usr/share/why3/drivers/cvc4_bv.gen usr/share/why3/drivers/cvc5.drv usr/share/why3/drivers/cvc5_counterexample.drv usr/share/why3/drivers/cvc5_strings.drv usr/share/why3/drivers/cvc5_strings_counterexample.drv usr/share/why3/drivers/discrimination.gen usr/share/why3/drivers/dreal.drv usr/share/why3/drivers/eprover.drv usr/share/why3/drivers/gappa.drv usr/share/why3/drivers/iprover.drv usr/share/why3/drivers/isabelle-common.gen usr/share/why3/drivers/isabelle-realizations.aux usr/share/why3/drivers/isabelle-realize.drv usr/share/why3/drivers/isabelle.drv usr/share/why3/drivers/mathematica.drv usr/share/why3/drivers/mathsat.drv usr/share/why3/drivers/metis.drv usr/share/why3/drivers/metitarski.drv usr/share/why3/drivers/no-bv.gen usr/share/why3/drivers/polypaver.drv usr/share/why3/drivers/princess.drv usr/share/why3/drivers/psyche.drv usr/share/why3/drivers/pvs-common.gen usr/share/why3/drivers/pvs-realizations.aux usr/share/why3/drivers/pvs-realize.drv usr/share/why3/drivers/pvs.drv usr/share/why3/drivers/safeprover.drv usr/share/why3/drivers/simplify.drv usr/share/why3/drivers/smt-libv2-bv-realization.gen usr/share/why3/drivers/smt-libv2-bv.gen usr/share/why3/drivers/smt-libv2-floats.gen usr/share/why3/drivers/smt-libv2.gen usr/share/why3/drivers/smtlib-strings.gen usr/share/why3/drivers/spass.drv usr/share/why3/drivers/spass_types.drv usr/share/why3/drivers/tptp-tff0.drv usr/share/why3/drivers/tptp-tff1.drv usr/share/why3/drivers/tptp.gen usr/share/why3/drivers/vampire.drv usr/share/why3/drivers/vampire_4_2_2.drv usr/share/why3/drivers/vampire_4_5_1.drv usr/share/why3/drivers/verit.drv usr/share/why3/drivers/why3.drv usr/share/why3/drivers/why3_smt.drv usr/share/why3/drivers/why3_tptp.drv usr/share/why3/drivers/yices-smt2.drv usr/share/why3/drivers/yices.drv usr/share/why3/drivers/z3.drv usr/share/why3/drivers/z3_432.drv usr/share/why3/drivers/z3_440.drv usr/share/why3/drivers/z3_440_counterexample.drv usr/share/why3/drivers/z3_471.drv usr/share/why3/drivers/z3_471_counterexample.drv usr/share/why3/drivers/z3_471_nobv.drv usr/share/why3/drivers/z3_487.drv usr/share/why3/drivers/z3_487_counterexample.drv usr/share/why3/drivers/z3_bv.gen usr/share/why3/drivers/z3_smtv1.drv usr/share/why3/drivers/zenon.drv usr/share/why3/drivers/zenon_modulo.drv usr/share/why3/extraction_drivers usr/share/why3/extraction_drivers/c.drv usr/share/why3/extraction_drivers/cakeml.drv usr/share/why3/extraction_drivers/java.drv usr/share/why3/extraction_drivers/ocaml64.drv usr/share/why3/images usr/share/why3/images/fatcow usr/share/why3/images/fatcow/accept.png usr/share/why3/images/fatcow/bin.png usr/share/why3/images/fatcow/bomb.png usr/share/why3/images/fatcow/brick_delete.png usr/share/why3/images/fatcow/bullet_black.png usr/share/why3/images/fatcow/bullet_blue.png usr/share/why3/images/fatcow/bullet_green.png usr/share/why3/images/fatcow/bullet_red.png usr/share/why3/images/fatcow/bullet_white.png usr/share/why3/images/fatcow/cancel.png usr/share/why3/images/fatcow/control_pause_blue.png usr/share/why3/images/fatcow/control_play_blue.png usr/share/why3/images/fatcow/database_delete.png usr/share/why3/images/fatcow/ddr_memory.png usr/share/why3/images/fatcow/delete.png usr/share/why3/images/fatcow/exclamation.png usr/share/why3/images/fatcow/folder.png usr/share/why3/images/fatcow/help.png usr/share/why3/images/fatcow/magic_wand_2.png usr/share/why3/images/fatcow/multitool.png usr/share/why3/images/fatcow/package.png usr/share/why3/images/fatcow/pencil.png usr/share/why3/images/fatcow/readme-fatcow.txt usr/share/why3/images/fatcow/script.png usr/share/why3/images/fatcow/time_delete.png usr/share/why3/images/fatcow/timeline.png usr/share/why3/images/fatcow/update.png usr/share/why3/images/fatcow.rc usr/share/why3/images/logo-why.png usr/share/why3/lang usr/share/why3/lang/coma.lang usr/share/why3/lang/why3.lang usr/share/why3/lang/why3c.lang usr/share/why3/lang/why3py.lang usr/share/why3/provers-detection-data.conf usr/share/why3/stdlib usr/share/why3/stdlib/algebra.mlw usr/share/why3/stdlib/array.mlw usr/share/why3/stdlib/bag.mlw usr/share/why3/stdlib/bintree.mlw usr/share/why3/stdlib/bool.mlw usr/share/why3/stdlib/bv.mlw usr/share/why3/stdlib/byte_string.mlw usr/share/why3/stdlib/cursor.mlw usr/share/why3/stdlib/debug.mlw usr/share/why3/stdlib/exn.mlw usr/share/why3/stdlib/floating_point.mlw usr/share/why3/stdlib/fmap.mlw usr/share/why3/stdlib/for_drivers.mlw usr/share/why3/stdlib/function.mlw usr/share/why3/stdlib/graph.mlw usr/share/why3/stdlib/hashtbl.mlw usr/share/why3/stdlib/ieee_float.mlw usr/share/why3/stdlib/int.mlw usr/share/why3/stdlib/io.mlw usr/share/why3/stdlib/list.mlw usr/share/why3/stdlib/mach usr/share/why3/stdlib/mach/array.mlw usr/share/why3/stdlib/mach/bv.mlw usr/share/why3/stdlib/mach/c.mlw usr/share/why3/stdlib/mach/float.mlw usr/share/why3/stdlib/mach/fxp.mlw usr/share/why3/stdlib/mach/int.mlw usr/share/why3/stdlib/mach/java usr/share/why3/stdlib/mach/java/io.mlw usr/share/why3/stdlib/mach/java/lang.mlw usr/share/why3/stdlib/mach/java/util.mlw usr/share/why3/stdlib/mach/list.mlw usr/share/why3/stdlib/mach/matrix.mlw usr/share/why3/stdlib/mach/onetime.mlw usr/share/why3/stdlib/mach/peano.mlw usr/share/why3/stdlib/mach/tagset.mlw usr/share/why3/stdlib/map.mlw usr/share/why3/stdlib/matrix.mlw usr/share/why3/stdlib/microc.mlw usr/share/why3/stdlib/number.mlw usr/share/why3/stdlib/ocaml.mlw usr/share/why3/stdlib/option.mlw usr/share/why3/stdlib/pigeon.mlw usr/share/why3/stdlib/pqueue.mlw usr/share/why3/stdlib/python.mlw usr/share/why3/stdlib/queue.mlw usr/share/why3/stdlib/random.mlw usr/share/why3/stdlib/real.mlw usr/share/why3/stdlib/ref.mlw usr/share/why3/stdlib/regexp.mlw usr/share/why3/stdlib/relations.mlw usr/share/why3/stdlib/seq.mlw usr/share/why3/stdlib/set.mlw usr/share/why3/stdlib/stack.mlw usr/share/why3/stdlib/string.mlw usr/share/why3/stdlib/tptp.mlw usr/share/why3/stdlib/tree.mlw usr/share/why3/stdlib/ufloat.mlw usr/share/why3/stdlib/witness.mlw usr/share/why3/vim usr/share/why3/vim/ftdetect usr/share/why3/vim/ftdetect/why3.vim usr/share/why3/vim/syntax usr/share/why3/vim/syntax/why3.vim usr/share/why3/why3session.dtd usr/lib/ocaml/why3