Debian Package Tracker
Register | Log in
Subscribe

rumur

model checker for the Murphi language

Choose email to subscribe with

general
  • source: rumur (main)
  • version: 2024.05.07-1
  • maintainer: Matthew Fernandez (DMD)
  • arch: any
  • std-ver: 4.7.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • oldstable: 2020.12.20-1
  • stable: 2022.08.20-1
  • testing: 2024.05.07-1
  • unstable: 2024.05.07-1
versioned links
  • 2020.12.20-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 2022.08.20-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 2024.05.07-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • rumur
action needed
A new upstream version is available: 2025.01.05 high
A new upstream version 2025.01.05 is available, you should consider packaging it.
Created: 2024-05-08 Last update: 2025-01-12 10:00
version in VCS is newer than in repository, is it time to upload? normal
vcswatch reports that this package seems to have a new changelog entry (version 2025.01.05-1, distribution unstable) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:
commit 0cba7dae41b545386226a1280d14ee35ec443b7c
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jan 6 07:17:13 2025 +1100

    remove unnecessary 'python3' suggests
    
    Apparently this is always pre-installed in Debian.
    
    Debian: https://lists.debian.org/debian-mentors/2025/01/msg00052.html
    Reported-by: Phil Wyett <philip.wyett@kathenas.org>

commit 02bfe8cfe02bf902a12fcb04154e3ee5ea508ffd
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jan 5 17:17:25 2025 +1100

    update Debian changelog
    
    v2025.01.04-1 was never sponsored due to feedback¹ that was incorporated into a
    new release.
    
    ¹ https://lists.debian.org/debian-mentors/2025/01/msg00047.html

commit a61ed92f374cf5158fe8ba9750b441659727eff1
Merge: e055b7d ada348a
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jan 5 17:09:26 2025 +1100

    Merge tag 'v2025.01.05' into packaging/debian

commit e055b7de4c9eaad1f9d7b23f5e776c3ab41b9fd9
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jan 5 08:31:39 2025 +1100

    update librumur-api Autopkgtest
    
    603a2e4bd4a8ef3a99907f408a04e361dbe9f3bb updated the API in a breaking way that
    requires changing this code. Although this change happened a couple of releases
    back, there has been no Debian packaging in the meantime so this was not
    realised when scanning for changes since the last release. The fact that this
    was not caught pre-RFS indicates a bit of a hole in our process (Autopkgtests
    are apparently not run) which should be addressed in future.
    
    Debian: https://lists.debian.org/debian-mentors/2025/01/msg00047.html
    Reported-by: Phil Wyett <philip.wyett@kathenas.org>

commit 139654cebbe5b48971a17aa5fbe153fe034ab764
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 4 13:21:47 2025 +1100

    try another fix to Lintian overriding

commit 0ddf1ae1a1c15b63d337de92ecfada7d2830fe6a
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 4 13:04:54 2025 +1100

    fix Lintian override to apply to 'rumur' package

commit bad8eb28e54b963cb1d28f01233e08dabdf66ebb
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 4 12:31:32 2025 +1100

    override Lintian warning for share/README.rst
    
    Lintian warns about this:
    
      $ lintian --display-experimental --display-info --info --pedantic \
        --show-overrides --verbose
      N:
      I: rumur: package-contains-documentation-outside-usr-share-doc [usr/share/rumur/lib/README.rst]
      N:
      N:   This package ships a documentation file outside /usr/share/doc Documentation files are normally installed inside /usr/share/doc.
      N:
      N:   If this file doesn't describe the contents or purpose of the directory it is in, please consider moving this file to /usr/share/doc/ or maybe even
      N:   removing it. If this file does describe the contents or purpose of the directory it is in, please add a lintian override.
      N:
      N:   Visibility: info
      N:   Show-Always: no
      N:   Check: documentation
      N:
      N:   Screen: python/egg/metadata
      N:     Advocates: "Scott Kitterman" <debian@kitterman.com>
      N:     Reason: The folders XXX.dist-info/ and XXX.egg-info/ hold metadata for Python modules. Those files are not documentation even though some of their
      N:             names carry the .txt file extension.
      N:
      N:             Python modules can be both public and private.
      N:
      N:             Read more in https://www.python.org/dev/peps/pep-0427/#the-dist-info-directory, https://www.python.org/dev/peps/pep-0376/#id16,
      N:             https://www.python.org/dev/peps/pep-0610/, https://www.python.org/dev/peps/pep-0639/,
      N:             https://setuptools.pypa.io/en/latest/deprecated/python_eggs.html, and Bug#1003913.
      N:
      N:

