Sign me up Login

Details about package rumur

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

Package uploads

Upload #2

Information

Version:	2025.01.05-1
Uploaded:	2025-01-05 06:56
Source package:	rumur_2025.01.05-1.dsc
Distribution:	unstable
Section:	devel
Priority:	optional
Homepage:	https://github.com/Smattr/rumur
Vcs-Git:	https://github.com/Smattr/rumur.git -b packaging/debian
Vcs-Browser:	https://github.com/Smattr/rumur/tree/packaging/debian

Changelog

 rumur (2025.01.05-1) unstable; urgency=medium
 .
   * New upstream release.
   * Add python3-pytest as a build dependency.
   * Add a Lintian override for a descriptive file installed outside doc.

QA information

–
Package uses debhelper-compat

Debhelper compatibility level 13

–

Package is the latest upstream version

Local:	2025.01.05
Upstream:	2025.01.05
Url:	https://github.com/Smattr/rumur/archive/refs/tags/v2025.01.05.tar.gz

–
Package is not native

Format: 3.0 (quilt)
–
"Maintainer" email is the same as the uploader
–
Package has lintian experimental tags
rumur source
- X debian-watch-does-not-check-openpgp-signature
  - [debian/watch]
- X prefer-uscan-symlink
  - filenamemangle s/.+\/v?(\d\S+)\.tar\.gz/rumur-$1\.tar\.gz/ [debian/watch:3]
–
Package is already in Debian
- The package uploader is currently maintaining rumur in Debian
- Last upload was on the 2024-07-14
–
d/copyright is in DEP5 format

Upstream Contact: Matthew Fernandez <matthew.fernandez@gmail.com>

Licenses: Unlicense

Comments

No comments

Upload #1

Information

Version:	2025.01.04-1
Uploaded:	2025-01-04 03:41
Source package:	rumur_2025.01.04-1.dsc
Distribution:	unstable
Section:	devel
Priority:	optional
Homepage:	https://github.com/Smattr/rumur
Vcs-Git:	https://github.com/Smattr/rumur.git -b packaging/debian
Vcs-Browser:	https://github.com/Smattr/rumur/tree/packaging/debian

Changelog

 rumur (2025.01.04-1) unstable; urgency=medium
 .
   * New upstream release.
   * Add python3-pytest as a build dependency.
   * Add a Lintian override for a descriptive file installed outside doc.

QA information

–
Package uses debhelper-compat

Debhelper compatibility level 13

–

Package is the latest upstream version

Local:	2025.01.04
Upstream:	2025.01.04
Url:	https://github.com/Smattr/rumur/archive/refs/tags/v2025.01.04.tar.gz

–
Package is not native

Format: 3.0 (quilt)
–
"Maintainer" email is the same as the uploader
–
Package has lintian experimental tags
rumur source
- X debian-watch-does-not-check-openpgp-signature
  - [debian/watch]
- X prefer-uscan-symlink
  - filenamemangle s/.+\/v?(\d\S+)\.tar\.gz/rumur-$1\.tar\.gz/ [debian/watch:3]
–
Package is already in Debian
- The package uploader is currently maintaining rumur in Debian
- Last upload was on the 2024-07-14
–
d/copyright is in DEP5 format

Upstream Contact: Matthew Fernandez <matthew.fernandez@gmail.com>

Licenses: Unlicense

Comments

No comments

Upstream Contact:	Matthew Fernandez <matthew.fernandez@gmail.com>
Licenses:	Unlicense