Bug#1093006: cppad FTBFS on 32-bit

[Adrian Bunk]

Source: cppad
Version: 2025.00.00.0-1
Severity: serious
Tags: ftbfs
Forwarded: https://github.com/coin-or/CppAD/issues/221

https://buildd.debian.org/status/logs.php?pkg=cppad&ver=2025.00.00.0-1

...
In file included from /build/reproducible-path/cppad-2025.00.00.0/include/cppad/core/ad.hpp:17,
                 from /build/reproducible-path/cppad-2025.00.00.0/include/cppad/cppad.hpp:45,
                 from /build/reproducible-path/cppad-2025.00.00.0/test_more/debug_rel/debug.cpp:5:
/build/reproducible-path/cppad-2025.00.00.0/include/cppad/local/play/player.hpp:700:9: error: ‘void CppAD::local::player<Base>::setup_random(size_t&)’ cannot be overloaded with ‘void CppAD::local::player<Base>::setup_random(unsigned int&)’
  700 |    void setup_random(size_t& not_used)
      |         ^~~~~~~~~~~~
/build/reproducible-path/cppad-2025.00.00.0/include/cppad/local/play/player.hpp:690:9: note: previous declaration ‘void CppAD::local::player<Base>::setup_random(unsigned int&)’
  690 |    void setup_random(unsigned int& not_used)
      |         ^~~~~~~~~~~~
...