Bug#948752: marked as done (RFS: rumur/2020.01.11-1 -- model checker for the Murphi language)
Your message dated Fri, 17 Jan 2020 18:45:51 +0100
with message-id <20200117174551.GA17620@angband.pl>
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 owner@bugs.debian.org
immediately.)
--
948752: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=948752
Debian Bug Tracking System
Contact owner@bugs.debian.org 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 <matthew.fernandez@gmail.com>
* 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 ---
Reply to: