Publishing details

Changelog

ipe-tools (1:7.2.20-1ubuntu1) jammy; urgency=medium

  * Cherry-pick patch to fix build with latest poppler

 -- Jeremy Bicha <email address hidden>  Fri, 04 Feb 2022 13:23:17 -0500

Available diffs

Builds

Built packages

Package files