libboost-random-dev 1.54.0.1ubuntu1 (armhf binary) in ubuntu trusty

 This package forms part of the Boost C++ Libraries collection.
 .
 The Boost Random Number Library (Boost.Random for short) provides a
 variety of generators and distributions to produce random numbers
 having useful properties, such as uniform distribution.
 .
 This package is a dependency package, which depends on Debian's default
 Boost version (currently 1.54).