[ubuntu/eoan-proposed] proofgeneral 4.4.1~pre170114-1.1ubuntu1 (Accepted)

[Steve Langasek]

proofgeneral (4.4.1~pre170114-1.1ubuntu1) eoan; urgency=medium

  * Build-depend on texlive-plain-generic instead of obsolete texlive-
    generic-recommended.

Date: Tue, 01 Oct 2019 14:38:55 -0700
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/proofgeneral/4.4.1~pre170114-1.1ubuntu1
-------------- next part --------------
Format: 1.8
Date: Tue, 01 Oct 2019 14:38:55 -0700
Source: proofgeneral
Architecture: source
Version: 4.4.1~pre170114-1.1ubuntu1
Distribution: eoan
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 proofgeneral (4.4.1~pre170114-1.1ubuntu1) eoan; urgency=medium
 .
   * Build-depend on texlive-plain-generic instead of obsolete texlive-
     generic-recommended.
Checksums-Sha1:
 a63245e2fd311d235f2d69ba592787be9407992e 2127 proofgeneral_4.4.1~pre170114-1.1ubuntu1.dsc
 86e8b64a5e400aa271f6fe9a3cb34094c30d4b54 19944 proofgeneral_4.4.1~pre170114-1.1ubuntu1.debian.tar.xz
 14935c10722de2e1768f74eb6dbccf58d7a573fe 9278 proofgeneral_4.4.1~pre170114-1.1ubuntu1_source.buildinfo
Checksums-Sha256:
 0cb43a9b5da921683c49180d68956c4f6e932e6fb3bc1a0ca9223e23d3a3a7b9 2127 proofgeneral_4.4.1~pre170114-1.1ubuntu1.dsc
 863d2ed5d13ff3b5b389b8da920c83d242e9fb23dd3401e83bd82694cad8b56b 19944 proofgeneral_4.4.1~pre170114-1.1ubuntu1.debian.tar.xz
 6aedf7d3f85177f51eb8f80cc21974509d6df29681c286cd818365ccc0fb8e5b 9278 proofgeneral_4.4.1~pre170114-1.1ubuntu1_source.buildinfo
Files:
 2f5e370597acdf242389775575e2ec5a 2127 editors optional proofgeneral_4.4.1~pre170114-1.1ubuntu1.dsc
 3ba6b0c0ad35c71a51a4d75040a25b1a 19944 editors optional proofgeneral_4.4.1~pre170114-1.1ubuntu1.debian.tar.xz
 bc6be4e2aafa3cf8d46e84af90750e44 9278 editors optional proofgeneral_4.4.1~pre170114-1.1ubuntu1_source.buildinfo
Original-Maintainer: Hendrik Tews <hendrik at askra.de>