---
name: "coq-platform-comparison"
section: "1"
platform: "linux"
package: "debian-coq-tools"
version: "0.14"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/coq-platform-comparison"
---

# coq-platform-comparison(1)

compare with the Coq Platform

## NAME

coq-platform-comparison - compare with the Coq Platform

## SYNOPSIS

**coq-platform-comparison**

## DESCRIPTION

**This script can be used to compare what Debian has with what the** **Coq Platform has and plan for updates.**

## EXAMPLES

**coq-platform-comparison \> coq\_platform.html** **scp coq\_platform.html people.debian.org:~/public\_html/**

## AUTHORS

**Julien Puydt \<jpuydt@debian.org\>**