This package is 2.0 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/w/why3/why3-coq_0.88.3-1ubuntu4_amd64.deb
.
View its full control file here:
debian/control.
Coq support for the why3 verification platform
This package depends on:
coq, tex-common (>= 6), libcoq-ocaml-ywd98, libzip-ocaml-5t4j6, ocaml-base-nox-4.05.0, libc6 (>= 2.4), zlib1g (>= 1:1.1.4).
This package recommends:
why3.
This package does not suggest any other package.
This package does not conflict with any other package.
why3-coq 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 | 388 bytes |
postrm
|
text/x-shellscript | N/A | N/A | 959 bytes |
/usr/
|
root:root | 0o755 | ||
/usr/lib/
|
root:root | 0o755 | ||
/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/coq/
|
root:root | 0o755 | ||
/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/BuiltIn.vo
|
application/octet-stream | root:root | 0o644 | 34.4 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/HighOrd.vo
|
application/octet-stream | root:root | 0o644 | 27.7 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/HdTlNoOpt.vo
|
application/octet-stream | root:root | 0o644 | 28.9 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/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/NthHdTl.vo
|
application/octet-stream | root:root | 0o644 | 31.5 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/NthLength.vo
|
application/octet-stream | root:root | 0o644 | 36.4 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/Nth.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/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/Map.vo
|
application/octet-stream | root:root | 0o644 | 34.3 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/RealInfix.vo
|
application/octet-stream | root:root | 0o644 | 26.4 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/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 |
/usr/lib/x86_64-linux-gnu/why3/coq-tactic/
|
root:root | 0o755 | ||
/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/why3tac.cmxs
|
application/x-sharedlib | root:root | 0o644 | 7.3 MB |
/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/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/why3-coq/
|
root:root | 0o755 | ||
/usr/share/doc/why3-coq/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/doc/why3-coq/copyright
|
text/plain | root:root | 0o644 | 14.9 KB |