commit 7c820370c21ffe065b3ac7ff05336203d90be8f3
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 4 11:38:58 2025 +1100

    add Pytest build dependency

commit dae46dc7cf3686350c6d66009e9a4974ce5a2224
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 4 11:36:55 2025 +1100

    update Debian changelog

commit 5c3b006c4bd92a1505699a7b283c8a42736bbc24
Merge: 612fca8 f99fe30
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 4 11:35:50 2025 +1100

    Merge tag 'v2025.01.04' into packaging/debian

commit 612fca852cd11a74eadc5c1da7d11e5fb982c37a
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jun 17 17:44:39 2024 +1000

    update Debian copyright years 2019 → 2019-2024
    
    Suggested-by: Phil Wyett <philip.wyett@kathenas.org>

commit 55476c54e49d1fdda3e263046687a27c31bc54f8
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jun 17 17:43:02 2024 +1000

    update Debian standard version 4.6.2 → 4.7.0
    
    Suggested-by: Phil Wyett <philip.wyett@kathenas.org>

commit 8e4faeeb97ad17897f3d0149c3ef07f14006ed03
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jun 17 17:40:59 2024 +1000

    add Z3 as suggested for Debian installation
    
    Something coming out of a discussion with Phil Wyett.

commit 22eeb9c7780a8548978632beb541c8254eceda39
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jun 15 08:09:17 2024 +1000

    enable SMT and XNL tests during Debian packaging
    
    Suggested-by: Phil Wyett <philip.wyett@kathenas.org>

commit ea0e021cc1760febd98a5e166371ed35189ae053
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun May 19 07:35:07 2024 +1000

    fix: realign autopkgtest libatomic check with the verifier
    
    The autopkgtest to check Rumur could generate a compilable model contains logic
    to decide whether linking against libatomic is needed, but this logic did not
    correspond to the actual verifier code closely enough. The __sync built-in it
    tests can be lowered to a single instruction on ≥ armv8.1-a, but the __atomic
    built-ins used in the actual verifier cannot.
    
    Changes to the verifier itself should now allow it to be lock-free on ≥
    armv8.1-a. This change updates the logic used to check libatomic requirements to
    something that approximates the new verifier.
    
    Debian: fixes https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1018205
    Reported-by: Tobias Frost <tobi@debian.org>
    Thanks: Caroline Xu

commit 914c7aa0a438813681a709a4ae8311c907485ece
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun May 19 07:33:13 2024 +1000

    update Debian changelog

commit 678ec3777977cfae2aa46fbcd57359af86d2e3e0
Merge: 575a6cb 0257c88
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun May 19 07:24:19 2024 +1000

    Merge tag 'v2024.05.07' into packaging/debian

commit 575a6cb9610197d68e1f11b4807c6fad72300c04
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Mar 18 01:52:00 2024 +1100

    upgrade debian-compat 12 → 13
    
    Suggested-by: Lintian

commit 4c635e98c8f1ff1db8925f8d0f5821099ebef618
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jan 29 19:40:59 2024 +1100

    fix Debian 'Vcs-Browser'
    
    Debian: fixes https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1018202
    Reported-by: Tobias Frost <tobi@debian.org>
    Suggested-by: Tobias Frost <tobi@debian.org>

commit 8f4f84f614c0efc4bc9906912918eeb1f0c3c0bf
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Dec 10 11:26:53 2023 +1100

    update Debian changelog

commit f067dd98a8d8226c9483ca47d512f8d81f3c780f
Merge: de9e962 482b149
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Dec 10 11:20:11 2023 +1100

    Merge tag 'v2023.11.27' into packaging/debian

