The following commit has been merged in the master branch:
commit fc978891dcdf7675faff62ff10e3f10838a5fc2e
Author: Ralf Treinen <trei...@debian.org>
Date: Thu Jan 19 14:18:48 2012 +0100
give some more explanation of the kernel and equivalence
diff --git a/debian/manpages/coinst.1 b/debian/manpages/coinst.1
index 6ac85c7..f21b1ff 100644
--- a/debian/manpages/coinst.1
+++ b/debian/manpages/coinst.1
@@ -4,7 +4,7 @@
Coinst \- computes the co-installability kernel of a package repostory
.SH SYNOPSIS
-.B coinst [options] < file
+.B coinst [options]
.SH DESCRIPTION
.B coinst
@@ -34,11 +34,20 @@ 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
+dropping all relations that are not relevant for this purpose. For instance,
+dependencies that do not lead directly or indirectly to any conflicts are
+dropped.
.IP "\-" 2
-identifying all packages that behave the same.
+identifying all packages that behave the same. For instance, packages that are
+not in conflict with any other package (even not through dependency chains)
+behave the same since they are co-installable with any other installable
+package, and packages that are not installable at all behave the same
+since they are co-installable with no package.
.RE
+A more precise explanation can be found in the original research article
+underlying this tool.
+
The kernel
is typically orders of magnitude smaller than the original repository.
@@ -63,13 +72,13 @@ write the graph to \fIfile\fR instead of graph.dot
.B \-all
include all packages in the coinstallability graph
.TP
-.B \-root
-draw only the relevant portion of the graph around this package
+.B \-root \fIp\fR
+draw only the relevant portion of the graph around package \fIp\fR.
.SS Options controlling the diagnostic output
.TP
.B \-explain
-explain the list of non-installable packages of pairs of not co-installable
+explain the list of non-installable pairs of not co-installable
packages.
.TP
.B \-stats
@@ -85,8 +94,6 @@ 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 dot (1), coinst_viewer (1)
.br
.I http://coinst.irill.org
-
-
--
coinst packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
