Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language

Thanks, Phil. The reproducible-builds problem is something I’ve investigated several times over the years. As far as I can tell, I’m blocked by Flex and/or Bison issues. In particular https://github.com/westes/flex/issues/268. I’ve tried engaging with the Flex maintainer to get this fixed, to

Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language

g required, adding 'z3' as a 'Suggests' would seem appropriate. In 'debian/control'. Could you update to the latest 'Standards-Version' which is 4.7.0[1]. In 'debian/copyright'. I would update the line below. Copyright: 2019 Matthew Fernandez t

Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language

Control: tags -1 - moreinfo On 6/14/24 19:47, Phil Wyett wrote: Control: tags -1 + moreinfo Hi Matthew, 'rumur' is an extensive package with a lot going on at build time. Some of the build time tests are skipped due to missing 'xmllint'. Adding 'libxml2-utils' as a 'Build-Depends' allows the t

Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name : rumur Version : 2024.05.07-1 Upstream contact : Matthew Fernandez * URL : https://github.com/Smattr/rumur

Bug#1018205:

tl;dr: I’ll attempt to address this in the next upload. Revisiting this, the logs are expired, but I think I finally understand the problem. This will take a bit of explanation, so strap in (or ignore this mail)… I now believe the failure was the rumur-model autopkgtest, though my previous r

Bug#1057879: RFS: rumur/2023.11.27-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name : rumur Version : 2023.11.27-1 Upstream contact : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense * Vcs : https://github.

Bug#980900: New watch file for Graphviz package v2

It didn’t occur to me to mention before, but the Graphviz download web page is also driven programmatically from some JSON files: https://gitlab.com/graphviz/graphviz.gitlab.io/-/tree/main/data/releases?ref_type=heads. Another option may be for the watch file to refer to JSON files in this Gitl

Bug#1018205: (no subject)

For the latest upload (v2023.05.21-1), the QA page linked above once again indicates build and test passed for both arm64 and armel, so I’m still unsure how to repro/view this bug.

Bug#1041679: RFS: rumur/2023.05.21-1 [RC] -- model checker for the Murphi language

Package: sponsorship-requests Severity: important Dear mentors, I am looking for a sponsor for my package "rumur": * Package name : rumur Version : 2023.05.21-1 Upstream contact : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense * Vcs : https://github.

Bug#1037851: (no subject)

Btw, why does this bug not appear when searching for bugs against the package? https://bugs.debian.org/cgi-bin/pkgreport.cgi?pkg=rumur

Bug#1018205: rumur: possible missing linking to latomic