commit de9e962946437f5d8a835fb5465b29ca2f9cd19b
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jul 22 10:40:41 2023 +1000

    remove copyright exemption for debian/
    
    As suggested by Tobias Frost in email on 2022-08-23.

commit 85f542c783d966fe247738cb3b946e4251e64218
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jul 22 10:38:16 2023 +1000

    update Debian control standards to 4.6.2
    
    As suggested by Lintian during packaging.

commit 5d40afdf8e4ae3e7719af80cbbc7be93a8538419
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jul 22 09:47:56 2023 +1000

    update Debian changelog
    
    This update uses no spacing between entries, as suggested to me by Tobias Frost
    in email 2022-08-23.

commit e90f9624f0b84c549a518d5c74c2183e6e820f24
Merge: fcbf692 7c168cd
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jul 22 09:45:04 2023 +1000

    Merge remote-tracking branch 'origin/main' into packaging/debian

commit fcbf6928317941542452480b687d50f6d07662ab
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Aug 20 15:32:53 2022 -0700

    update Debian standard version

commit b29fa41c6e3ecec72542ee4e7784e70827a591b8
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Aug 20 14:58:50 2022 -0700

    update Debian changelog

commit d0be6138297bb926a79c79e37f6340a4159ca511
Merge: ddee837 c86bebf
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Aug 20 14:56:59 2022 -0700

    Merge tag 'v2022.08.20' into packaging/debian

commit ddee8377c4f02ea618cdb8508d45150300a02d1e
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Wed Mar 16 20:52:47 2022 -0700

    fix Debian watch file
    
    Debian uscan was complaining about this. It is unclear if this was always broken
    or if there has been a change in Github’s URLs. This change is based on Debian
    Watch’s suggestion,¹ with a tweak to avoid `packaging/debian` tags.
    
    ¹ https://wiki.debian.org/debian/watch#GitHub

commit ebe42b76b3bc91969149aa30d8d173eb86be293c
Merge: 7db36ea d7ee6bb
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Wed Mar 9 18:32:10 2022 -0800

    Merge pull request #230 from debian-janitor/scrub-obsolete
    
    Remove unnecessary constraints

commit d7ee6bbd39e999a704815251aa18a33a4990f1f6
Author: root <root@bf0aeeb6f301>
Date:   Mon Mar 7 14:46:24 2022 +0000

    Remove constraints unnecessary since buster
    
    * Build-Depends: Drop versioned constraint on bison, cmake, flex and python3.
    * rumur: Drop versioned constraint on python3 in Suggests.
    
    Changes-By: deb-scrub-obsolete

commit 7db36eaa8cc0de87472fb017d44ba6a10f9d8b98
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Mar 6 11:42:36 2022 -0800

    update Debian changelog

commit dfb360b6c29e18b766f5097edb23d49cd2afe6cf
Merge: 339f57f a71db8f
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Mar 6 11:40:40 2022 -0800

    Merge tag 'v2022.03.05' into packaging/debian

commit 339f57f0987702048b2dda1c29e1b1e37c82f06a
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Dec 28 09:24:17 2021 -0800

    fix Debian changelog typo

commit ac9848428078f400ef35cc2ea321b4d655da1fa6
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Dec 28 09:15:22 2021 -0800

    update Debian changelog

commit 5a6994c167bce772d1b76800015e0cdd65b31fff
Merge: 86976af d332ad7
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Dec 28 09:12:53 2021 -0800

    Merge branch 'main' into packaging/debian

commit 86976afd34713e3aeba52ad93fdac082511b73d4
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Oct 2 10:15:26 2021 -0700

    update Debian standards version

commit f34fed34f7833bc646aa089a1d0b579ac3591db6
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Oct 2 07:59:41 2021 -0700

    update Debian changelog

commit e561636361463f447a28cdc8981877d903dea611
Merge: 9854f1c 9e28fcf
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Oct 2 07:57:58 2021 -0700

    Merge tag 'v2021.09.29' into packaging/debian

commit 9854f1c5468a58cc7ba3c61488464ca6d3c91d27
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Sep 4 09:14:34 2021 -0700

    decrease Python dependency

