Bug#1094966: RFS: rumur/2025.02.02-1 -- model checker for the Murphi language

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

python3 deps

2025-02-01 Thread Matthew Fernandez
Hi mentors, I was previously instructed to remove python3 from my package’s suggests because it is always installed.¹ However when doing this and now trying to package a new version, Lintian is upset: E: rumur: python3-script-but-no-python3-dep python3 (does not satisfy python3:any | pytho

Re: python3 deps

2025-02-01 Thread Matthew Fernandez
On 2/2/25 07:30, Andrey Rakhmatullin wrote: On Sun, Feb 02, 2025 at 07:26:53AM +1100, Matthew Fernandez wrote: The Lintian advice appears to contradict mentor instructions. What is the right approach here? Is python3 meant to appear somewhere else as a weak dep? The mentor instructions

Bug#1092140: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language

2025-01-05 Thread Matthew Fernandez
Thanks, Phil. On 1/5/25 22:19, Phil Wyett wrote: I hope you will look at the build path lintian issues in the future. By this, you mean the override or the filemangle/uscan ones? The former is intentional; I believe this is the correct situation. The latter ones I thought were experimental s

Bug#1092140: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language

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

Bug#1092050: RFS: rumur/2025.01.04-1 -- model checker for the Murphi language

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

Re: git packaging workflows (Was: Bug#1052015: RFS: blktrace/1.3.0-1 -- utilities for block layer) IO tracing

2024-08-13 Thread Matthew Fernandez
On 8/13/24 04:34, Daniel Gröber wrote: On Mon, Aug 12, 2024 at 11:37:24PM +1000, Dmitry Smirnov wrote: IMHO GBP approach is counter-productive, with needlessly complicated workflow, redundant upstream branch(es) and incredibly inconvenient merge of debian packaging and upstream files in "mas

Re: delayed argument errors from dput

2024-06-14 Thread Matthew Fernandez
progress_indicator = 2 allowed_distributions = .* On Friday, June 14, 2024 4:27:27 PM MST Matthew Fernandez wrote: On 6/15/24 09:26, Matthew Fernandez wrote: Hello mentors, I am getting the following behaviour when trying to upload to mentors: $ dput mentors ../rumur_2024.05.07-1_source.changes

Re: delayed argument errors from dput

2024-06-14 Thread Matthew Fernandez
On 6/15/24 09:26, Matthew Fernandez wrote: Hello mentors, I am getting the following behaviour when trying to upload to mentors:   $ dput mentors ../rumur_2024.05.07-1_source.changes   Checking signature on .changes   gpg: ../rumur_2024.05.07-1_source.changes: Valid signature from

delayed argument errors from dput

2024-06-14 Thread Matthew Fernandez
Hello mentors, I am getting the following behaviour when trying to upload to mentors: $ dput mentors ../rumur_2024.05.07-1_source.changes Checking signature on .changes gpg: ../rumur_2024.05.07-1_source.changes: Valid signature from A44D25C91888A6A4 Checking signature on .dsc gpg: ..

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

2024-06-14 Thread Matthew Fernandez
A gentle bump to see if anyone might have time to sponsor this one? On 5/19/24 14:58, Matthew Fernandez wrote: Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur":  * Package name : rumur    Version  : 20

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

2024-05-18 Thread Matthew Fernandez
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

Re: RFS: rumur/2023.11.27-1 -- model checker for the Murphi language

2024-01-27 Thread Matthew Fernandez
Just a gentle bump to see if anyone has time to take a look at this RFS? On 12/10/23 12:17, Matthew Fernandez wrote: 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 Upstre

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

2023-12-09 Thread Matthew Fernandez
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#1041679: RFS: rumur/2023.05.21-1 [RC] -- model checker for the Murphi language

2023-07-21 Thread Matthew Fernandez
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.

Packaging a header-only library with frequent breaking changes

2023-01-15 Thread Matthew Fennell
rsions from the archive when there are no more reverse-dependencies left for that version of the package in stable and testing? [1] https://github.com/skypjack/entt Thanks, Matthew

Re: Testing package on mipsel and armel

2022-09-14 Thread Matthew Fernandez
On 9/14/22 07:32, Bo YU wrote: Hi, On Wed, Sep 14, 2022 at 09:45:45AM -0400, Aaron Boxer wrote: Hello, I currently have failed builds on mipsel and armel archs. For these systems, it appears that I need to link explicitly to libatomic. I've added the link flag, but the failures persist. Any s

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

2022-08-21 Thread Matthew Fernandez
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

2022-08-20 Thread Matthew Fernandez
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

2022-03-09 Thread Matthew Fernandez
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

2021-12-28 Thread Matthew Fernandez
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#997016: RFS: swtpm/0.7.0-rc2-1 [ITA] -- Libtpms-based TPM emulator

2021-11-04 Thread Matthew Fernandez
> 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

Reproducible builds erroneous ticks

2021-10-11 Thread Matthew Fernandez
Hello mentors, I was reviewing one of my own packages on the QA page¹ and was surprised to notice it gets full marks for CI/Rep. “Surprised? Isn’t that a good thing?” you say. It’s surprising because I’ve been tracking an upstream bug that I *know* makes this package’s build not-reproducible. C

Re: WNPP Update Package source source of gjiten

2021-10-05 Thread Matthew Fernandez
> On Oct 5, 2021, at 03:27, Tobias Frost wrote: > > On Tue, Oct 05, 2021 at 06:35:34PM +0900, notebook wrote: >> [Me] It looks like becoming a maintainer requires 40+ hours to go through all the "must read" articles and becoming accustomed to every procedure and guideline.

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

2021-10-03 Thread Matthew Fernandez
> 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

2021-10-02 Thread Matthew Fernandez
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

2021-09-04 Thread Matthew Fernandez
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

2021-03-25 Thread Matthew Fernandez
> 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

2020-12-22 Thread Matthew Fernandez
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 :

Re: Trouble with building the opendht package on mipsel

2020-12-02 Thread Matthew Fernandez
> On Dec 2, 2020, at 10:41, Andrey Rahmatullin wrote: > > As I've already told you yesterday on IRC, the test succeeds with -O2, > which is set when building the package. Furthermore you can actually see a variant of the problem with this test code even on non-MIPS: $ uname -m x86_64

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

2020-09-07 Thread Matthew Fernandez
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#966585: RFS: rumur/2020.07.28-1 -- model checker for the Murphi language

2020-07-30 Thread Matthew Fernandez
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)

2020-07-08 Thread Matthew Fernandez
> 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

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

2020-06-27 Thread Matthew Fernandez
Re-sending to check if anyone is willing to sponsor this one? It’s a pretty straightforward update to the package, so hopefully should not be controversial. Any help would be greatly appreciated. > On Jun 21, 2020, at 12:02, Matthew Fernandez > wrote: > > Package: sponsors

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

2020-06-21 Thread Matthew Fernandez
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#961429: Subject: RFS: cryptopass/1.0.0-1 [ITP] -- CLI utility for generating long, unguessable passwords.

2020-05-31 Thread Matthew Fernandez
> 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 alre

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

2020-05-30 Thread Matthew Fernandez
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.

2020-05-27 Thread Matthew Fernandez
> 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

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

2020-05-27 Thread Matthew Fernandez
> 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 fi

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

2020-05-26 Thread Matthew Fernandez
> 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

2020-05-20 Thread Matthew Fernandez
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 :

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

2020-04-30 Thread Matthew Fernandez
> 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

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

2020-04-30 Thread Matthew Fernandez
> 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

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

2020-04-29 Thread Matthew Fernandez
> 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

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

2020-04-29 Thread Matthew Fernandez
issue can be reproduced in clustalo only which is pure C code. > May be you have a look at > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956324#59 > > and the following discussion. Despite Matthew has found some issues inside > the C code it did not helped to prevent: > >

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

2020-04-27 Thread Matthew Fernandez
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 :

Re: blocked migrations due to timeout

2020-04-25 Thread Matthew Fernandez
> On Apr 25, 2020, at 00:10, Rebecca N. Palmer wrote: > > Matthew Fernandez wrote (ordering changed): >> I don’t get the same warning for mipsel and armel because the binary built >> fine there. It’s just that the test suite didn’t complete. > > No: by default, f

Re: blocked migrations due to timeout

2020-04-24 Thread Matthew Fernandez
Hi Andrey, Thanks for your reply. > On Apr 24, 2020, at 08:32, Andrey Rahmatullin wrote: > > On Fri, Apr 24, 2020 at 07:29:40AM -0700, Matthew Fernandez wrote: >> The arm64 failure [2] looks legitimate (though I >> don’t understand why excuses also says “arch:arm64 not b

blocked migrations due to timeout

2020-04-24 Thread Matthew Fernandez
Hello mentors, I recently uploaded a new version of my package that is waiting in unstable [0], too young to yet migrate into testing. However, IIUC the excuses [1] the migration block is probably permanent due to regressions on arm64 and mipsel. The arm64 failure [2] looks legitimate (though I

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

2020-04-19 Thread Matthew Fernandez
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 :

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

2020-04-18 Thread Matthew Fernandez
> 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

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

2020-04-17 Thread Matthew Fernandez
> 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

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

2020-04-17 Thread Matthew Fernandez
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. > >

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

2020-04-17 Thread Matthew Fernandez
> 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 -

Re: Cmake error in diamond-aligner: pthreads - not found

2020-03-27 Thread Matthew Fernandez
Hi Andreas, I can’t reproduce this either, but in case your subject was hinting at a suspected cause, I don’t think this is it. The output shows CMake successfully finding Pthreads. The line numbers don’t make much sense to me; there is no else statement on line 69, and CMakeLists.txt is only 1

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

2020-03-15 Thread Matthew Fernandez
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 :

Re: RFS: rumur/2020.02.17-1 -- model checker for the Murphi language

2020-03-02 Thread Matthew Fernandez
On Mon, 2 Mar 2020 at 07:38, Adam Borowski wrote: > On Mon, Mar 02, 2020 at 07:29:54AM -0800, Matthew Fernandez wrote: > > Adam, did my last comment on #951497 make sense? Just wanted to check > > you’re not waiting on more information from me. > > > > > On F

Re: RFS: rumur/2020.02.17-1 -- model checker for the Murphi language

2020-03-02 Thread Matthew Fernandez
Adam, did my last comment on #951497 make sense? Just wanted to check you’re not waiting on more information from me. > On Feb 18, 2020, at 20:49, Matthew Fernandez > wrote: > > Package: sponsorship-requests > Severity: normal > > Dear mentors, > > I am looking f

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

2020-02-22 Thread Matthew Fernandez
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

2020-02-18 Thread Matthew Fernandez
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#950124: RFS: rumur/2020.01.27-1 -- model checker for the Murphi language

2020-01-28 Thread Matthew Fernandez
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 :

Re: C++ help needed for pbdagcon

2020-01-23 Thread Matthew Fernandez
> 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#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

2020-01-16 Thread Matthew Fernandez
> 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: >

Re: Help: Building asymptote on alpha

2020-01-16 Thread Matthew Fernandez
On Thu, 16 Jan 2020 at 10:53, Hilmar Preuße wrote: > Am 16.01.2020 um 17:24 teilte Matthew Fernandez mit: > > Hi, > > > This error appears to be from the BDW garbage collector [0]. Are you > > sure it works on Linux on Alpha? The docs refer to a missing file, > > RE

Re: Help: Building asymptote on alpha

2020-01-16 Thread Matthew Fernandez
This error appears to be from the BDW garbage collector [0]. Are you sure it works on Linux on Alpha? The docs refer to a missing file, README.alpha, and the source has exciting comments like “untested but hopefully should work on Linux/Alpha.” What’s going on here might be an mmap or sbrk failu

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

2020-01-14 Thread Matthew Fernandez
> 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

2020-01-14 Thread Matthew Fernandez
> 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

Re: Bug#925629: aghermann: ftbfs with GCC-9

2020-01-14 Thread Matthew Fernandez
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

2020-01-13 Thread Matthew Fernandez
> 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 &

Re: aghermann: ftbfs with GCC-9

2020-01-13 Thread Matthew Fernandez
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

2020-01-12 Thread Matthew Fernandez
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

2020-01-12 Thread Matthew Fernandez
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 :

Re: aghermann: ftbfs with GCC-9

2020-01-12 Thread Matthew Fernandez
> 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

control Vcs-Git

2020-01-09 Thread Matthew Fernandez
new release [2]. I had been expecting vcswatch to look at ‘master’ and prompt me that it was X commits ahead of my packaging branch, and maybe it was time to merge and release. Is this just a misunderstanding of mine or should I actually be pointing my Vcs-Git at ‘master’? Thanks, Matthew [0

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

2019-12-10 Thread Matthew Fernandez
> 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

Re: dh_installman mv errors

2019-10-31 Thread Matthew Fernandez
> On Oct 31, 2019, at 00:36, Sven Joachim wrote: > > On 2019-10-30 22:27 -0700, Matthew Fernandez wrote: > >> I should remove debian/rumur.manpages, right? > > I don't think that is a particularly good idea. At least you want to > keep ast-dump/doc/rumur-ast

Re: dh_installman mv errors

2019-10-30 Thread Matthew Fernandez
On Wed, 30 Oct 2019 at 19:40, Matthew Fernandez wrote: > Hello mentors, > > Thanks to the hard work of Debian volunteers, I recently had a package > sponsored and uploaded [0]. Not being confident in my ability to remember > the packaging steps, I scripted my understanding of be

dh_installman mv errors

2019-10-30 Thread Matthew Fernandez
there’s a better way of doing this, I would be open to such feedback as well. Thanks, Matthew [0]: https://packages.debian.org/sid/rumur [1]: https://github.com/Smattr/rumur/blob/master/misc/package-for-debian.sh [2]: https://mentors.debian.net/package/rumur [3]: https://bugs.debian.org

Re: Removing lintian warnings? (package games/dmagnetic)

2019-10-07 Thread Matthew Fernandez
> On Oct 7, 2019, at 01:25, Thomas Dettbarn wrote: > > Hello! > > Currently, I am trying to get my package dMagnetic into > Debian's repository. You can find it at > > https://mentors.debian.net/package/dmagnetic > > Despite my best effords, there are still a handful of lintian warnings le

Re: System freeze while compiling

2019-09-14 Thread Matthew Fernandez
> On Sep 14, 2019, at 14:35, Abou Al Montacir wrote: > > On Sat, 2019-09-14 at 12:58 +0200, Geert Stappers wrote: >> On Sat, Sep 14, 2019 at 10:55:11AM +0200, Abou Al Montacir wrote: >>> Actually I'm very surprised that a user space program (compiler) running on >>> an >>> unprevileged account

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

2019-08-27 Thread Matthew Fernandez
> 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]

2019-08-27 Thread Matthew Fernandez
> 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

Fwd: rumur package has been removed from Mentors

2019-07-01 Thread Matthew Fernandez
needed to wait for the buster unfreeze for any further progress. Did I misunderstand the process and was something further required from my side? Thanks, Matthew [0]: https://ftp-master.debian.org/new.html > Begin forwarded message: > > From: mentors.debian.net > Subject: rumur pack

Re: A question about stack alignment in C language

2019-04-05 Thread Matthew Fernandez
> On Apr 5, 2019, at 19:08, Mo Zhou wrote: > > Hi mentors, > > This question tightly associates with my ongoing work for Debian's > BLAS/LAPACK packages, specifically the 32-bit and 64-bit variants. > I encountered a problem that I don't fully understand so I think I > need some help at this p

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

2019-02-01 Thread Matthew Fernandez
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]

2019-01-20 Thread Matthew Fernandez
> 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]

2019-01-18 Thread Matthew Fernandez
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

Re: Build-Depends for a Python wrapper

2018-12-25 Thread Matthew Fernandez
> On Dec 25, 2018, at 02:41, Geert Stappers wrote: > > On Mon, Dec 24, 2018 at 06:09:04PM -0800, Matthew Fernandez wrote: >> Hello Debian Mentors, >> >> I???m preparing to request a piece of software I maintain be made >> available on Debian and have been do

Build-Depends for a Python wrapper

2018-12-24 Thread Matthew Fernandez
the right direction, I would be very grateful. Thanks, Matthew [0]: https://github.com/Smattr/rumur/blob/packaging/debian/rumur/src/rumur-run [1]: https://github.com/Smattr/rumur/blob/packaging/debian/debian/control

Bug#884697: RFS: logrotate/3.13.0-1 ITA

2018-01-14 Thread Matthew Pryce
Hello I would like to adopt a package that I identified myself with, someone could help me and tell me how I can adopt it, I would be very grateful. 2018-01-14 12:35 GMT-02:00 Tobias Frost : > Control: tags -1 -moreinfo > > Hi Christian, > > logrotate have now been orphaned. > > Now you can do

Bug#814865: RFS: helm-synth/0.6.2-3 [ITP]

2016-04-10 Thread Matthew Tytel
Thanks for the review.. sigh... A lot to do. I could use a little guidance though. I'm using this library called JUCE: https://www.juce.com/ https://github.com/julianstorer/JUCE It looks like a lot of the problems are stemming from that project. And, it's a little big and unfamiliar to take on in

Bug#814865: RFS: helm-synth/0.6.2-3 [ITP]

2016-02-15 Thread Matthew Tytel
Package: sponsorship-requests Severity: wishlist Hello mentors, I am looking for a sponsor for my package "helm-synth" * Package name: helm-synth Version : 0.6.2-3 Upstream Author : Matt Tytel * URL : http://tytel.org/helm * License : GPL-3.0 Section

Bug#782074: RFS: ublock/1.1.1+dfsg-1 [ITP] -- general-purpose lightweight ads, malware, trackers blocker

2015-11-14 Thread Matthew Bekkema
The script tools/fix-3p-assets.sh blanks out a bunch of the thirdparty filter lists in the resulting extensions. Do you think it's worth removing them from the source package as well? Upstream plans on removing them from theirs eventually too: https://github.com/gorhill/uBlock/issues/885 By remov

Bug#782074: RFS: ublock/1.1.1+dfsg-1 [ITP] -- general-purpose lightweight ads, malware, trackers blocker

2015-09-24 Thread Matthew Bekkema
I packaged uBlock Origin as suggested by Marius. Source package: http://mentors.debian.net/debian/pool/main/u/ublock/ublock_1.1.1+dfsg-1.dsc Mentors page: http://mentors.debian.net/package/ublock I also enabled the chromium build for this one. debian/uBlock0.pem is a private key which the .crx f

Bug#782074: RFS: ublock/0.9.5.0+dfsg1-1 [ITP] -- general-purpose lightweight ads, malware, trackers blocker

2015-08-28 Thread Matthew Bekkema
Thanks for the review! I contacted the upstream author of hufilter and it's now distributed under CC-BY-SA-4.0 license. I renamed the other "pulic-domain" short description to "unlicense". I'm not sure how to fix the other issues. According to https://www.debian.org/doc/packaging-manuals/copyrigh

Bug#782074: RFS: ublock/0.9.5.0+dfsg1-1 [ITP] -- general-purpose lightweight ads, malware, trackers blocker

2015-08-26 Thread Matthew Bekkema
is command: dget -x http://mentors.debian.net/debian/pool/main/u/ublock/ublock_0.9.5.0+dfsg1-1.dsc More information about ublock can be obtained from https://github.com/chrisaljoudi/uBlock Changes since the last upload: * Initial release (Closes: #778719) Regards, Matthew Bekkema

Bug#782074: RFS: ublock/0.9.3.0-1 [ITP] -- general-purpose lightweight ads, malware, trackers blocker

2015-08-24 Thread Matthew Bekkema
I packaged version 0.9.5.0 which can be downloaded here: http://mentors.debian.net/debian/pool/main/u/ublock/ublock_0.9.5.0+dfsg1-1.dsc

Bug#782074: RFS: ublock/0.9.3.0-1 [ITP] -- general-purpose lightweight ads, malware, trackers blocker

2015-05-23 Thread Matthew Bekkema
Sorry for the delay, I've patched filter-lists.json to have nonfree filters disabled by default. Nonfree filters will only be downloaded if the user enables them. The latest package can be downloaded here: http://mentors.debian.net/debian/pool/main/u/ublock/ublock_0.9.4.0+dfsg1-1.dsc -- To UNS

Bug#782074: RFS: ublock/0.9.3.0-1 [ITP] -- general-purpose lightweight ads, malware, trackers blocker

2015-04-08 Thread Matthew Bekkema
idea why it doesn't work because the "xul-ext-ublock.xpi" created in the build directory works just fine. Any help would be greatly appreciated. Regards, Matthew -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe&q

Bug#782074: RFS: ublock/0.9.3.0-1 [ITP] -- general-purpose lightweight ads, malware, trackers blocker

2015-04-07 Thread Matthew Bekkema
with dget using this command: dget -x http://mentors.debian.net/debian/pool/main/u/ublock/ublock_0.9.3.0-1.dsc More information about uBlock can be obtained from https://github.com/chrisaljoudi/uBlock. Regards, Matthew Bekkema -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debia

  1   2   3   4   5   6   7   8   9   >