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

[Gianfranco Costamagna]

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

  * Non-maintainer upload
  * Switch to unversioned emacs-gtk package (Closes: #880285)

Date: Thu, 25 Jul 2019 10:15:05 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Hendrik Tews <hendrik at askra.de>
https://launchpad.net/ubuntu/+source/proofgeneral/4.4.1~pre170114-1.1~build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 25 Jul 2019 10:15:05 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source
Version: 4.4.1~pre170114-1.1~build1
Distribution: eoan
Urgency: medium
Maintainer: Hendrik Tews <hendrik at askra.de>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 proofgeneral - generic frontend for proof assistants
 proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 880285
Changes:
 proofgeneral (4.4.1~pre170114-1.1~build1) eoan; urgency=medium
 .
   * Non-maintainer upload
   * Switch to unversioned emacs-gtk package (Closes: #880285)
Checksums-Sha1:
 0e9e101e803cb5e7c8d9eed124833411e5249dac 2017 proofgeneral_4.4.1~pre170114-1.1~build1.dsc
 5145387c01d41b29e73ba2a8c72805becfee37fb 19816 proofgeneral_4.4.1~pre170114-1.1~build1.debian.tar.xz
 278a5c293a5ec172498a1ad9d23ba24d933b5934 10284 proofgeneral_4.4.1~pre170114-1.1~build1_source.buildinfo
Checksums-Sha256:
 5e79e51be0ad9fff559daf6d3b01b6f33356fea9c26c66658aeb3b926cd144c2 2017 proofgeneral_4.4.1~pre170114-1.1~build1.dsc
 acfbd07a09c946c3afde170c8a929bd044e7789bff86c74edc7fd712ab120079 19816 proofgeneral_4.4.1~pre170114-1.1~build1.debian.tar.xz
 ff366ef4ba74d6b10e05429b360694e47393f507811cd5158407bcf9eb89c5b0 10284 proofgeneral_4.4.1~pre170114-1.1~build1_source.buildinfo
Files:
 8e628570c0ada99cdc8450bb95ac4ed0 2017 editors optional proofgeneral_4.4.1~pre170114-1.1~build1.dsc
 a631536c22b2ff01f882fb5df342401b 19816 editors optional proofgeneral_4.4.1~pre170114-1.1~build1.debian.tar.xz
 4bb89cfc25c14c9f0f6dd2c8bc09ebbb 10284 editors optional proofgeneral_4.4.1~pre170114-1.1~build1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl05ZeoACgkQ808JdE6f
XdmLvA//bQP8inEcQF9020nEaxQelY4WhSD4OQpJp25f/Dt9IsvVa6+eUUzx/534
ZsKsM1ptjRdpRgWp7CoTlmlPPNlTAlDyAbIEhZ6qbMNfxQzR+ma5yNeVbvJ6PyK3
vJFoCYZeaAH+TOKTS965W1C2U6LviFtwPlr0WdtAsqVmRarOYG305D76C/6+yA7l
wrBcnzwcgGORTPYNlCr2S+1Sy/q+I2VxMddZgMxZ4Oq1jUHRJqwkg2xU0N0M08VW
hJFiV6njJ34xqcAPuDhVJSR3CTKSCaMVJf2nuaWH7NjNGaZkrcq/X5xhnQHpYANl
8ftgiBV32tjFC6BvAKOJdDliuG0Bv0AX5ZwXev2lXx1xZGDLDPN1sAwIHJhFjmLD
p82cKAgSL4Jx7aHiwGPaNAH33Kv/KMURtfLFnH0UKvXDRctnweWYQhsENN2sZgt6
j3GxVTc2nbaYaQxjwpHJeoopSeHhE1kfE1OPvB/C9uky5R2Vbgbx7MeqvjPnI4t8
FDBu+Z7PRfe6vvdq1Bg+PReY3QLpkwGOSvPvedzAMusn/j8uUMsQiXBXv+8lYUL4
0mahK1nEn5NwIcjR3uAI2JDCOb2recVcGloH6Vn4r3zqOu5MLOwDcTi1/jWLL6d8
Sms05n8t7OaLl1SJEdpnXYXca3DbjdnJ/CVtCr4FAQzP0wTeWM0=
=yYfK
-----END PGP SIGNATURE-----