Accepted: divine_0.8-4.diff.gz to pool/main/d/divine/divine_0.8-4.diff.gz divine_0.8-4.dsc to pool/main/d/divine/divine_0.8-4.dsc divine_0.8-4_amd64.deb to pool/main/d/divine/divine_0.8-4_amd64.deb Override entries for your package: divine_0.8-4.dsc - source admin divine_0.8-4_amd64.deb - optional admin Announcing to debian-devel-changes@lists.debian.org Closing bugs: 272393 387865 Thank you for your contribution to Debian.