vouillon/coinst

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

stars

328

commits

OCaml

primary language

Aug 18, 2020

updated

README

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.

Contributors

vouillon

295 commits

mehdid

31 commits

rdicosmo

2 commits

Similar repos

HoTT/coq

Coq is a formal proof management system. It provides a formal language to write mathematical…

similar language mix

ejgallego/coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

136

similar language mix

rocq-archive/coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

136

similar language mix

jplatte/cargo-depgraph

Creates graphviz dependency graphs for Rust projects that use Cargo

223

atlassian/changesets

🦋 A tool to manage versioning and changelogs with a focus on monorepos

12,384

Noviny/changesets

🦋 A tool to manage versioning and changelogs with a focus on monorepos

12,382

lbr38/repomanager

A web UI to mirror rpm and deb repositories.

140

pypa/packaging-problems

An issue tracker for the problems in packaging

190

Languages

OCaml

50.9%

JavaScript

39.0%

Coq

8.0%

TeX

1.1%

vouillon/coinst

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

stars

328

commits

OCaml

primary language

Aug 18, 2020

updated

README

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.

Similar repos

HoTT/coq

Coq is a formal proof management system. It provides a formal language to write mathematical…

similar language mix

ejgallego/coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

136

similar language mix

rocq-archive/coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

136

similar language mix

jplatte/cargo-depgraph

Creates graphviz dependency graphs for Rust projects that use Cargo

223

atlassian/changesets

🦋 A tool to manage versioning and changelogs with a focus on monorepos

12,384

Noviny/changesets

🦋 A tool to manage versioning and changelogs with a focus on monorepos

12,382

lbr38/repomanager

A web UI to mirror rpm and deb repositories.

140

pypa/packaging-problems

An issue tracker for the problems in packaging

190

Contributors

vouillon

295 commits

mehdid

31 commits

rdicosmo

2 commits

Languages

OCaml

50.9%

JavaScript

39.0%

Coq

8.0%

TeX

1.1%