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

2019-02-01 Thread Matthew Fernandez
Hello mentors,

I posted an RFS a little while ago, but didn’t realise I was allowed to deviate 
from the template and add a little “hot spice” as the FAQ suggests. With that 
in mind, here’s a snippet from my package’s d/control that may entice some 
potential sponsors:

Rumur is a model checker for use in the formal verification of finite state
machines specified in the Murphi modelling language. It is based on a previous
tool, CMurphi, and attempts to provide an approximate drop-in replacement for
CMurphi. In comparison to CMurphi, Rumur generates a verifier that runs 
significantly
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 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 Unlicense
>  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_2019.01.12-1.dsc
> 
> More information about rumur can be obtained from 
> https://github.com/Smattr/rumur.
> 
> Changes since the last upload:
> 
> Initial release. Closes #919220.
> 
> 
> Regards,
> Matthew Fernandez



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

2019-01-20 Thread Adam Borowski
On Sun, Jan 20, 2019 at 12:15:54PM -0800, Matthew Fernandez wrote:
> > 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

> > The package fails to build:
> > .
> > In file included from /<>/librumur/src/parse.cc:10:
> > /<>/librumur/include/rumur/scanner.h:6:12: fatal error: 
> > FlexLexer.h: No such file or directory
> >   #include 
> > `
> > This looks like missing build-dependency on libfl-dev.
> 
> I guess I didn’t notice this as I had something else installed that pulled
> in libfl-dev.  Is there a page where I can see results from an attempted
> build of my uploaded package?  Or maybe you built it yourself locally to
> discover this?

flex has Recommends: libfl-dev, which _usually_ pulls that package in on
user systems.  That's specifically disabled in build environments -- only
strict dependencies are guaranteed to be installed.

The best way to test whether a package will build is to compile it in a
minimal chroot.  The automated way to do so is to use a tool like sbuild or
pbuilder -- the former is used on official buildds and more fit for
heavy-duty use, while pbuilder is much easier to use.


Meow!
-- 
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ Remember, the S in "IoT" stands for Security, while P stands
⢿⡄⠘⠷⠚⠋⠀ for Privacy.
⠈⠳⣄



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/rumur_2019.01.12-1.dsc
> 
>> Changes since the last upload:
>> 
>> Initial release. Closes #919220.
> 
> The package is marked as "UNRELEASED" -- ie, marked as not meant for
> uploading.  Generally, RFS bugs are requests for actual uploads, there's no
> need to file a bug if all you want is review of a WIP state.  I guess the
> marking was left accidentally…

Thanks for the review, Adam!

This was my own misunderstanding. I thought packages were intended to be marked 
“UNRELEASED” right up until when they were approved. I’ll fix that.

> The package fails to build:
> .
> In file included from /<>/librumur/src/parse.cc:10:
> /<>/librumur/include/rumur/scanner.h:6:12: fatal error: 
> FlexLexer.h: No such file or directory
>   #include 
> `
> This looks like missing build-dependency on libfl-dev.

I guess I didn’t notice this as I had something else installed that pulled in 
libfl-dev. Is there a page where I can see results from an attempted build of 
my uploaded package? Or maybe you built it yourself locally to discover this?


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

2019-01-19 Thread Adam Borowski
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/rumur_2019.01.12-1.dsc

> Changes since the last upload:
> 
>  Initial release. Closes #919220.

The package is marked as "UNRELEASED" -- ie, marked as not meant for
uploading.  Generally, RFS bugs are requests for actual uploads, there's no
need to file a bug if all you want is review of a WIP state.  I guess the
marking was left accidentally...

The package fails to build:
.
In file included from /<>/librumur/src/parse.cc:10:
/<>/librumur/include/rumur/scanner.h:6:12: fatal error: 
FlexLexer.h: No such file or directory
   #include 
`
This looks like missing build-dependency on libfl-dev.


Meow!
-- 
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ Remember, the S in "IoT" stands for Security, while P stands
⢿⡄⠘⠷⠚⠋⠀ for Privacy.
⠈⠳⣄



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 Unlicense
  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_2019.01.12-1.dsc

More information about rumur can be obtained from 
https://github.com/Smattr/rumur.

Changes since the last upload:

 Initial release. Closes #919220.


Regards,
 Matthew Fernandez