commit 6ab5fd89e7fbf5100c374196a012fd43803e84f1
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Sep 4 09:12:32 2021 -0700

    update Debian changelog

commit 23bc0c217ad68cbd34738b90b4dae962908ec4aa
Merge: af6a727 6fa0d7c
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Sep 4 08:56:12 2021 -0700

    Merge tag 'v2021.08.28' into packaging/debian

commit af6a7278f6cadbb1287d98cc156b1341b97d2d17
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Dec 22 19:28:48 2020 -0800

    bump Debian standards version

commit 375416d63d040800a54a445d04603a3ebcf0d5c6
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Dec 22 17:23:11 2020 -0800

    update Debian changelog

commit 8480037a2d7da4f2d52dc5b0264bd6ac7f5fbad2
Merge: 18b2268 8edf7b5
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Dec 22 17:19:42 2020 -0800

    Merge branch 'master' into packaging/debian

commit 18b22686e35b1d319ba5f2f2c52f5e609c019cd7
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Sep 7 09:45:25 2020 -0700

    update Debian changelog

commit 64b046bef985d1d8822a6b267b36928d08111760
Merge: 7dabc3f 0e11e10
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Sep 7 09:42:36 2020 -0700

    Merge tag 'v2020.09.06' into packaging/debian

commit 7dabc3fa0ecef0c52e89ce874ff0e5f59f009065
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Thu Jul 30 17:54:14 2020 -0700

    update Debian changelog

commit 16406711ff08b26d7c2fdac8f2583d3751fdd0c9
Merge: 09ea73e 0b602da
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Thu Jul 30 17:53:09 2020 -0700

    Merge tag 'v2020.07.28' into packaging/debian

commit 09ea73e7098cbc7409db694447063ef2d74e4430
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Thu Jul 30 17:52:41 2020 -0700

    Revert "update Debian changelog"
    
    This reverts commit d2422f4f724c629f734b25c43518e33580276847. The RFS for this
    release was never responded to, so we'll just skip this version.

commit d2422f4f724c629f734b25c43518e33580276847
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jun 21 10:15:01 2020 -0700

    update Debian changelog

commit 6a8935880673a3c181218816e70bd7002ac480e3
Merge: 878e80b c852b4e
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jun 21 10:13:17 2020 -0700

    Merge tag 'v2020.06.20' into packaging/debian

commit 878e80bd959903edba879921135050fb6f9e42ec
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat May 30 10:29:05 2020 -0700

    update Debian changelog

commit a135ba46e0deafa6cadc5dedf9f44e31e5795547
Merge: ba6a4da 0422b78
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat May 30 10:26:23 2020 -0700

    Merge tag 'v2020.05.27' into packaging/debian

commit ba6a4da01a40ce788c570fb1ee848741e9e92e0c
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Wed May 20 17:26:26 2020 -0700

    update Debian changelog

commit 2dc905fddf4df0d06058d3cf2e28a16829ec70a0
Merge: 4340ec1 fe2bfc7
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Wed May 20 17:18:20 2020 -0700

    Merge tag 'v2020.05.18' into packaging/debian

commit 4340ec1f6afb5ad23cca7da867858e15a291110b
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue May 5 07:13:41 2020 -0700

    add some more Debian metadata fields

commit 4f39aa98d5cc78c25c0d1505438ad0d999eb8e3a
Merge: 1066486 2eecb79
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue May 5 07:07:44 2020 -0700

    Merge pull request #188 from debian-janitor/lintian-fixes
    
    Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse

commit 2eecb7905b980330946ae7a914b67f91d87f18c4
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Tue May 5 05:27:52 2020 +0000

    Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse.
    
    Fixes: lintian: upstream-metadata-file-is-missing
    See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
    
    
    Fixes: lintian: upstream-metadata-missing-bug-tracking
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html
    
    
    Fixes: lintian: upstream-metadata-missing-repository
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-repository.html

commit 1066486186eea786dd0a6793685452b44c76c003
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Apr 27 17:25:45 2020 -0700

    update Debian changelog

commit a0d862ae02187a473de4787a4d96a68bc23ccab3
Merge: bdb6ab6 4fe39db
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Apr 27 17:13:57 2020 -0700

    Merge tag 'v2020.04.26' into packaging/debian

