Your message dated Fri, 17 Jan 2020 18:45:51 +0100 with message-id <[email protected]> and subject line Re: Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language has caused the Debian Bug report #948752, regarding RFS: rumur/2020.01.11-1 -- model checker for the Murphi language to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 948752: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=948752 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name : rumur Version : 2020.01.11-1 Upstream Author : Matthew Fernandez <[email protected]> * URL : https://github.com/Smattr/rumur * License : Unlicense * Vcs : https://github.com/Smattr/rumur.git Section : devel It builds those binary packages: rumur - model checker for the Murphi language To access further information about this package, please visit the following URL: https://mentors.debian.net/package/rumur Alternatively, one can download the package with dget using this command: dget -x https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2020.01.11-1.dsc Changes since the last upload: * New upstream release. . * Update autopkgtest tests to test the installed binaries and library. Previously this incorrectly ran the upstream test suite. . * Update RUMUR_VERSION variable in rules from 2019.12.22-1 to 2020.01.11-1. Regards, Matthew
--- End Message ---
--- Begin Message ---On Thu, Jan 16, 2020 at 05:58:32PM -0800, Matthew Fernandez wrote: > > Alas, still fails: > > > > /usr/bin/ld: (.text+0xf2e): undefined reference to `__gmpz_add' > > /usr/bin/ld: (.text+0xf36): undefined reference to `__gmpz_clear' > > /usr/bin/ld: (.text+0xf3e): undefined reference to `__gmpz_clear' > > > > > > Full log at http://ix.io/27tY <http://ix.io/27tY> > The riddle continues. I think this is a link order problem. I managed to > reproduce something like this error and then subsequently fixed it by > reordering the libraries. I’ve uploaded a new version with this fix. Can I > beg you to take yet another look at the latest upload? ✓ -- ⢀⣴⠾⠻⢶⣦⠀ A MAP07 (Dead Simple) raspberry tincture recipe: 0.5l 95% alcohol, ⣾⠁⢠⠒⠀⣿⡁ 1kg raspberries, 0.4kg sugar; put into a big jar for 1 month. ⢿⡄⠘⠷⠚⠋⠀ Filter out and throw away the fruits (can dump them into a cake, ⠈⠳⣄⠀⠀⠀⠀ etc), let the drink age at least 3-6 months.
--- End Message ---