On 8/26/22 23:53, Tobias Frost wrote: On Fri, Aug 26, 2022 at 05:23:20PM -0700, Matthew Fernandez wrote: What I see is that the test program that fails to link is not linked against latomic: + rumur --output checker.c model.m + cc -std=c11 checker.c -lpthread (from https://ci.debian.net

Bug#1018205: rumur: possible missing linking to latomic

On 8/26/22 15:57, Tobias Frost wrote: Source: rumur Version: 2020.12.20-1 Severity: important Looking at the autopkgtest results for arm64 and armel: /usr/bin/ld: /tmp/ccbniKRN.o: in function `atomic_read': checker.c:(.text+0x3b90): undefined reference to `__atomic_load_16' /usr/bin/ld: /tmp

Bug#1018202: rumur: VCS-* pointing to upstream repository

On 8/26/22 15:48, Tobias Frost wrote: Source: rumur Version: 2020.12.20-1 Severity: normal Dear Maintainer, d/control VCS-* fields are pointing to the upstream repository, however, they are reserverd for the VCS of the packaging. (See Policy 5.6.26) [1] [1] https://www.debian.org/doc/debia

Bug#1017815: RFS: rumur/2022.08.20-1 [RC] -- model checker for the Murphi language

On 8/21/22 00:32, Tobias Frost wrote: Package: sponsorship-requests Followup-For: Bug #1017815 Hi Matthew, thanks for the updated package fixing an RC bug! Thanks for sponsoring! I have is some feedback regarding it: - The format of d/changelog is a bit unusual, usually there are no blank

Bug#1017815: RFS: rumur/2022.08.20-1 [RC] -- model checker for the Murphi language

Package: sponsorship-requests Severity: important Dear mentors, I am looking for a sponsor for my package "rumur": * Package name : rumur Version : 2022.08.20-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense * Vcs : https://github.

Bug#1006969: RFS: rumur/2022.03.05-1 [RC] -- model checker for the Murphi language

Package: sponsorship-requests Severity: important Dear mentors, I am looking for a sponsor for my package "rumur": * Package name: rumur Version : 2022.03.05-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur

Bug#1002744: RFS: rumur/2021.12.27-1 [RC] -- model checker for the Murphi language

Package: sponsorship-requests Severity: important Dear mentors, I am looking for a sponsor for my package "rumur": * Package name: rumur Version : 2021.12.27-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur

Bug#1002186: rumur: FTBFS: dh_auto_test: error: cd obj-x86_64-linux-gnu && make -j4 check ARGS\+=--verbose ARGS\+=-j4 returned exit code 2

Thanks for reporting! It looks like there are now libc calls to `newfstatat` which is not in Rumur’s sandbox’s list of safe allowed syscalls. I’ll fix this upstream and then package a new release for Debian.

Bug#997016: RFS: swtpm/0.7.0-rc2-1 [ITA] -- Libtpms-based TPM emulator

> On Nov 3, 2021, at 19:30, Seunghun Han wrote: > >> I am also not sure if you are allowed to write in /tmp on package building. >> I will check that. > Everyone has write access right to /tmp directory, so I guess the > package also has it. I don’t think this is the cause of the failures, bu

Bug#980900: Update from upstream

Hi, I’m one of the upstream maintainers. Apologies for the confusion on this; Graphviz has indeed gone through a variety of pretty unorthodox versioning schemes. At present, the situation is much more straightforward: Graphviz follows semantic versioning and adds a Git tag for every release. E.

Bug#995588: RFS: rumur/2021.09.29-1 -- model checker for the Murphi language

> On Oct 2, 2021, at 16:37, Adam Borowski wrote: > > On Sat, Oct 02, 2021 at 11:26:19AM -0700, Matthew Fernandez wrote: >> * Package name: rumur >> Version : 2021.09.29-1 > >> rumur (2021.09.29-1) unstable; urgency=medium > > > E: rumur

Bug#995588: RFS: rumur/2021.09.29-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name: rumur Version : 2021.09.29-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#993687: RFS: rumur/2021.08.28-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name: rumur Version : 2021.08.28-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#985815: RFS: usermanager/1.0.74+git20210323-1 [ITP] -- Graphical user manager

> On Mar 25, 2021, at 22:12, Adam Borowski wrote: > > On Wed, Mar 24, 2021 at 01:36:10PM +0100, Gürkan Myczko wrote: >>> The menu icon for .desktop doesn't show up for me (in XFCE). >> >> probably because it's .gif and fd.o doesn't support it > > And, according to the spec: > https://specific

Bug#977937: RFS: rumur/2020.12.20-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name: rumur Version : 2020.12.20-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#969759: RFS: rumur/2020.09.06-1 [RC] -- model checker for the Murphi language

Package: sponsorship-requests Severity: important Dear mentors, I am looking for a sponsor for my package "rumur": * Package name: rumur Version : 2020.09.06-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur

Bug#969156: rumur FTBFS on armel/armhf/mipsel/mips64el: test failures

Thanks for reporting this, Adrian. I noticed this some time after upload and fixed it upstream: https://github.com/Smattr/rumur/commit/68683c4742b380421936a703c4b9262dac1e68dc I hadn’t uploaded a fixed version to

Bug#966585: RFS: rumur/2020.07.28-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name: rumur Version : 2020.07.28-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#963832: RFS: iotop-c/1.0-1 [ITP] -- iotop-c - simple top-like I/O monitor (implemented in C)

> On Jul 8, 2020, at 19:34, Paul Wise wrote: > > On Wed, 2020-07-08 at 20:09 +0300, Boian Bonev wrote: > >> That is perfectly safe - all recent (last 20 years) glibc versions >> allow passing NULL for %s and print (null)... Anyways it is better to >> check it explicitly and spare some time for

Bug#963273: RFS: rumur/2020.06.20-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.06.20-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#962425: libscrypt-kdf-dev: broken symlink installed

Subject: libscrypt-kdf-dev: broken symlink installed Package: libscrypt-kdf-dev Version: 1.3.0-3 Severity: normal Dear Maintainer, When installing libscrypt-kdf-dev on amd64, a symlink libscrypt-kdf.so -> libscrypt-kdf.so.1.0.0 is installed in /usr/lib/x86_64-linux-gnu. However, libscrypt-kdf.so.

Bug#961429: Subject: RFS: cryptopass/1.0.0-1 [ITP] -- CLI utility for generating long, unguessable passwords.

> On May 31, 2020, at 07:54, Vasyl Gello wrote: > > Dear Mattia and Matthew! > > First of all I would like to thank you for all the efforts you did to teach > me how to do proper Debian packaging. > Your reviews made me rethink some practices I followed and it already helps > me in my activit

Bug#961883: RFS: rumur/2020.05.27-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.05.27-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#961429: RFS: cryptopass/1.0.0-1 [ITP] -- CLI utility for generating long, unguessable passwords.

> On May 27, 2020, at 08:15, Vasyl Gello wrote: > > Hi Matthew! > > Thanks for the continued review! You read my mind now?) > > > > >Now that I read the remainder of the main source file, I spotted a > >completely separate issue, src/cryptopass.c:375-384 [1]: > > > > /* Clean up everything *

Bug#961429: RFS: cryptopass/1.0.0-1 [ITP] -- CLI utility for generating long, unguessable passwords.

> On May 26, 2020, at 23:46, Vasyl Gello wrote: > > Hi Matthew! > >> I would suggest adding one as well as fuzzing this code before exposing the >> downstream public to it. > > Will fix the issues and add testsuite && fuzzcorp ASAP. > > BTW I fixed all the stuff GCC 8.3.0 reported me with FO

Bug#961429: RFS: cryptopass/1.0.0-1 [ITP] -- CLI utility for generating long, unguessable passwords.

> On May 26, 2020, at 15:10, Mattia Rizzolo wrote: > > * building the package shows this "scary" GCC warning: > |In file included from /usr/include/string.h:495, > | from cryptopass.c:19: > |In function 'strncpy', > |inlined from 'main' at cryptopass.c:200:9: > |/usr/includ

Bug#961180: RFS: rumur/2020.05.18-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.05.18-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#956324: Clustalo bus error on mipsel (Was: Bug#956324: python-biopython: FTBFS on mipsel)

> One small issue... Valgrind recommends -O0 or -O1 TIL :) Thanks, Jeff! > You can sometimes locate a bus error at build time with -Wcast-align. > At runtime you can usually locate them with -fsanitize=undefined. I had previously tried UBSan and, while it turned up a number of shifting and stri

Bug#956324: Clustalo bus error on mipsel (Was: Bug#956324: python-biopython: FTBFS on mipsel)

> On Apr 30, 2020, at 00:31, Andreas Tille wrote: > > On Wed, Apr 29, 2020 at 05:51:26PM -0700, Matthew Fernandez wrote: > >> The other option I suggested was Valgrind, but if you can’t run apt-file you >> probably can’t install Valgrind either. > > Well, I

Bug#956324: Clustalo bus error on mipsel (Was: Bug#956324: python-biopython: FTBFS on mipsel)

> On Apr 29, 2020, at 09:04, Andreas Tille wrote: > > On Wed, Apr 29, 2020 at 07:14:30AM -0700, Matthew Fernandez wrote: > >> For those on this thread who have access to mipsel hardware or can shell in >> to one of the mipsel build machines, I would suggest running

Bug#956324: Clustalo bus error on mipsel (Was: Bug#956324: python-biopython: FTBFS on mipsel)

> On Apr 29, 2020, at 02:12, Andreas Tille wrote: > > Hi, > > On Wed, Apr 29, 2020 at 10:30:35AM +0800, 黄佳文 wrote: >> I am a developer from Loongson company (R & D CPU/mip64el), I've been >> looking at this recently. > > Very nice to see mips developers to care for biological software. :-) >

Bug#959011: RFS: rumur/2020.04.26-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.04.26-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#958228: RFS: rumur/2020.04.05-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.04.05-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#956324: Clustalo bus error on mipsel (Was: Bug#956324: python-biopython: FTBFS on mipsel)

> On Apr 17, 2020, at 22:39, Andreas Tille wrote: > > Hi Matthew, > > thanks a lot for your detailed investigation. > > On Fri, Apr 17, 2020 at 04:28:23PM -0700, Matthew Fernandez wrote: >>> Program received signal SIGBUS, Bus error. >>> 0x5556a1b8 in

Bug#956324: Clustalo bus error on mipsel (Was: Bug#956324: python-biopython: FTBFS on mipsel)

> On Apr 17, 2020, at 13:18, Andreas Tille wrote: > > Hi Matthew, > > On Fri, Apr 17, 2020 at 08:18:29AM -0700, Matthew Fernandez wrote: >>> Thanks for the patch which I applied to packaging Git. I assume you >>> want to express that while these fixes are de

Bug#956324: Clustalo bus error on mipsel (Was: Bug#956324: python-biopython: FTBFS on mipsel)

On Fri, 17 Apr 2020 at 08:09, Andreas Tille wrote: > Hi Matthew, > > On Fri, Apr 17, 2020 at 07:40:54AM -0700, Matthew Fernandez wrote: > > > > As a jumping off point, the attached patch fixes some issues with > logging calls in the upstream 1.2.4 source release. > >

Bug#956324: Clustalo bus error on mipsel (Was: Bug#956324: python-biopython: FTBFS on mipsel)

> On Apr 17, 2020, at 04:20, Andreas Tille wrote: > > Control: tags -1 help > > Hi, > > as it can be seen on the recent build log of clustalo on mips[1] the > build fails with > > > # Run additional test from python-biopython package to verify that > # this will work as well > src/clustalo -

Bug#951497:

trying to comprehend it in the future, we had an out-of-band email thread with Adam, Anatoly and myself, the relevant last part of which is: >> On Mar 3, 2020, at 11:08, Matthew Fernandez >> wrote: >> On Tue, 3 Mar 2020 at 07:22, Adam Borowski wrote: >> On Tue, Mar 03,

Bug#954015: RFS: rumur/2020.03.12-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.03.12-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#951497: I can't reproduce

You’re definitely testing v2020.01.27-1 right, Adam? I would think you probably are, but I ask because the version you uploaded for me last week (v2020.02.17-1) is not the problem one. v2020.02.17-1 should not reproduce this issue as I also made the fix there before uploading it. The problems An

Bug#951881: RFS: rumur/2020.01.27-2 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.01.27-2 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#951628: RFS: rumur/2020.02.17-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.02.17-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#951497: rumur: building from sources makes machine un-usable or OOM/kills kernel

> On Feb 17, 2020, at 13:54, Anatoly Pugachev wrote: > > On Mon, Feb 17, 2020 at 11:12 PM Matthew Fernandez > wrote: >> >> Yikes, sorry. >> >> The test suite for this package auto-detects the number of CPUs and >> parallelises across all of them.

Bug#951497: rumur: building from sources makes machine un-usable or OOM/kills kernel

Yikes, sorry. The test suite for this package auto-detects the number of CPUs and parallelises across all of them. This is not very well behaved when calling it from the outer build system, as it doesn’t pay attention to any -j flag you’ve passed there. To compound the situation, some of the in

Bug#950124: RFS: rumur/2020.01.27-1 -- model checker for the Murphi language

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.01.27-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License :

Bug#937254: C++ help needed for pbdagcon

> On Jan 22, 2020, at 11:56, Andreas Tille wrote: > > Control: tags -1 help > > I have fixed Python2->Python3 migration as well as the FTBFS with > pbseqlib 5.3.3+dfsg-1 issue in Git[1]. Unfortunately there is another > build issue in the C++ code which I have no idea how to fix: > > > ... >

Bug#939506: expected primary-expression before ‘{’ token (Was: Bug#939506: unanimity ftbfs in unstable)

gt; On Wed, Jan 15, 2020 at 09:27:16AM +0100, Andreas Tille wrote: >> Hi Matthew, >> >> On Tue, Jan 14, 2020 at 07:00:02PM -0800, Matthew Fernandez wrote: >>> >>> Offhand I don’t know the fix to the error message you quoted, but I just >>> t

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

> On Jan 15, 2020, at 10:33, Adam Borowski wrote: > > On Tue, Jan 14, 2020 at 08:07:05PM -0800, Matthew Fernandez wrote: >> OK, uploaded a new version with this fix. Please let me know if you have a >> chance to take another look. > > Alas, still fails: >

Bug#939506: expected primary-expression before ‘{’ token (Was: Bug#939506: unanimity ftbfs in unstable)

Hi Andreas, This is not related to aghermann, correct? Offhand I don’t know the fix to the error message you quoted, but I just tried to reproduce the build error on Debian 10.2. This repository has multiple build systems in the root directory and no build instructions in the README, so I guess

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

> On Jan 14, 2020, at 08:00, Matthew Fernandez > wrote: > >> >> On Jan 13, 2020, at 19:44, Adam Borowski wrote: >> >> On Mon, Jan 13, 2020 at 06:24:32PM -0800, Matthew Fernandez wrote: >>>>> * Package name: rumur >>>>> V

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

> On Jan 13, 2020, at 19:44, Adam Borowski wrote: > > On Mon, Jan 13, 2020 at 06:24:32PM -0800, Matthew Fernandez wrote: >>>> * Package name: rumur >>>> Version : 2020.01.11-1 > >> OK I think I’ve corrected this now. Adam (or any oth

Bug#925629: aghermann: ftbfs with GCC-9

Thanks for being clear, Andrei. And thanks for your work building and maintaining this package. I jumped into this thread knowing nothing about this package but merely recognizing a compiler error. Now that I look up what it does, I don’t have the necessary background to fully understand its fu

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

> On Jan 12, 2020, at 17:14, Matthew Fernandez > wrote: > > > > On Sun, 12 Jan 2020 at 16:56, Adam Borowski <mailto:kilob...@angband.pl>> wrote: > On Sun, Jan 12, 2020 at 02:13:18PM -0800, Matthew Fernandez wrote: > > * Package name: rumur &

Bug#925629: aghermann: ftbfs with GCC-9

Sorry, I didn’t have much context for the original issue and was probably too terse in my responses. Some more elaboration inline below. > On Jan 13, 2020, at 01:14, Andreas Tille wrote: > > On Sun, Jan 12, 2020 at 02:08:56PM -0800, Matthew Fernandez wrote: >> >>> O

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

On Sun, 12 Jan 2020 at 16:56, Adam Borowski wrote: > On Sun, Jan 12, 2020 at 02:13:18PM -0800, Matthew Fernandez wrote: > > * Package name: rumur > >Version : 2020.01.11-1 > > > Changes since the last upload: > > > >* New upstream releas

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

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 * URL : https://github.com/Smattr/rumur * License :

Bug#925629: aghermann: ftbfs with GCC-9

> On Jan 12, 2020, at 12:49, Andreas Tille wrote: > > Hi, > > I'm wondering how this bug > > > rk1968/rk1968.cc: In lambda function: > rk1968/rk1968.cc:237:103: error: expected '{' before '->' token > 237 | auto make_error_return = [&L] ( const char* fmt, ...) > __attribute__ ((for

Bug#946213: RFS: git-delta/0.0.15 -- Syntax-highlighting pager for git and diff output

> On Dec 10, 2019, at 17:44, Adam Borowski wrote: > > On Tue, Dec 10, 2019 at 08:30:44PM -0500, Dan Davison wrote: >> On Sun, 8 Dec 2019 at 22:31, Paul Wise wrote: >>> On Sat, Dec 7, 2019 at 9:36 PM Dan Davison wrote: >>> Currently (FreeBSD, Rust Cargo, Arch Linux, Homebrew) the package

Bug#943705:

Thanks for inadvertently solving a packaging error I was baffled by! I don’t know if this affects the priority/relevance of this bug, but FYI I was midway through packaging an updated version of Rumur and (guided by this bug report) removed my debian/rumur.manpages entirely so this is no longer

Bug#935900: RFS: z3 4.8.4-0.1 [NMU]

> On Aug 27, 2019, at 08:48, Fabian Wolff wrote: > > On 8/27/19 4:00 PM, Matthew Fernandez wrote: >>> z3 (4.8.4-0.1) unstable; urgency=medium >> >> I am not a z3 dev, but the latest z3 release is 4.8.5. Is there a >> particular motivation for uploading a

Bug#935900: RFS: z3 4.8.4-0.1 [NMU]

> On Aug 27, 2019, at 06:27, Fabian Wolff wrote: > > Package: sponsorship-requests > Severity: normal > X-Debbugs-CC: m...@debian.org > X-Debbugs-CC: locutusofb...@debian.org > > Dear mentors, > > I am looking for a sponsor for a non-maintainer upload of the z3 package. > > The z3 package is

Bug#919743: RFS: rumur/2019.01.12-1 [ITP]

faster and uses less memory on large input problems. Any and all feedback welcome. Thank you for your time. Matthew > On Jan 18, 2019, at 18:43, Matthew Fernandez > wrote: > > Package: sponsorship-requests > Severity: normal > > Dear mentors, > > I am looking for a sp

Bug#919743: RFS: rumur/2019.01.12-1 [ITP]

> On Jan 19, 2019, at 17:29, Adam Borowski wrote: > > On Fri, Jan 18, 2019 at 06:43:13PM -0800, Matthew Fernandez wrote: >> * Package name: rumur >> Version : 2019.01.12-1 > >> dget -x >> https://mentors.debian.net/debian/pool/main/r/rumur/

Bug#919743: RFS: rumur/2019.01.12-1 [ITP]

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2019.01.12-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : The

Bug#919220: ITP: rumur -- model checker for the Murphi language

Package: wnpp Severity: wishlist Owner: Matthew Fernandez * Package name: rumur Version : 2019.01.12 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : The Unlicense Programming Lang: C, C++, Python Description