commit bdb6ab617a8895a3353ede2471d6492522dea3d0
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Apr 19 09:14:23 2020 -0700

    update Debian changelog

commit 22c992eb5d654fa8a7b37a0088d71d17b11f88cd
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Apr 19 09:13:52 2020 -0700

    add some autopkgtests of murphi2murphi

commit b140d21dc261289659dd61629355dd3c1e15d722
Merge: cc67d73 d68d6fd
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Apr 19 09:07:00 2020 -0700

    Merge tag 'v2020.04.05' into packaging/debian

commit cc67d730fe6350544062bac14ca205db4939606f
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Mar 15 10:40:28 2020 -0700

    update Debian changelog

commit f020f006e0ab7a14f7f807563c3135aee73f1026
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Mar 15 10:37:18 2020 -0700

    add some tests for murphi2c

commit 07cc851062c96e342c9e81709062a534f1fbe4ea
Merge: d56c95c d2298b0
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Mar 15 10:26:37 2020 -0700

    Merge tag 'v2020.03.12' into packaging/debian

commit d56c95cbdb9d15584027c9256a349d172e4833b0
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Feb 18 18:30:12 2020 -0800

    update Debian changelog

commit a94f8faf7a48a494e2f409f5293aa13efb9f3701
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Feb 18 18:20:39 2020 -0800

    update Debian autopkgtests for s/rumur-ast-dump/murphi2xml binary rename

commit 1c40d7aff2d5136d2f87578b2a737d66df1dca6f
Merge: 48caaa6 1e8c9ab
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Feb 18 18:14:26 2020 -0800

    Merge branch 'master' into packaging/debian

commit 48caaa605fd05498b75103271c4ea2d0585eecf7
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Wed Jan 29 20:46:17 2020 -0800

    fix: only match native releases when uscaning
    
    Github: closes #182 "debian watch file matches invalid tags"

commit 8f9eb348bf3078552f8ec41cf38072d0f7657cf6
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Jan 28 06:59:34 2020 -0800

    fix: move strace dependency to build instead of autopkgtests
    
    The reason we need strace is so tests/strace-sandbox.sh is runnable. This is run
    as part of the build, not the autopkgtests.

commit 71222a1194b382a7f9a15f2eb1396c80037f2820
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Jan 28 06:58:17 2020 -0800

    add some missing changelog data

commit 58cc924aacdb7ec2714e419f65f0c42290e13e36
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jan 27 19:32:48 2020 -0800

    update Debian standards version

commit 00f5c8737e0b9f5f49abd6aa76d926f188f4ac15
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jan 27 19:31:14 2020 -0800

    include pkg-info.mk instead of inlining
    
    Debian prefers you to do it this way apparently. Lintian complains when you
    inline this logic.

commit 74cf3aeaf953e888fc893e69074b8f59635473f4
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jan 27 18:30:52 2020 -0800

    update Debian changelog

commit 7b89dd5d4d3b520c88a00b15ddea8f0d250f3403
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jan 27 18:29:32 2020 -0800

    add strace as an autopkgtest dependency

commit 27d9b4f5684775c37ac21e682d1adcae20f75274
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jan 27 18:25:08 2020 -0800

    use pkg-info idiom to automatically construct a Debian version
    
    As previously suggested by Adam Borowski.

commit 66dbfcea84ec50932a691727ced1b48a1704f0b4
Merge: c3a8759 3f86d97
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jan 27 17:57:08 2020 -0800

    Merge tag 'v2020.01.27' into packaging/debian

commit c3a8759314d53eb6364a0c60be30539838775742
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jan 19 14:29:25 2020 -0800

    support $CC and $CXX compiler overrides in the Debian autopkgtests

commit 085c6066bc90261b38fd532b514f3bc540be015e
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jan 19 14:26:11 2020 -0800

    do a stronger dword CAS check for -latomic in autopkgtests
    
    Some architecture+toolchain combinations can happily compile libatomic-free
    operations up to a double-word compare-and-swap. When compiling a checker on
    such platforms often the only undefined symbols you see are those relating to
    _16, hence a uint64_t atomic load would spuriously pass the previous test.

