[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-34-g7e2cd52

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 09226b74f76f0aaf7617e54f846a4c47585049ad
Author: Ralf Treinen <treinen at debian.org>
Date:   Mon Jan 16 11:37:01 2012 +0100

    complete first versin of a manpage

diff --git a/debian/manpages/coinst.1 b/debian/manpages/coinst.1
new file mode 100644
index 0000000..6ac85c7
--- /dev/null
+++ b/debian/manpages/coinst.1
@@ -0,0 +1,92 @@
+.TH COINST 1
+
+.SH NAME
+Coinst \- computes the co-installability kernel of a package repostory
+
+.SH SYNOPSIS
+.B coinst [options] < file
+
+.SH DESCRIPTION
+.B coinst
+reads a package repository in debian format or RPM format
+from standard input, and computes the co-installability kernel of the
+repository (see below). The graph of the kernel is written in dot 
+format to a file, and a diagnostic is written to standard output. This
+diagnostic consists by default of:
+.RS 2
+.IP "\-" 2
+the list of equivalence classes of packages
+.IP "\-" 2
+the list of non-installable packages
+.IP "\-" 2
+the list of not co-installable pairs of packages
+.RE
+
+.SH CO-INSTALLABILITY KERNELS
+A set of packages is called co-installable if it can be extended to a
+set that satisfies all inter-package relations (dependencies,
+conflicts, etc.). In particular, a package p is installable if the set
+{p} consisting of p only is co-installable.
+
+This tool reduces a repository to a much smaller
+one, its so-called co-installability kernel, that behaves exactly the
+same as far as co-installability of package is concerned. This is
+achieved by
+.RS 2
+.IP "\-" 2
+dropping all relations that are not relevant for this purpose
+.IP "\-" 2
+identifying all packages that behave the same.
+.RE
+
+The kernel
+is typically orders of magnitude smaller than the original repository.
+
+.SH OPTIONS
+
+.SS Options controlling the input
+.TP
+.B \-deb
+expect input in the format of a debian Packages file (default).
+.TP
+.B \-rpm
+expect input in the format of an RPM hdlist.cz file.
+.TP
+.B \-ignore \fIpackage\fB
+ignore the package named \fIpackage\fR.
+
+.SS Options controlling the graph output
+.TP
+.B \-o \fIfile\fB
+write the graph to \fIfile\fR instead of graph.dot
+.TP
+.B \-all
+include all packages in the coinstallability graph
+.TP
+.B \-root
+draw only the relevant portion of the graph around this package
+
+.SS Options controlling the diagnostic output
+.TP
+.B \-explain
+explain the list of non-installable packages of pairs of not co-installable
+packages.
+.TP
+.B \-stats
+Show statistics regarding the input and output repositories
+
+.SS Miscellaneous options
+.TP
+.B \-help, \-\-help
+show command synopsis
+
+.SH AUTHOR
+Coinst has been written by Jérome Vouillôn.  This manpage has been
+compiled by Ralf Treinen from the original coinst documentation.
+
+.SH SEE ALSO
+.BR dot (1), coinst_viewer (1), coinst_viewer (1)
+.br
+.I http://coinst.irill.org
+
+

-- 
coinst packaging