[Pkg-ocaml-maint-commits] r2781 - in /trunk/packages/edos-debcheck/trunk/debian: changelog edos-debcheck.1 edos-rpmcheck.1

[treinen at users.alioth.debian.org]

Author: treinen
Date: Mon May 22 20:49:04 2006
New Revision: 2781

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2781
Log:
edos-debcheck first release into ustable

Modified:
    trunk/packages/edos-debcheck/trunk/debian/changelog
    trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1
    trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1

Modified: trunk/packages/edos-debcheck/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/changelog?rev=2781&op=diff
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/changelog (original)
+++ trunk/packages/edos-debcheck/trunk/debian/changelog Mon May 22 20:49:04 2006
@@ -1,7 +1,7 @@
-edos-debcheck (0.0.2006.03.19-1) experimental; urgency=low
+edos-debcheck (0.0.2006.03.19-1) unstable; urgency=low
 
-  * Initial Release.
+  * Initial Release (closes: Bug#365087).
 
- -- Ralf Treinen <treinen at debian.org>  Sat, 20 May 2006 08:56:26 +0200
+ -- Ralf Treinen <treinen at debian.org>  Mon, 22 May 2006 22:47:52 +0200
 
 

Modified: trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1?rev=2781&op=diff
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1 (original)
+++ trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1 Mon May 22 20:49:04 2006
@@ -33,10 +33,12 @@
 (for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument
 then all packages of the input set are checked for satisfiability.
 
-The constraint solving algorithm is complete, that is it finds a solution
-whenever there exists on, even for multiple disjunctive dependencies and deep
-package conflicts. This problem is computationally infeasible in theory (that
-is, NP-complete), but can in practice be solved very efficiently.
+The constraint solving algorithm is complete, that is it finds a
+solution whenever there exists one, even for multiple disjunctive
+dependencies and deep package conflicts. This problem is
+computationally infeasible in theory (that is, NP-complete), but can
+in practice be solved very efficiently for Packages files occuring
+actually in debian.
 
 .SH OPTIONS
 .TP

Modified: trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1?rev=2781&op=diff
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1 (original)
+++ trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1 Mon May 22 20:49:04 2006
@@ -9,7 +9,10 @@
 .SH DESCRIPTION
 .B edos-rpmcheck
 reads from standard input a set of rpm package descriptions. Packages may
-appear with multiple versions in this set. We say that a package is identified
+appear with multiple versions in this set. For instance, an uncompressed
+\fIhdlist.cz\fR is suitable as input.
+
+We say that a package is identified
 in this set by the pair consisting of the
 .I package name
 and of the
@@ -30,7 +33,7 @@
 then all packages of the input set are checked for satisfiability.
 
 The constraint solving algorithm is complete, that is it finds a solution
-whenever there exists on, even for multiple disjunctive dependencies and deep
+whenever there exists one, even for multiple disjunctive dependencies and deep
 package conflicts. This problem is computationally infeasible in theory (that
 is, NP-complete), but can in practice be solved very efficiently.
 
@@ -57,14 +60,14 @@
 .SH EXAMPLE
 Check which packages in a particular distribution are not installable and why:
 
-  edos-rpmcheck -failures -explain < Packages
+  gunzip -c hdlist.cz | edos-rpmcheck -failures -explain
 
-where Packages is the file pertaining to that distribution.
+where hdlist.cz is the file pertaining to that distribution.
 
 Check whether version 21.4.17-1 of the xemacs21 package is installable in a
 distribution described by the file Packages:
 
-  edos-rpmcheck -explain xemacs=21.4.17-1 < Packages
+  gunzip -c hdlist.cz | edos-rpmcheck -explain xemacs=21.4.17-1
 
 
 .SH AUTHOR