commit e0f160e9205e924c822bc5f14b0dff12fcba10fa
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Thu Jan 16 17:08:11 2020 -0800

    fix linking order in Debian autopkgtests
    
    The GNU linker as well as GOLD only search libraries left-to-right, meaning your
    dependencies need to only occur that way unless using --start-group/--end-group.
    This was implicitly reported by Adam Borowski in his review.

commit 33195aa6d934383257082fae884d3f0dbda4bdf2
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Tue Jan 14 19:06:42 2020 -0800

    fix Flex dependency in autopkgtests
    
    Seems libfl-dev is the home of FlexLexer.h, not libfl2.

commit 361902d7b419aafcd47c81e34695d4612dc60833
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Jan 13 17:20:06 2020 -0800

    fix Debian autopkgtest dependencies
    
    As Adam Borowski alerted me to, there is no libgmp package and I wanted the dev
    variant.

commit 8e1cbfd5e044249657ce08b4fd7d1f9a2312bb44
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jan 12 10:02:26 2020 -0800

    update Debian version information

commit f3ccac7747884bf852bbe500a8e9d67f5dd7cdfa
Merge: 6c22d91 a630bb7
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jan 12 09:58:19 2020 -0800

    Merge tag 'v2020.01.11' into packaging/debian

commit 6c22d91b867575215e34490f4290383694b2c6d4
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 11:17:05 2020 -0800

    fix syntax in rumur-model autopkgtest

commit 05dcc8e4dfa863012f28ced465a252a7a5b9d555
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 11:15:20 2020 -0800

    check for -mcx16 and -latomic in librumur autopkgtest

commit a3703eac7a93b5bc8fd4b1d49142d6946e687e87
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 11:02:38 2020 -0800

    namespace autopkgtests
    
    This allows us to run them in parallel if need be.

commit 03addf0a1686dbe0c5fc9388057e31356370d9b6
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 10:58:05 2020 -0800

    parse a full model in librumur test
    
    This is a more thorough test than just that the symbols are available.

commit 29945f6518b8f5c79c6585c8b4124f5901c08de1
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 10:57:50 2020 -0800

    fix: link against GMP during librumur test

commit ff486d40b50c23b3363a127dcb0685902bbe84e1
Merge: d2550ff 8cf196c
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 10:50:10 2020 -0800

    Merge branch 'master' into packaging/debian

commit d2550fffef8999f49fb1de561488c47ea001d5a1
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 10:44:21 2020 -0800

    fix: generate a .cc file for C++ source during autopkgtest

commit 4123a78c5c469e2f08314a68ca49826a51d7afb6
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 10:34:44 2020 -0800

    add some autopkgtests of rumur-ast-dump

commit 6d13f8178bcc882653a57f83ea3d19cbc85e3ecd
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 10:32:15 2020 -0800

    rename autopkgtests to be clearer about what they are running

commit f37672434d166d013a7c69cc7518b5df6b9be49f
Merge: aaecd01 852de64
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Jan 11 10:19:26 2020 -0800

    Merge tag 'v2020.01.07' into packaging/debian

commit aaecd019079d3e6ddda4f93397854fd8b9efdd4f
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jan 5 16:25:00 2020 -0800

    use -latomic instead of -mcx16 in Debian autopkgtest
    
    The latter flag is x86-64-only, so just ignore that we are aiming for lock-free
    code and allow calls to libatomic for this test.

commit 79b431f2cc9737f68d0a39ce548722dd1b15d57f
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Jan 5 14:25:03 2020 -0800

    redo Debian autopkgtest setup
    
    I misunderstood this and thought it was supposed to describe running the
    upstream test suite, when really it is for a slightly different purpose. This
    needs a little work but it at least indicates the rough intention now of testing
    the installed package.

commit 1d0bdad66523495f0f4ccb42fab43547352af0bd
Merge: e5708b0 afdfbe4
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Wed Dec 25 13:30:31 2019 -0800

    Merge branch 'master' into packaging/debian

