debian/1.25.0+ds-3
4a9b7acd · Fix build by not linking anymore libebl.a (Closes: #966417) ·