coqide 8.0pl3-2ubuntu1 (ia64 binary) in ubuntu feisty
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp4.
For more information, see <http://
.
This package provides CoqIde, a graphical user interface for
developing proofs.
Details
- Package version:
- 8.0pl3-2ubuntu1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Optional
Downloadable files
ia64 build of coq 8.0pl3-2ubuntu1 in ubuntu feisty RELEASE produced
these files:
- coqide_8.0pl3-2ubuntu1_ia64.deb (deleted)
Package relationships
- Depends on:
- coq (>= 8.0)
- libatk1.0-0 (>= 1.13.1)
- libc6.1 (>= 2.5-0ubuntu1)
- libcairo2 (>= 1.4.0)
- libfontconfig1 (>= 2.4.0)
- libglib2.0-0 (>= 2.12.9)
- libgtk2.0-0 (>= 2.10.3)
- libncurses5 (>= 5.4-5)
- libpango1.0-0 (>= 1.16.1)
- libx11-6
- libxcursor1 (>> 1.1.2)
- libxext6
- libxfixes3 (>= 1:4.0.1)
- libxi6
- libxinerama1
- libxrandr2 (>= 2:1.2.0)
- libxrender1
