File list of package libadolc-dev in nabia of architecture armhf

/usr/include/adolc/adalloc.h
/usr/include/adolc/adolc.h
/usr/include/adolc/adolc_openmp.h
/usr/include/adolc/adolc_sparse.h
/usr/include/adolc/adouble.h
/usr/include/adolc/adoublecuda.h
/usr/include/adolc/adtl.h
/usr/include/adolc/adutils.h
/usr/include/adolc/adutilsc.h
/usr/include/adolc/advector.h
/usr/include/adolc/checkpointing.h
/usr/include/adolc/convolut.h
/usr/include/adolc/externfcts.h
/usr/include/adolc/externfcts2.h
/usr/include/adolc/fixpoint.h
/usr/include/adolc/fortutils.h
/usr/include/adolc/interfaces.h
/usr/include/adolc/param.h
/usr/include/adolc/revolve.h
/usr/include/adolc/taping.h
/usr/include/adolc/drivers/drivers.h
/usr/include/adolc/drivers/odedrivers.h
/usr/include/adolc/drivers/psdrivers.h
/usr/include/adolc/drivers/taylor.h
/usr/include/adolc/internal/adolc_settings.h
/usr/include/adolc/internal/adubfunc.h
/usr/include/adolc/internal/common.h
/usr/include/adolc/internal/paramfunc.h
/usr/include/adolc/internal/usrparms.h
/usr/include/adolc/lie/drivers.h
/usr/include/adolc/sparse/sparse_fo_rev.h
/usr/include/adolc/sparse/sparsedrivers.h
/usr/include/adolc/tapedoc/tapedoc.h
/usr/lib/arm-linux-gnueabihf/libadolc.a
/usr/lib/arm-linux-gnueabihf/libadolc.so
/usr/lib/arm-linux-gnueabihf/pkgconfig/adolc.pc
/usr/share/doc/libadolc-dev/BUGS
/usr/share/doc/libadolc-dev/README
/usr/share/doc/libadolc-dev/TODO
/usr/share/doc/libadolc-dev/adolc-manual.pdf
/usr/share/doc/libadolc-dev/changelog.Debian.gz
/usr/share/doc/libadolc-dev/copyright
/usr/share/doc/libadolc-dev/short_ref.pdf
/usr/share/doc-base/adolc-manual
/usr/share/doc-base/adolc-short-ref