add dlvhex-2.4.0 package definitions (not tested)