rumur (2024.05.07-1) [PTS] [DDPO]

COMMITS: VCS has seen 258 commits since the v2024.05.07 tag

Git: https://github.com/Smattr/rumur.git -b packaging/debian
JSON
Enter a full Vcs-* header, supported schemes are: Vcs-Bzr, Vcs-Cvs, Vcs-Darcs, Vcs-Git, Vcs-Hg, Vcs-Mtn, Vcs-Svn.
For Vcs-Git append -b branch to select the branch name; append [subdir] if the debian/ directory is not in the repository root.
The next upload will reset the information from the source package headers.
Branch: packaging/debian
Path: debian/changelog
Repo size: 1216512
Browser: https://github.com/Smattr/rumur/tree/packaging/debian
Last scan: 2024-11-21 07:24:01+00
Next scan: 2024-11-22 08:39:00+00

Debian changelog in Git:

rumur (2024.05.07-1) unstable; urgency=medium

  * New upstream release.
  * Fix inaccurate libatomic checks in autopkgtests. Closes: #1018205.
  * Fix Vcs-Browser URL. Closes: #1018202.
  * Add libxml2-utils, z3 to Build-Depends.
  * Add z3 to Suggests.
  * Update Copyright from 2019 to 2019-2024.
  * Update debian-compat Build-Depends from 12 to 13.
  * Update Standards-Version from 4.6.2 to 4.7.0.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sun, 19 May 2024 07:24:59 +1000

This branch is 258 commits ahead of tag v2024.05.07

Git log:

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"

commit e5708b0d3c705035769a6cde1481a3bb94f9108f
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Dec 23 19:00:17 2019 -0800

    update testing command used in Debian packaging
    
    Github: related to #167 "switch all Python dependencies to Python 3 in
      packaging/debian"

commit e160e128f0334b775208f321b964088bd18819c9
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Dec 23 18:57:43 2019 -0800

    depend on Python >= 3.6 for Debian build and suggest
    
    Github: related to #167 "switch all Python dependencies to Python 3 in
      packaging/debian"

commit 9a59e87c5977bd1e9bcd72847092b3c9fa289512
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Dec 23 18:56:11 2019 -0800

    Revert "patch rumur-run's shebang to Python3 with dquilt"
    
    This reverts commit b35f5911baae11d2d9957706318176535826f111. This patch is no
    longer required now that upstream mandates Python 3.
    
    Github: related to #167 "switch all Python dependencies to Python 3 in
      packaging/debian"

commit 7e7dbf454e9d855e0192a3aca6150eeebabf44b2
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Dec 23 18:54:05 2019 -0800

    update Debian version to v2019.12.22-1

commit d5710eb51887c5a1c5450e9d6943680f9b31df5d
Merge: fc23568 a1b6d61
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Mon Dec 23 18:51:04 2019 -0800

    Merge branch 'master' into packaging/debian

commit a1b6d61f8bab250f175761b1c1ab8e13954efb21
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Dec 22 20:50:27 2019 -0800

    release v2019.12.22

commit 7787b6ecc756ace81fb620fe2d7e7232af0d9858
Merge: 4b60374 e230e1f
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Dec 22 20:25:35 2019 -0800

    Merge branch '3E524D0F-4431-4A4E-A2D6-D78197D1C8EB'

commit 4b603748192ce10b972c40053db1124ef86398a9
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Dec 22 17:26:46 2019 -0800

    fix some man page formatting

commit f178a45bf4165de012a767cc86982b630d423632
Merge: eef60ad d7f4575
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sun Dec 22 12:29:23 2019 -0800

    Merge commit 'd7f4575aab735f5401442b5a385a8ce2f2741776'

commit e230e1f91968f81f0f97fde246b8baa7ba836e64
Author: Matthew Fernandez <matthew.fernandez@gmail.com>
Date:   Sat Dec 21 09:10:05 2019 -0800

    Revert "use binutils 2.26 on Ubuntu 14.04 when testing GCC 7-9"
    
    This reverts commit 2c02af9e41a76434c4f87ca828116681e0814277. We now skip the
    test that requires this because it turned out to be flaky even with Binutils
    2.26.