PACKAGING: Use CUDD 2.5.1 in binary build script
PACKAGING: Use CUDD 2.5.1 in binary build script

following 0a59f10d0f46e874457a4ef103a4195d1e113c99, in which version
2.5.1 became the default.

slivingston/gr1c,slivingston/gr1c,slivingston/gr1c