/usr/lib/x86_64-linux-gnu/why3/coq/ is in why3-coq 0.88.3-1ubuntu4.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/x86_64-linux-gnu/why3/coq-tactic/Why3.glob
|
text/plain | root:root | 0o644 | 155 bytes |
/usr/lib/x86_64-linux-gnu/why3/coq-tactic/Why3.v
|
text/plain | root:root | 0o644 | 783 bytes |
/usr/lib/x86_64-linux-gnu/why3/coq-tactic/Why3.vo
|
application/octet-stream | root:root | 0o644 | 31.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq-tactic/why3tac.cmxs
|
application/x-sharedlib | root:root | 0o644 | 7.3 MB |
/usr/lib/x86_64-linux-gnu/why3/coq/BuiltIn.vo
|
application/octet-stream | root:root | 0o644 | 34.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/HighOrd.vo
|
application/octet-stream | root:root | 0o644 | 27.7 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/bool/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/bool/Bool.vo
|
application/octet-stream | root:root | 0o644 | 28.2 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/bv/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/bv/BV_Gen.vo
|
application/octet-stream | root:root | 0o644 | 320.6 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/bv/Pow2int.vo
|
application/octet-stream | root:root | 0o644 | 65.9 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/int/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/int/Abs.vo
|
application/octet-stream | root:root | 0o644 | 35.3 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/int/ComputerDivision.vo
|
application/octet-stream | root:root | 0o644 | 66.0 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/int/Div2.vo
|
application/octet-stream | root:root | 0o644 | 32.8 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/int/EuclideanDivision.vo
|
application/octet-stream | root:root | 0o644 | 81.0 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/int/Exponentiation.vo
|
application/octet-stream | root:root | 0o644 | 38.6 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/int/Int.vo
|
application/octet-stream | root:root | 0o644 | 33.3 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/int/MinMax.vo
|
application/octet-stream | root:root | 0o644 | 30.6 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/int/NumOf.vo
|
application/octet-stream | root:root | 0o644 | 95.7 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/int/Power.vo
|
application/octet-stream | root:root | 0o644 | 37.9 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/list/Append.vo
|
application/octet-stream | root:root | 0o644 | 32.9 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/Combine.vo
|
application/octet-stream | root:root | 0o644 | 28.5 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/Distinct.vo
|
application/octet-stream | root:root | 0o644 | 33.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/HdTl.vo
|
application/octet-stream | root:root | 0o644 | 28.0 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/HdTlNoOpt.vo
|
application/octet-stream | root:root | 0o644 | 28.9 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/Length.vo
|
application/octet-stream | root:root | 0o644 | 32.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/List.vo
|
application/octet-stream | root:root | 0o644 | 29.2 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/Mem.vo
|
application/octet-stream | root:root | 0o644 | 29.2 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/Nth.vo
|
application/octet-stream | root:root | 0o644 | 30.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/NthHdTl.vo
|
application/octet-stream | root:root | 0o644 | 31.5 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/NthLength.vo
|
application/octet-stream | root:root | 0o644 | 36.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/NthLengthAppend.vo
|
application/octet-stream | root:root | 0o644 | 35.3 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/NthNoOpt.vo
|
application/octet-stream | root:root | 0o644 | 30.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/NumOcc.vo
|
application/octet-stream | root:root | 0o644 | 39.8 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/Permut.vo
|
application/octet-stream | root:root | 0o644 | 47.2 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/RevAppend.vo
|
application/octet-stream | root:root | 0o644 | 33.0 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/list/Reverse.vo
|
application/octet-stream | root:root | 0o644 | 33.7 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/map/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/map/Const.vo
|
application/octet-stream | root:root | 0o644 | 28.2 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/map/Map.vo
|
application/octet-stream | root:root | 0o644 | 34.3 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/map/MapInjection.vo
|
application/octet-stream | root:root | 0o644 | 217.9 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/map/MapPermut.vo
|
application/octet-stream | root:root | 0o644 | 30.8 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/map/Occ.vo
|
application/octet-stream | root:root | 0o644 | 115.3 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/number/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/number/Coprime.vo
|
application/octet-stream | root:root | 0o644 | 33.8 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/number/Divisibility.vo
|
application/octet-stream | root:root | 0o644 | 39.2 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/number/Gcd.vo
|
application/octet-stream | root:root | 0o644 | 35.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/number/Parity.vo
|
application/octet-stream | root:root | 0o644 | 32.6 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/number/Prime.vo
|
application/octet-stream | root:root | 0o644 | 46.8 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/option/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/option/Option.vo
|
application/octet-stream | root:root | 0o644 | 28.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/real/Abs.vo
|
application/octet-stream | root:root | 0o644 | 31.2 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/ExpLog.vo
|
application/octet-stream | root:root | 0o644 | 33.2 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/FromInt.vo
|
application/octet-stream | root:root | 0o644 | 28.7 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/MinMax.vo
|
application/octet-stream | root:root | 0o644 | 30.8 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/PowerInt.vo
|
application/octet-stream | root:root | 0o644 | 39.6 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/PowerReal.vo
|
application/octet-stream | root:root | 0o644 | 36.6 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/Real.vo
|
application/octet-stream | root:root | 0o644 | 40.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/RealInfix.vo
|
application/octet-stream | root:root | 0o644 | 26.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/Square.vo
|
application/octet-stream | root:root | 0o644 | 31.0 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/real/Trigonometry.vo
|
application/octet-stream | root:root | 0o644 | 43.1 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/seq/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/seq/Seq.vo
|
application/octet-stream | root:root | 0o644 | 72.4 KB |
/usr/lib/x86_64-linux-gnu/why3/coq/set/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/coq/set/Set.vo
|
application/octet-stream | root:root | 0o644 | 49.2 KB |