coq-theories_8.6-5_amd64.deb


Advertisement

Description

coq-theories - proof assistant for higher-order logic (theories)

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: coq-theories
Package version: 8.6
Package release: 5
Package architecture: amd64
Package type: deb
Installed size: 230.60 KB
Download size: 31.88 MB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

Replaces

  • coq-libs << 8.2.pl1

    Download

    Source package: coq

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install coq-theories deb package:
      # sudo apt-get install coq-theories

    Changelog

    See coq_8.6-5_amd64.deb changelog.
    Advertisement
    Advertisement