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.

Name		Name	Last commit message	Last commit date
Latest commit History 306 Commits
Proofs		Proofs
Talks/mini-DebConf-Paris-2014		Talks/mini-DebConf-Paris-2014
man		man
migration-report		migration-report
snapshots		snapshots
viewer		viewer
.boring		.boring
.depend		.depend
.gitignore		.gitignore
BUGS.txt		BUGS.txt
CHANGES		CHANGES
COPYING		COPYING
Makefile		Makefile
README.md		README.md
TODO.txt		TODO.txt
api.ml		api.ml
api.mli		api.mli
bytearray.ml		bytearray.ml
bytearray.mli		bytearray.mli
bytearray_stubs.c		bytearray_stubs.c
cache.ml		cache.ml
cache.mli		cache.mli
coinst.ml		coinst.ml
coinst_common.ml		coinst_common.ml
coinst_common.mli		coinst_common.mli
coinst_json.ml		coinst_json.ml
coinst_json.mli		coinst_json.mli
common.ml		common.ml
common.mli		common.mli
conflicts.ml		conflicts.ml
cudf_lib.ml		cudf_lib.ml
cudf_lib.mli		cudf_lib.mli
deb_lib.ml		deb_lib.ml
deb_lib.mli		deb_lib.mli
debug.ml		debug.ml
debug.mli		debug.mli
file.ml		file.ml
file.mli		file.mli
graph.ml		graph.ml
graph.mli		graph.mli
horn.ml		horn.ml
horn.mli		horn.mli
layout.ml		layout.ml
layout.mli		layout.mli
ptset.ml		ptset.ml
ptset.mli		ptset.mli
quotient.ml		quotient.ml
quotient.mli		quotient.mli
repository.ml		repository.ml
repository.mli		repository.mli
rpm_lib.ml		rpm_lib.ml
rpm_lib.mli		rpm_lib.mli
solver.ml		solver.ml
solver.mli		solver.mli
task.ml		task.ml
task.mli		task.mli
task_stubs.c		task_stubs.c
transition.ml		transition.ml
update_data.ml		update_data.ml
update_data.mli		update_data.mli
upgrade.ml		upgrade.ml
upgrade.mli		upgrade.mli
upgrade_common.ml		upgrade_common.ml
upgrade_common.mli		upgrade_common.mli
upgrade_main.ml		upgrade_main.ml
util.ml		util.ml
util.mli		util.mli

rdicosmo/coinst