[Bug 1801267] Re: regina-normal crashes on startup

2021-01-20 Thread Ben Burton
Hi - FYI, after rereading the docs, my understanding is that I should change verification-needed to verification-done also, since bionic was the only release that actually needed verifying (and this was done successfully). So I've just done this now. - Ben. ** Tags removed: verification-needed **

[Bug 1801267] Re: regina-normal crashes on startup

2021-01-13 Thread Ben Burton
Hi Robie, Logan - thanks for looking after this. I've tested 5.1-2build2 (amd64) on a bionic machine and this fixes the problem for me. Checks performed: - The GUI /usr/bin/regina-gui starts without crashing; - File -> Open Example -> Introductory Examples loads the sample file correctly; - The

[Bug 1882228] Re: tests fail on armhf

2021-01-11 Thread Ben Burton
An update: I have now uploaded regina-normal 6.0-1 to debian sid (and it has built on armhf). The correct fix for this should now be to just migrate the 6.0-1 package into hirsute. The ubuntu-specific patches should (I believe) be able to go also, since my understanding is that they were for the

[Bug 1882228] Re: tests fail on armhf

2020-12-24 Thread Ben Burton
Oh: also I just noticed that the ubuntu packagers have temporarily disabled the tests on armhf. Please re-enable these tests. It turns out this was a real mathematical bug that was picked up by the test suite, which was doing exactly what it was designed to do. The bug was not picked up in

[Bug 1882228] Re: tests fail on armhf

2020-12-24 Thread Ben Burton
This is fixed in regina-normal 5.96, which I uploaded to debian/sid a few days ago. Note that 5.96 is a real upstream release, and is both newer and more polished than the 6.0~alpha1 package currently in ubuntu (which was pulled from a branch of the upstream git repository). I would recommend,

[Bug 1801267] [NEW] regina-normal crashes on startup

2018-11-01 Thread Ben Burton
Public bug reported: This is a bug in Ubuntu 18.04 LTS. The application Regina (installed through the package regina-normal) will not start. The problem seems to be that it is linked against the graphviz plugins, which moved location (thus the executable can no longer find the libraries that it

[Bug 1063163] Re: regina has a broke link in the shipped documentation

2015-08-30 Thread Ben Burton
** Changed in: regina-normal (Ubuntu) Status: New = Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1063163 Title: regina has a broke link in the shipped documentation To manage

[Bug 1063163] Re: regina has a broke link in the shipped documentation

2014-09-02 Thread Ben Burton
FYI, I've confirmed that this bug is fixed in trusty (package version 4.95-1build1). I'm not familiar with launchpad protocols or policies so I will leave someone who knows better to close this bug report as they see fit. - Ben. -- You received this bug notification because you are a member of

Re: [Bug 1063163] [NEW] regina has a broke link in the shipped documentation

2012-10-08 Thread Ben Burton
Thanks for picking this up. I've fixed it in the upstream repository, and the fix should appear with version 4.94-1. For reference, the patch I applied is below. - Ben. Index: engine/docs.h === --- engine/docs.h (revision

[Bug 175725] Re: Please sync regina-normal (universe) from Debian unstable (main)

2007-12-12 Thread Ben Burton
Me again, I've been advised to add a changelog entry -- this is included in the second attachment (regina-normal-hardy-2.diff), which is simply the original attachment plus a new entry to debian/changelog. Changing the bug title also to reflect that this is now a merge instead of a sync. b. **

[Bug 175725] Please sync regina-normal (universe) from Debian unstable (main)

2007-12-11 Thread Ben Burton
Public bug reported: Binary package hint: regina-normal Please sync regina-normal (universe) 4.4-1 from Debian unstable (main). This is a new upstream release, which was uploaded to debian in November. The current version in ubuntu is 4.3.1-4build1, which AFAICT has no ubuntu-specific changes.

[Bug 175725] Re: Please sync regina-normal (universe) from Debian unstable (main)

2007-12-11 Thread Ben Burton
Hi again, I just noticed that the sync has already been tried, and that it failed to build. Looking at the build log, it is almost certainly just the fact that the debian package is built for python2.4 and ubuntu needs python2.5. The fix is a simple four lines, and is included in the attached