btor2tools (1.0.2~git20250507.fb69ee3-1) [PTS] [DDPO]

COMMITS: VCS has seen 12 commits since the upstream/1.0.2_git20250507.fb69ee3 tag

Git: https://salsa.debian.org/science-team/btor2tools.git
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: master
Path: debian/changelog
Repo size: 28672
Browser: https://salsa.debian.org/science-team/btor2tools
Last scan: 2026-01-30 03:17:13+00
Next scan: 2026-02-07 06:48:00+00
CI pipeline status: failed

Debian changelog in Git:

btor2tools (1.0.2~git20250507.fb69ee3-1) unstable; urgency=medium

  * Initial release (Closes: #1111868)

 -- Andreas Tille <tille@debian.org>  Sat, 23 Aug 2025 06:54:26 +0200

This branch is 12 commits ahead of tag upstream/1.0.2_git20250507.fb69ee3

Git log:

commit 008766d297158a9301249168d9925d6af51c496e
Author: Andreas Tille <tille@debian.org>
Date:   Wed Nov 19 15:39:12 2025 +0100

    Refine d/copyright after Gateway to new hints

commit d386fbf971cfb786d1c8fa8540a17fd92eccffc2
Author: Andreas Tille <tille@debian.org>
Date:   Wed Nov 19 07:59:01 2025 +0100

    Add Gateway2new pipeline

commit 26cc545a9cf1c9d71901e360ff719287571c0aec
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:54:52 2025 +0200

    Upload to unstable

commit 4952cb227980a07557b69217fa9be053624b3909
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:53:50 2025 +0200

    Hardening

commit a3e1036cf16ff14b07e44fb6c94302b7ffd73b9b
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 05:52:52 2025 +0100

    Trim trailing whitespace.
    
    Changes-By: lintian-brush
    Fixes: lintian: trailing-whitespace
    See-also: https://lintian.debian.org/tags/trailing-whitespace.html

commit debb6a35a10c14398a028bc7cb1d8c5bd6376fe2
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:50:02 2025 +0200

    Close ITP bug

commit bbca200cc21c101a7d3b3578076f52e62159f774
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:31:25 2025 +0200

    Use d-shlibs

commit ac3189747e1d4cd653494079f35fc07efb1b6c65
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:23:13 2025 +0200

    Build static and shared library

commit 327788b8f46c584c6744ff730bc89df963e6f119
Author: Andreas Tille <tille@debian.org>
Date:   Fri Aug 22 14:45:31 2025 +0200

    Build libraries

commit 6928173ae752db3ffe9bb3114778c4ea221b2a2b
Author: Andreas Tille <tille@debian.org>
Date:   Wed Aug 20 13:25:39 2025 +0200

    Upstream has a strange way to use cmake - start coping with it

commit 8625509410de06b328e91e9dc65252341bb6ff39
Author: Andreas Tille <tille@debian.org>
Date:   Wed Aug 20 12:48:44 2025 +0200

    Try building

commit 32d5fef95db00db25983853696d08542019e8710
Author: Andreas Tille <tille@debian.org>
Date:   Wed Aug 20 12:07:18 2025 +0200

    Initial packaging