btor2tools: 0-unstable-2024-08-07 -> 0-unstable-2025-09-18#445678

vcunat merged 1 commit intoNixOS:staging-nextNixOS/nixpkgs:staging-nextfrom

elopez:btor2tools-cmakeelopez/nixpkgs:btor2tools-cmakeCopy head branch name to clipboard