coq-platform-comparison1
Compare with the coq platform
Usage
coq-platform-comparison
Overview
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/