[ubuntu/focal-proposed] proofgeneral 4.4.1~pre170114-1.2 (Accepted)

[Gianfranco Costamagna]

proofgeneral (4.4.1~pre170114-1.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Build-depend on texlive-plain-generic instead of
    texlive-generic-recommended. Thanks to Steve Langasek for
    patch. (Closes: #941544)

Date: 2019-12-19 16:40:24.178973+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/proofgeneral/4.4.1~pre170114-1.2
-------------- next part --------------
Sorry, changesfile not available.