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

On Thu, 2024-06-20 at 08:33 +1000, Matthew Fernandez wrote: > 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

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

Hi Matthew, Thanks for making another update of the package. Your effort and contribution to Debian is very much welcomed. Review... 1. Build: OK 2. Lintian: OK - See Additional: A I: rumur: file-references-package-build-path [usr/include/rumur/location.hh] N: N: The listed file or

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

On 6/16/24 04:11, Phil Wyett wrote: Hi Matthew, Letting mistakes slip through as you say would be worse. Software is getting more complex in a variety of fields/organisations etc. that use Debian. If build times increase because of this the infrastructure team should see this and move/act

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

On Sat, 2024-06-15 at 09:39 +1000, Matthew Fernandez wrote: > 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

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

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

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 tests to be performed. There maybe reasoning why this

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 * License :