coq-platform-comparison - compare with the Coq Platform

Contents

Authors

       Julien Puydt <jpuydt@debian.org>

                                                                                      coq-platform-comparison(1)

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/

Name

       coq-platform-comparison - compare with the Coq Platform

Synopsis

coq-platform-comparison

See Also

Man Pages

Man Pages

MARC::Spec::Comparisonstring

Man Pages

MCP

Payload-code-guardian

Man Pages

Man Pages

Man Pages

Eight Spoked Asterisk

← View User commands Category ← Back to File management 🙏 Credits & Acknowledgments