commit afdfbe42abc88ae2c9344462c608cfaae8c95569
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Wed Dec 25 13:25:01 2019 -0800

    guard Ubuntu 14.04 GCC 7+ check to only take effect in Travis CI
    
    This check was introduced to suppress false failures in some of the Travis CI
    configurations. However, it causes problems during Debian packaging because
    pbuilder tries to run lsb_release which is not accessible within the pdebuild
    chroot. To avoid this, we prevent reaching the lsb_release check unless we are
    running in Travis.
    
    Github: related to #167 "switch all Python dependencies to Python 3 in
      packaging/debian"
Created: 2023-12-11 Last update: 2025-01-12 11:02
RFS: A sponsor is needed to update this package. normal
A Debian contributor is looking for a sponsor to upload a package update. It might be the regular maintainer who does not have any upload right yet, or it might be someone who just wants to help for a bugfix or a new upstream version. In any case, if you have upload rights and care about this package and Debian in general, you should look into sponsoring this update. Please see bug number #1092140 for more information.
Created: 2025-01-04 Last update: 2025-01-05 08:02
Build log checks report 1 warning low
Build log checks report 1 warning
Created: 2022-08-21 Last update: 2022-08-21 19:31
news
[rss feed]
  • [2024-07-16] rumur 2024.05.07-1 MIGRATED to testing (Debian testing watch)
  • [2024-07-14] Accepted rumur 2024.05.07-1 (source) into unstable (Matthew Fernandez) (signed by: Pierre Gruet)
  • [2024-02-03] rumur 2023.11.27-1 MIGRATED to testing (Debian testing watch)
  • [2024-01-29] Accepted rumur 2023.11.27-1 (source) into unstable (Matthew Fernandez) (signed by: Tobias Frost)
  • [2023-07-27] rumur 2023.05.21-1 MIGRATED to testing (Debian testing watch)
  • [2023-07-22] Accepted rumur 2023.05.21-1 (source) into unstable (Matthew Fernandez) (signed by: bage@debian.org)
  • [2022-08-27] rumur 2022.08.20-1 MIGRATED to testing (Debian testing watch)
  • [2022-08-21] Accepted rumur 2022.08.20-1 (source) into unstable (Matthew Fernandez) (signed by: Tobias Frost)
  • [2022-03-15] rumur 2022.03.05-1 MIGRATED to testing (Debian testing watch)
  • [2022-03-09] Accepted rumur 2022.03.05-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2022-02-05] rumur REMOVED from testing (Debian testing watch)
  • [2021-12-29] Accepted rumur 2021.12.27-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2021-10-09] rumur 2021.09.29-1 MIGRATED to testing (Debian testing watch)
  • [2021-10-04] Accepted rumur 2021.09.29-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2021-09-10] rumur 2021.08.28-1 MIGRATED to testing (Debian testing watch)
  • [2021-09-04] Accepted rumur 2021.08.28-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-12-28] rumur 2020.12.20-1 MIGRATED to testing (Debian testing watch)
  • [2020-12-23] Accepted rumur 2020.12.20-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-09-13] rumur 2020.09.06-1 MIGRATED to testing (Debian testing watch)
  • [2020-09-08] Accepted rumur 2020.09.06-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-08-02] Accepted rumur 2020.07.28-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-06-05] rumur 2020.05.27-1 MIGRATED to testing (Debian testing watch)
  • [2020-05-31] Accepted rumur 2020.05.27-1 (source) into unstable (Matthew Fernandez) (signed by: Adrian Bunk)
  • [2020-05-23] Accepted rumur 2020.05.18-1 (source) into unstable (Matthew Fernandez) (signed by: Adrian Bunk)
  • [2020-04-28] Accepted rumur 2020.04.26-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-04-20] Accepted rumur 2020.04.05-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-03-16] Accepted rumur 2020.03.12-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-02-22] rumur 2020.02.17-1 MIGRATED to testing (Debian testing watch)
  • [2020-02-19] Accepted rumur 2020.02.17-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-02-03] rumur 2020.01.27-1 MIGRATED to testing (Debian testing watch)
  • 1
  • 2
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian
  • buildd: logs, checks, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 2024.05.07-1

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing