frama-c-base 20151002+magnesium+dfsg-1build1 / usr / share / frama-c / wp

This file is indexed.

/usr/share/frama-c/wp/ is in frama-c-base 20151002+magnesium+dfsg-1build1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/frama-c/wp/coqwp/ root:root 0o755
/usr/share/frama-c/wp/coqwp/Bits.v text/plain root:root 0o644 41.5 KB
/usr/share/frama-c/wp/coqwp/BuiltIn.v text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/wp/coqwp/Cbits.v text/plain root:root 0o644 49.5 KB
/usr/share/frama-c/wp/coqwp/Cfloat.v text/plain root:root 0o644 4.9 KB
/usr/share/frama-c/wp/coqwp/Cint.v text/plain root:root 0o644 23.4 KB
/usr/share/frama-c/wp/coqwp/Cmath.v text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/wp/coqwp/Memory.v text/plain root:root 0o644 9.9 KB
/usr/share/frama-c/wp/coqwp/Qed.v text/plain root:root 0o644 7.7 KB
/usr/share/frama-c/wp/coqwp/Qedlib.v text/plain root:root 0o644 10.1 KB
/usr/share/frama-c/wp/coqwp/Vset.v text/plain root:root 0o644 5.1 KB
/usr/share/frama-c/wp/coqwp/Zbits.v text/plain root:root 0o644 68.6 KB
/usr/share/frama-c/wp/coqwp/bool/ root:root 0o755
/usr/share/frama-c/wp/coqwp/bool/Bool.v text/plain root:root 0o644 1.8 KB
/usr/share/frama-c/wp/coqwp/int/ root:root 0o755
/usr/share/frama-c/wp/coqwp/int/Abs.v text/plain root:root 0o644 1.5 KB
/usr/share/frama-c/wp/coqwp/int/ComputerDivision.v text/plain root:root 0o644 4.6 KB
/usr/share/frama-c/wp/coqwp/int/Int.v text/plain root:root 0o644 3.7 KB
/usr/share/frama-c/wp/coqwp/int/MinMax.v text/plain root:root 0o644 2.4 KB
/usr/share/frama-c/wp/coqwp/map/ root:root 0o755
/usr/share/frama-c/wp/coqwp/map/Map.v text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/wp/coqwp/real/ root:root 0o755
/usr/share/frama-c/wp/coqwp/real/Abs.v text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/wp/coqwp/real/FromInt.v text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/wp/coqwp/real/MinMax.v text/plain root:root 0o644 3.4 KB
/usr/share/frama-c/wp/coqwp/real/Real.v text/plain root:root 0o644 5.1 KB
/usr/share/frama-c/wp/coqwp/real/RealInfix.v text/plain root:root 0o644 863 bytes
/usr/share/frama-c/wp/coqwp/real/Square.v text/plain root:root 0o644 1.9 KB
/usr/share/frama-c/wp/ergo/ root:root 0o755
/usr/share/frama-c/wp/ergo/Cbits.mlw text/plain root:root 0o644 17.6 KB
/usr/share/frama-c/wp/ergo/Cfloat.mlw text/plain root:root 0o644 5.4 KB
/usr/share/frama-c/wp/ergo/Cint.mlw text/plain root:root 0o644 6.9 KB
/usr/share/frama-c/wp/ergo/Cmath.mlw text/plain root:root 0o644 2.4 KB
/usr/share/frama-c/wp/ergo/Memory.mlw text/plain root:root 0o644 7.2 KB
/usr/share/frama-c/wp/ergo/Qed.mlw text/plain root:root 0o644 6.1 KB
/usr/share/frama-c/wp/ergo/Vset.mlw text/plain root:root 0o644 5.4 KB
/usr/share/frama-c/wp/ergo/bool.Bool.mlw text/plain root:root 0o644 1.5 KB
/usr/share/frama-c/wp/ergo/int.Abs.mlw text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/wp/ergo/int.ComputerDivision.mlw text/plain root:root 0o644 2.4 KB
/usr/share/frama-c/wp/ergo/int.Int.mlw text/plain root:root 0o644 1.2 KB
/usr/share/frama-c/wp/ergo/int.MinMax.mlw text/plain root:root 0o644 2.1 KB
/usr/share/frama-c/wp/ergo/map.Map.mlw text/plain root:root 0o644 1.1 KB
/usr/share/frama-c/wp/ergo/real.Abs.mlw text/plain root:root 0o644 2.0 KB
/usr/share/frama-c/wp/ergo/real.FromInt.mlw text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/wp/ergo/real.MinMax.mlw text/plain root:root 0o644 2.2 KB
/usr/share/frama-c/wp/ergo/real.Real.mlw text/plain root:root 0o644 1.9 KB
/usr/share/frama-c/wp/ergo/real.RealInfix.mlw text/plain root:root 0o644 1.2 KB
/usr/share/frama-c/wp/ergo/real.Square.mlw text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/wp/why3/ root:root 0o755
/usr/share/frama-c/wp/why3/Bits.v text/plain root:root 0o644 41.5 KB
/usr/share/frama-c/wp/why3/Cbits.v text/plain root:root 0o644 49.5 KB
/usr/share/frama-c/wp/why3/Cbits.why text/plain root:root 0o644 15.2 KB
/usr/share/frama-c/wp/why3/Cfloat.v text/plain root:root 0o644 4.9 KB
/usr/share/frama-c/wp/why3/Cfloat.why text/plain root:root 0o644 5.0 KB
/usr/share/frama-c/wp/why3/Cint.v text/plain root:root 0o644 23.4 KB
/usr/share/frama-c/wp/why3/Cint.why text/plain root:root 0o644 6.0 KB
/usr/share/frama-c/wp/why3/Cmath.v text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/wp/why3/Cmath.why text/plain root:root 0o644 2.1 KB
/usr/share/frama-c/wp/why3/Memory.v text/plain root:root 0o644 9.9 KB
/usr/share/frama-c/wp/why3/Memory.why text/plain root:root 0o644 6.0 KB
/usr/share/frama-c/wp/why3/Qed.v text/plain root:root 0o644 7.7 KB
/usr/share/frama-c/wp/why3/Qed.why text/plain root:root 0o644 4.8 KB
/usr/share/frama-c/wp/why3/Qedlib.v text/plain root:root 0o644 10.1 KB
/usr/share/frama-c/wp/why3/Vset.v text/plain root:root 0o644 5.1 KB
/usr/share/frama-c/wp/why3/Vset.why text/plain root:root 0o644 3.7 KB
/usr/share/frama-c/wp/why3/Zbits.v text/plain root:root 0o644 68.6 KB
/usr/share/frama-c/wp/why3/coq.drv text/plain root:root 0o644 2.1 KB
/usr/share/frama-c/wp/why3/why3.conf text/x-lisp root:root 0o644 325 bytes
/usr/share/frama-c/wp/wp.driver text/plain root:root 0o644 4.8 KB

APT Browse - Built by Thomas Orozco.