Collection of tools to find issues in package repositories and help manage Debian package integration.
OCaml JavaScript Coq TeX Makefile HTML Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Proofs
Talks/mini-DebConf-Paris-2014
man
migration-report
snapshots
viewer
.boring
.depend
.gitignore
BUGS.txt
CHANGES
COPYING
Makefile
README.md
TODO.txt Comigrate: changed age computation, following Britney updates May 13, 2014
api.ml
api.mli
bytearray.ml
bytearray.mli
bytearray_stubs.c
cache.ml
cache.mli
coinst.ml
coinst_common.ml
coinst_common.mli
coinst_json.ml
coinst_json.mli
common.ml
common.mli
conflicts.ml
cudf_lib.ml
cudf_lib.mli
deb_lib.ml
deb_lib.mli
debug.ml
debug.mli
file.ml
file.mli
graph.ml
graph.mli
horn.ml
horn.mli
layout.ml
layout.mli
ptset.ml
ptset.mli
quotient.ml
quotient.mli
repository.ml
repository.mli
rpm_lib.ml
rpm_lib.mli
solver.ml
solver.mli
task.ml
task.mli
task_stubs.c
transition.ml
update_data.ml
update_data.mli
upgrade.ml
upgrade.mli
upgrade_common.ml
upgrade_common.mli
upgrade_main.ml
util.ml
util.mli

README.md

coinst

Collection of tools to find issues in package repositories and help manage Debian package integration.

  • coinst creates a graph that show all conflicts between packages while being orders of magnitude smaller than the whole graph of dependency and conflicts;
  • coinst-upgrades finds set of packages that could be installed together in a previous version of a Debian repository and cannot be installed any longer;
  • comigrate is a tool designed to help manage the migration of packages from Debian unstable to testing.