Raise DataDrivenLux Distributions floor to 0.25.123 for downgrade CI (#626)

The Downgrade Sublibraries lane for lib/DataDrivenLux fails at the Pkg.test
sandbox resolution with "Unsatisfiable requirements detected for
ModelingToolkitBase":

  ModelingToolkitBase restricted by ModelingToolkit to 1.30.0+ (requires
  SymbolicUtils >= 4.23.1), but at --min the Distributions = "0.25" floor
  pins Distributions to 0.25.88, whose transitive constraints cap
  SymbolicUtils at <= 4.21.0 -> no versions left.

The root DataDrivenDiffEq compat floors ModelingToolkit at 11.21.0, and the
lowest MTK satisfying that (11.21.0) already requires MTKBase >= 1.30 ->
SymbolicUtils >= 4.23.1. Distributions 0.25.123 is the lowest Distributions
0.25.x whose transitive graph admits SymbolicUtils >= 4.23.1 (bisected:
0.25.122 UNSAT, 0.25.123 OK with MTK 11.21.0). The upper bound is unchanged
(0.25.123 means >=0.25.123,<0.26), so non-downgrade CI keeps picking the
latest 0.25.x.

Verified locally on Julia 1.10.11 in a clean depot: julia-downgrade-compat@v2
downgrade.jl (Resolver.jl --min, alldeps merged mode) resolves successfully,
and the Pkg.test sandbox resolution that previously threw UNSAT now succeeds
(resolves ModelingToolkitBase and SymbolicUtils at versions >= the floors
that were impossible before).

Co-authored-by: ChrisRackauckas-Claude <accounts@chrisrackauckas.com>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: 3 people

lib/DataDrivenLux/Project.toml

@@ -1,6 +1,6 @@
 name = "DataDrivenLux"
 uuid = "47881146-99d0-492a-8425-8f2f33327637"
-version = "0.2.3"
+version = "0.2.4"
 authors = ["JuliusMartensen <julius.martensen@gmail.com>"]
 
 [deps]
@@ -41,7 +41,7 @@ ComponentArrays = "0.15"
 ConcreteStructs = "0.2.3"
 DataDrivenDiffEq = "1.15"
 Distributed = "1.10"
-Distributions = "0.25"
+Distributions = "0.25.123"
 DistributionsAD = "0.6"
 DocStringExtensions = "0.9.3"
 ForwardDiff = "0.10, 1"