- demo2: the famous 'package recompilation' example. Basically, it checks
  whether a new way of generating dependencies does not result in loss of
	installability

- demo3: find the packages that have both Provides: X and Conflicts: X (which
  results in a special Debian syntax case)
