coqide (8.20.1+dfsg-1build4)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://ports.ubuntu.com
Codename
stonking
Component
universe
Source
coq
Architecture
arm64
Section
universe/math
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
10.7 kB
Size expected
2.6 MB
Size actual
2.6 MB
Size match

Dependencies

Required package dependencies

  • coq (= 8.20.1+dfsg-1build4)
  • libc6 (>= 2.42)
  • libcairo2 (>= 1.12.0)
  • libfontconfig1 (>= 2.12.6)
  • libfreetype6 (>= 2.2.1)
  • libgdk-pixbuf-2.0-0 (>= 2.22.0)
  • libglib2.0-0t64 (>= 2.36.0)
  • libgtk-3-0t64 (>= 3.11.5)
  • libgtksourceview-3.0-1 (>= 2.91.4)
  • libpango-1.0-0 (>= 1.14.0)

Suggested packages

Recommended additional packages

  • None

Description

proof assistant for higher-order logic (gtk interface)

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5a1aed56e…a423d25d
SHA-12fce1c36…32481335
SHA-256d65a8ea0…358d8238
SHA-5120d07e240…07341ab4

Contents

Files and directories included

.
usr
usr/bin
usr/bin/coqide
usr/lib
usr/lib/aarch64-linux-gnu
usr/lib/aarch64-linux-gnu/ocaml
usr/lib/aarch64-linux-gnu/ocaml/5.4.0
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coqide
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coqide/META
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coqide/dune-package
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coqide/opam
usr/share
usr/share/applications
usr/share/applications/coqide.desktop
usr/share/coq
usr/share/coq/coq-ssreflect.lang
usr/share/coq/coq.lang
usr/share/coq/coq.png
usr/share/coq/coq_style.xml
usr/share/coq/default.bindings
usr/share/doc
usr/share/doc/coqide
usr/share/doc/coqide/FAQ
usr/share/doc/coqide/copyright
usr/share/man
usr/share/man/man1
usr/share/man/man1/coqide.1.gz
usr/share/pixmaps
usr/share/pixmaps/coqide.xpm
usr/share/doc/coqide/README.md.gz
usr/share/doc/coqide/changelog.Debian.gz
usr/share/man/man1/coqide.byte.1.gz
usr/share/man/man1/coqide.opt.1.gz