coqide 8.1+dfsg-5 (sparc binary) in ubuntu gutsy
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.1+dfsg-5
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
sparc build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE produced
these files:
- coqide_8.1+dfsg-5_sparc.deb (deleted)
Package relationships
- Depends on:
- coq (>= 8.0)
- libatk1.0-0 (>= 1.13.2)
- libc6 (>= 2.5-5)
- 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.17.0)
- libx11-6
- libxcursor1 (>> 1.1.2)
- libxext6
- libxfixes3 (>= 1:4.0.1)
- libxi6
- libxinerama1
- libxrandr2 (>= 2:1.2.0)
- libxrender1