Package: drake
Version: 0.9.11+20180117r86c88e-1osrf~xenial
Architecture: amd64
Maintainer: Steven! Ragnarök <steven@openrobotics.org>
Installed-Size: 487081
Depends: libboost-all-dev, libglib2.0-dev, libtinyxml2-dev, coinor-libclp1, coinor-libcoinutils3v5, coinor-libipopt1v5, libblas3 | libblas.so.3, libbz2-1.0, libc6 (>= 2.15), libexpat1 (>= 2.0.1), libfreetype6 (>= 2.3.5), libgcc1 (>= 1:3.0), libgflags2v5, libgfortran3 (>= 4.3), libgl1-mesa-glx | libgl1, libglib2.0-0 (>= 2.31.8), libglu1-mesa | libglu1, libhdf5-10, libjpeg8 (>= 8c), libjsoncpp1, liblapack3 | liblapack.so.3, liblz4-1 (>= 0.0~r130), libmumps-seq-4.10.0, libnetcdf-c++4 (>= 4.2), libnetcdf11 (>= 4.0.1), libnlopt0 (>= 2.2.4), libogg0 (>= 1.0rc3), libpng12-0 (>= 1.2.13-4), libprotobuf9v5, libpython2.7 (>= 2.7), libqt5core5a (>= 5.5.1), libqt5gui5 (>= 5.2.0), libqt5gui5 (>= 5.4.0) | libqt5gui5-gles (>= 5.4.0), libqt5multimedia5 (>= 5.0.2), libqt5widgets5 (>= 5.5.0), libqt5x11extras5 (>= 5.1.0), libquadmath0 (>= 4.6), libstdc++6 (>= 5.2), libtheora0 (>= 1.0), libtiff5 (>= 4.0.3), libtinyxml2-2v5 (>= 2.2.0), libx11-6, libxml2 (>= 2.7.4), libxt6, libyaml-cpp0.5v5, qtbase-abi-5-5-1, zlib1g (>= 1:1.2.3.4)
Priority: optional
Section: misc
Filename: pool/main/d/drake/drake_0.9.11+20180117r86c88e-1osrf~xenial_amd64.deb
Size: 104237794
SHA256: fe9404dbe2081d056ea1cd4368b117f6aef035046494b378c15c40400acd328c
SHA1: 09062cedfc999f5ede3e76e266181ac1615fd061
MD5sum: ac15b39a15c968f9c7c4a1a3ec149b39
Description: A planning, control, and analysis toolbox for nonlinear dynamical systems.

Package: dreal
Version: 4.17.12.3
Architecture: amd64
Depends: bison, coinor-libclp-dev, flex, pkg-config, libibex-dev
Maintainer: Soonho Kong <soonho.kong@gmail.com>
Priority: optional
Section: contrib/devel
Filename: pool/main/d/dreal/dreal_4.17.12.3_amd64.deb
Size: 893878
SHA256: 72e878e2af14b1509b8d3a2943d7e7c824babfa755f4928cc3618e1fe85695c9
SHA1: ba6d05499dd754ad830f209e5cb5e70ca9b9ea14
MD5sum: c6caaf3e41f0b16fa6a0b68bbac5896a
Description: SMT solver for nonlinear theories
Homepage: http://dreal.github.io
Built-Using: bazel (0.8.1)

Package: libibex-dev
Version: 2.6.3.20171215122721.git2275df8f465a9db6a42d497ca322011ff2c6f8f7~16.04
Architecture: amd64
Maintainer: Soonho Kong <soonho.kong@gmail.com>
Installed-Size: 5765
Depends: coinor-libclp-dev, zlib1g-dev, libbz2-dev
Homepage: https://github.com/ibex-team/ibex-lib
Priority: optional
Section: devel
Filename: pool/main/libi/libibex-dev/libibex-dev_2.6.3.20171215122721.git2275df8f465a9db6a42d497ca322011ff2c6f8f7~16.04_amd64.deb
Size: 1187916
SHA256: 7d76c4450921b83971006f01b3259c75cddc178bc7f4f8766f996df7763ed2b5
SHA1: 0fe143924118172042ae0596e6f021af4a148dca
MD5sum: 7294d57b189fe4cda0108cfe4fde44e8
Description: C++ library for constraint processing over real numbers

Package: ros-kinetic-ros-drake
Version: 0.1.2-0xenial
Architecture: amd64
Maintainer: Jose Luis Rivero <jrivero@osrfoundation.org>
Installed-Size: 28
Priority: extra
Section: misc
Filename: pool/main/r/ros-kinetic-ros-drake/ros-kinetic-ros-drake_0.1.2-0xenial_amd64.deb
Size: 4600
SHA256: 90738f2532184c380ace6a4c6d2442f6e95c0da990bd791f5b6de80e1bf57856
SHA1: d6dce383a8c3510b3e598967bd8473647fecd0a1
MD5sum: b2367d1f663b60fd58ba984ae05ebd72
Description: Provides a cmake config for the DRAKE toolbox http://drake.mit.edu/