diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-03 17:27:11 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-03 17:27:11 +0200 |
| commit | 7f4713547665e12e032501228a98586e5add48f7 (patch) | |
| tree | 24b7888cbbc24046ae15aa36b410e561db50721c /debian/apt-utils.install | |
| parent | ee8c790a660a817417267379bca1a26e7813dfde (diff) | |
add a tiny dump solver to quickly output a scenario
Diffstat (limited to 'debian/apt-utils.install')
| -rw-r--r-- | debian/apt-utils.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/apt-utils.install b/debian/apt-utils.install index d947f26d4..0c72bfdc8 100644 --- a/debian/apt-utils.install +++ b/debian/apt-utils.install @@ -1 +1,2 @@ bin/libapt-inst*.so.* usr/lib/ +bin/apt-dump-solver usr/lib/apt/solvers/dump |