[Bug 1872667] Re: gummi package is development build with critical bugs

[Mathew Hodson]

** Changed in: gummi (Ubuntu)
   Importance: Undecided => Low

** Changed in: gummi (Ubuntu Focal)
   Importance: Undecided => Low

** Tags added: upgrade-software-version

** Summary changed:

- gummi package is development build with critical bugs
+ Upgrade gummi package to version 0.8.1

-- 
You received this bug notification because you are a member of Ubuntu
Sponsors Team, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/1872667

Title:
  Upgrade gummi package to version 0.8.1

Status in Gummi:
  Fix Released
Status in gummi package in Ubuntu:
  Fix Committed
Status in gummi source package in Focal:
  New

Bug description:
  Dear Maintainer,

  I am the upstream developer for gummi. After a long hiatus I have in
  recent months resumed development. Unfortunately the gummi package
  that was imported from Debian sid for this Ubuntu release is a
  development build that suffers from a critical bug.

  I hereby request to:

  1. Update the package to stable release 0.8.1 (see [2])
  2. Remove the package from ubuntu universe/tex

  Thanks in advance and with kind regards,

  alexandervdm

  [1] https://github.com/alexandervdm/gummi/issues/33
  [2] https://github.com/alexandervdm/gummi/releases/tag/0.8.1

  ProblemType: Bug
  DistroRelease: Ubuntu 20.04
  Package: gummi 0.7.999-1
  ProcVersionSignature: Ubuntu 5.4.0-18.22-generic 5.4.24
  Uname: Linux 5.4.0-18-generic x86_64
  NonfreeKernelModules: nvidia_modeset nvidia
  ApportVersion: 2.20.11-0ubuntu26
  Architecture: amd64
  CasperMD5CheckResult: skip
  CurrentDesktop: MATE
  Date: Tue Apr 14 10:54:35 2020
  InstallationDate: Installed on 2020-02-24 (49 days ago)
  InstallationMedia: Ubuntu-MATE 20.04 LTS "Focal Fossa" - Alpha amd64 (20200211)
  SourcePackage: gummi
  UpgradeStatus: No upgrade log present (probably fresh install)

To manage notifications about this bug go to:
https://bugs.launchpad.net/gummi/+bug/1872667/+subscriptions