Sign me up Login

Details about package "rumur"

Name: rumur
Uploader: Matthew Fernandez <matthew.fernandez@gmail.com> (Debian QA page)
Description: rumur - model checker for the Murphi language

Package versions

Version 2019.02.04-1

Information

Version: 2019.02.04-1
Uploaded: 2019-02-07 05:12
Source package: https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2019.02.04-1.dsc
Section: devel
Priority: optional
Closes bugs: 919220

QA information

Comments

  1. Ah yes, the watch file may seem trivial, but it's actually really useful. In your debian QA page (https://qa.debian.org/developer.php?login=matthew.fernandez@gmail.com) it will automatically show you when your package is out of date. Which doesn't seem like a big deal if you just have one or a few packages, but if you get to the point where you have a few dozen packages it becomes really useful.
    
    Looks good, uploading to NEW...
    Perfect Jonathan Carter at 2019-02-07 07:35:47.508769
  2. Uploaded to new
    Perfect Jonathan Carter (highvoltage) <jcc> at 2019-02-07 11:49:45.453628 Package has been uploaded to Debian

Version 2019.02.04-1

Information

Version: 2019.02.04-1
Uploaded: 2019-02-07 04:22
Source package: https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2019.02.04-1.dsc
Section: devel
Priority: optional
Closes bugs: 919220

QA information

Comments

No comments

Version 2019.02.01-1

Information

Version: 2019.02.01-1
Uploaded: 2019-02-02 03:02
Source package: https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2019.02.01-1.dsc
Section: devel
Priority: optional
Closes bugs: 919220

QA information

Comments

  1. Hi, I haven't given this a full review yet, but I notice that it doesn't have a debian/watch file. I see that releases are available on https://github.com/Smattr/rumur/releases, so you could use that to check for new releases.
    Needs work Jonathan Carter at 2019-02-06 11:25:54.204339
  2. PS: It also seems to fail to build in a clean chroot using pbuilder on amd64:
    """
    [ 57%] Linking CXX executable rumur-ast-dump
    cd /build/rumur-2019.02.01/obj-x86_64-linux-gnu/ast-dump && /usr/bin/cmake -E cmake_link_script CMakeFiles/rumur-ast-dump.dir/link.txt --verbose=1
    /usr/bin/c++  -g -O2 -fdebug-prefix-map=/build/rumur-2019.02.01=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow  -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic CMakeFiles/rumur-ast-dump.dir/src/main.cc.o CMakeFiles/rumur-ast-dump.dir/src/XMLPrinter.cc.o  -o rumur-ast-dump ../librumur/librumur.a -lgmpxx -lgmp 
    make[3]: Leaving directory '/build/rumur-2019.02.01/obj-x86_64-linux-gnu'
    [ 57%] Built target rumur-ast-dump
    make[2]: Leaving directory '/build/rumur-2019.02.01/obj-x86_64-linux-gnu'
    make[1]: *** [Makefile:144: all] Error 2
    make[1]: Leaving directory '/build/rumur-2019.02.01/obj-x86_64-linux-gnu'
    dh_auto_build: cd obj-x86_64-linux-gnu && make -j4 "INSTALL=install --strip-program=true" returned exit code 2
    """
    Jonathan Carter at 2019-02-06 11:31:14.110027
  3. Thanks for the review! Much appreciated!
    
    Nicolas Boulenguez had previously mentioned the lack of a debian/watch file, but I'd thought as this was only informational I could implement it later. I've gone ahead and added one based on Nicolas' suggestion now.
    
    For the pbuilder error, it was a missing xxd dependency. Sorry, I should have been using pbuilder locally to test.
    
    I believe both of these issues are fixed in the latest uploaded version (time stamp 2019-02-07 05:12).
    Matthew Fernandez at 2019-02-07 05:16:30.214457

Version 2019.01.12-1

Information

Version: 2019.01.12-1
Uploaded: 2019-01-21 02:52
Source package: https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2019.01.12-1.dsc
Section: devel
Priority: optional
Closes bugs: 919220

QA information

Comments

No comments

Version 2019.01.12-1

Information

Version: 2019.01.12-1
Uploaded: 2019-01-19 02:25
Source package: https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2019.01.12-1.dsc
Section: devel
Priority: optional
Closes bugs: 919220

QA information

Comments

No comments

Version 2019.01.12

Information

Version: 2019.01.12
Uploaded: 2019-01-16 05:07
Source package: https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2019.01.12.dsc
Section: devel
Priority: optional

QA information

Comments

No comments

Version 2019.01.12

Information

Version: 2019.01.12
Uploaded: 2019-01-14 02:23
Source package: https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2019.01.12.dsc
Section: devel
Priority: optional

QA information

Comments

No comments