| coq-platform-comparison(1) | General Commands Manual | coq-platform-comparison(1) |
coq-platform-comparison - compare with the Coq Platform
coq-platform-comparison
This script can be used to compare what Debian has with what the Coq Platform has and plan for updates.
coq-platform-comparison > coq_platform.html scp coq_platform.html people.debian.org:~/public_html/
Julien Puydt <jpuydt@debian.org>