jove (4.17.5.3-1) unstable; urgency=medium * New upstream release. + fixed documentation structure (removed workaround) -- Cord Beermann <email address hidden> Wed, 22 Mar 2023 20:12:32 +0100