260191a
var/lib/ocaml/md5sums/libwhy3-ocaml-dev.md5sums         ocaml/libwhy3-ocaml-dev
.
260187a
var/lib/ocaml/lintian/libwhy3-ocaml-dev.info            ocaml/libwhy3-ocaml-dev
.
257953a
usr/share/why3/Makefile.config                          math/why3
usr/share/why3/drivers/alt_ergo.drv                     math/why3
usr/share/why3/drivers/alt_ergo_common.drv              math/why3
usr/share/why3/drivers/alt_ergo_model.drv               math/why3
usr/share/why3/drivers/alt_ergo_smt2.drv                math/why3
usr/share/why3/drivers/beagle.drv                       math/why3
usr/share/why3/drivers/coq-common.gen                   math/why3
usr/share/why3/drivers/coq-realizations.aux             math/why3
usr/share/why3/drivers/coq-realize.drv                  math/why3
usr/share/why3/drivers/coq-ssreflect.drv                math/why3
usr/share/why3/drivers/coq.drv                          math/why3
usr/share/why3/drivers/cvc3.drv                         math/why3
usr/share/why3/drivers/cvc4-realize.drv                 math/why3
usr/share/why3/drivers/cvc4.drv                         math/why3
usr/share/why3/drivers/cvc4_14.drv                      math/why3
usr/share/why3/drivers/cvc4_15.drv                      math/why3
usr/share/why3/drivers/cvc4_bv.gen                      math/why3
usr/share/why3/drivers/discrimination.gen               math/why3
usr/share/why3/drivers/eprover.drv                      math/why3
usr/share/why3/drivers/gappa.drv                        math/why3
usr/share/why3/drivers/iprover.drv                      math/why3
usr/share/why3/drivers/isabelle-2016-1.gen              math/why3
usr/share/why3/drivers/isabelle-2016.gen                math/why3
usr/share/why3/drivers/isabelle-common.gen              math/why3
usr/share/why3/drivers/isabelle-realizations.aux        math/why3
usr/share/why3/drivers/isabelle2016-1-realize.drv       math/why3
usr/share/why3/drivers/isabelle2016-1.drv               math/why3
usr/share/why3/drivers/isabelle2016-realize.drv         math/why3
usr/share/why3/drivers/isabelle2016.drv                 math/why3
usr/share/why3/drivers/mathematica.drv                  math/why3
usr/share/why3/drivers/mathsat.drv                      math/why3
usr/share/why3/drivers/metis.drv                        math/why3
usr/share/why3/drivers/metitarski.drv                   math/why3
usr/share/why3/drivers/no-bv.gen                        math/why3
usr/share/why3/drivers/ocaml-gen.drv                    math/why3
usr/share/why3/drivers/ocaml-no-arith.drv               math/why3
usr/share/why3/drivers/ocaml-unsafe-int.drv             math/why3
usr/share/why3/drivers/ocaml32.drv                      math/why3
usr/share/why3/drivers/ocaml64.drv                      math/why3
usr/share/why3/drivers/polypaver.drv                    math/why3
usr/share/why3/drivers/princess.drv                     math/why3
usr/share/why3/drivers/psyche.drv                       math/why3
usr/share/why3/drivers/pvs-common.gen                   math/why3
usr/share/why3/drivers/pvs-realizations.aux             math/why3
usr/share/why3/drivers/pvs-realize.drv                  math/why3
usr/share/why3/drivers/pvs.drv                          math/why3
usr/share/why3/drivers/safeprover.drv                   math/why3
usr/share/why3/drivers/simplify.drv                     math/why3
usr/share/why3/drivers/smt-libv2-bv-realization.gen     math/why3
usr/share/why3/drivers/smt-libv2-bv.gen                 math/why3
usr/share/why3/drivers/smt-libv2.drv                    math/why3
usr/share/why3/drivers/spass.drv                        math/why3
usr/share/why3/drivers/spass_types.drv                  math/why3
usr/share/why3/drivers/tptp-tff0.drv                    math/why3
usr/share/why3/drivers/tptp-tff1.drv                    math/why3
usr/share/why3/drivers/tptp.gen                         math/why3
usr/share/why3/drivers/vampire.drv                      math/why3
usr/share/why3/drivers/verit.drv                        math/why3
usr/share/why3/drivers/why3.drv                         math/why3
usr/share/why3/drivers/why3_smt.drv                     math/why3
usr/share/why3/drivers/why3_tptp.drv                    math/why3
usr/share/why3/drivers/yices-smt2.drv                   math/why3
usr/share/why3/drivers/yices.drv                        math/why3
usr/share/why3/drivers/z3-realize.drv                   math/why3
usr/share/why3/drivers/z3.drv                           math/why3
usr/share/why3/drivers/z3_432.drv                       math/why3
usr/share/why3/drivers/z3_440.drv                       math/why3
usr/share/why3/drivers/z3_smtv1.drv                     math/why3
usr/share/why3/drivers/zenon.drv                        math/why3
usr/share/why3/drivers/zenon_modulo.drv                 math/why3
usr/share/why3/images/fatcow.rc                         math/why3
usr/share/why3/images/fatcow/accept.png                 math/why3
usr/share/why3/images/fatcow/bin.png                    math/why3
usr/share/why3/images/fatcow/bomb.png                   math/why3
usr/share/why3/images/fatcow/brick_delete.png           math/why3
usr/share/why3/images/fatcow/bullet_black.png           math/why3
usr/share/why3/images/fatcow/bullet_blue.png            math/why3
usr/share/why3/images/fatcow/bullet_green.png           math/why3
usr/share/why3/images/fatcow/bullet_red.png             math/why3
usr/share/why3/images/fatcow/bullet_white.png           math/why3
usr/share/why3/images/fatcow/cancel.png                 math/why3
usr/share/why3/images/fatcow/control_pause_blue.png     math/why3
usr/share/why3/images/fatcow/control_play_blue.png      math/why3
usr/share/why3/images/fatcow/database_delete.png        math/why3
usr/share/why3/images/fatcow/ddr_memory.png             math/why3
usr/share/why3/images/fatcow/delete.png                 math/why3
usr/share/why3/images/fatcow/exclamation.png            math/why3
usr/share/why3/images/fatcow/folder.png                 math/why3
usr/share/why3/images/fatcow/help.png                   math/why3
usr/share/why3/images/fatcow/magic_wand_2.png           math/why3
usr/share/why3/images/fatcow/multitool.png              math/why3
usr/share/why3/images/fatcow/package.png                math/why3
usr/share/why3/images/fatcow/pencil.png                 math/why3
usr/share/why3/images/fatcow/readme-fatcow.txt          math/why3
usr/share/why3/images/fatcow/script.png                 math/why3
usr/share/why3/images/fatcow/time_delete.png            math/why3
usr/share/why3/images/fatcow/timeline.png               math/why3
usr/share/why3/images/fatcow/update.png                 math/why3
usr/share/why3/images/logo-why.png                      math/why3
usr/share/why3/lang/why3.lang                           math/why3
usr/share/why3/modules/array.mlw                        math/why3
usr/share/why3/modules/hashtbl.mlw                      math/why3
usr/share/why3/modules/impset.mlw                       math/why3
usr/share/why3/modules/io.mlw                           math/why3
usr/share/why3/modules/mach/array.mlw                   math/why3
usr/share/why3/modules/mach/bv.mlw                      math/why3
usr/share/why3/modules/mach/int.mlw                     math/why3
usr/share/why3/modules/mach/matrix.mlw                  math/why3
usr/share/why3/modules/mach/onetime.mlw                 math/why3
usr/share/why3/modules/mach/peano.mlw                   math/why3
usr/share/why3/modules/matrix.mlw                       math/why3
usr/share/why3/modules/null.mlw                         math/why3
usr/share/why3/modules/pqueue.mlw                       math/why3
usr/share/why3/modules/queue.mlw                        math/why3
usr/share/why3/modules/random.mlw                       math/why3
usr/share/why3/modules/ref.mlw                          math/why3
usr/share/why3/modules/stack.mlw                        math/why3
usr/share/why3/modules/string.mlw                       math/why3
usr/share/why3/provers-detection-data.conf              math/why3
usr/share/why3/theories/algebra.why                     math/why3
usr/share/why3/theories/bag.why                         math/why3
usr/share/why3/theories/bintree.why                     math/why3
usr/share/why3/theories/bool.why                        math/why3
usr/share/why3/theories/bv.why                          math/why3
usr/share/why3/theories/floating_point.why              math/why3
usr/share/why3/theories/function.why                    math/why3
usr/share/why3/theories/graph.why                       math/why3
usr/share/why3/theories/int.why                         math/why3
usr/share/why3/theories/list.why                        math/why3
usr/share/why3/theories/map.why                         math/why3
usr/share/why3/theories/number.why                      math/why3
usr/share/why3/theories/option.why                      math/why3
usr/share/why3/theories/pigeon.why                      math/why3
usr/share/why3/theories/real.why                        math/why3
usr/share/why3/theories/regexp.why                      math/why3
usr/share/why3/theories/relations.why                   math/why3
usr/share/why3/theories/seq.why                         math/why3
usr/share/why3/theories/set.why                         math/why3
usr/share/why3/theories/sum.why                         math/why3
usr/share/why3/theories/tptp.why                        math/why3
usr/share/why3/vim/why3.vim                             math/why3
usr/share/why3/why3session.dtd                          math/why3
.
257080a
usr/share/texmf/tex/latex/misc/why3lang.sty             math/why3
.
251931a
usr/share/pixmaps/xTuple.xpm                            libs/libxtuplecommon1
.
241137a
usr/share/menu/postbooks                                misc/postbooks
usr/share/menu/postbooks-updater                        misc/postbooks-updater
.
238685a
usr/share/man/man1/xtuple.1.gz                          misc/postbooks
.
238650a
usr/share/man/man1/why3.1.gz                            math/why3
.
238413a
usr/share/man/man1/postbooks-update-builder.1.gz        misc/postbooks-updater
usr/share/man/man1/postbooks-updater.1.gz               misc/postbooks-updater
usr/share/man/man1/postbooks.1.gz                       misc/postbooks
.
237548a
usr/share/man/man1/csvimp.1.gz                          misc/csvimp
.
236600a
usr/share/locale/zh_TW/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
.
236565a
usr/share/locale/zh_HK/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
.
236266a
usr/share/locale/zh_CN/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/zh_CN/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
236265a
usr/share/locale/zh_CN/LC_MESSAGES/gst-plugins-bad-1.0.mo libs/gstreamer1.0-plugins-bad
.
235950a
usr/share/locale/vi/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/vi/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
235949a
usr/share/locale/vi/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
235544a
usr/share/locale/uk/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/uk/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
235543a
usr/share/locale/uk/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
235048a
usr/share/locale/tr/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/tr/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
235047a
usr/share/locale/tr/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
234257a
usr/share/locale/sv/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/sv/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
234256a
usr/share/locale/sv/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
233088a
usr/share/locale/sr/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/sr/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
233087a
usr/share/locale/sr/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
232909a
usr/share/locale/sq/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/sq/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
232908a
usr/share/locale/sq/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
232606a
usr/share/locale/sl/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/sl/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
232605a
usr/share/locale/sl/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
232293a
usr/share/locale/sk/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/sk/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
232292a
usr/share/locale/sk/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
231770a
usr/share/locale/ru/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/ru/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
231769a
usr/share/locale/ru/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
231479a
usr/share/locale/ro/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/ro/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
231478a
usr/share/locale/ro/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
231165a
usr/share/locale/pt_BR/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/pt_BR/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
231164a
usr/share/locale/pt_BR/LC_MESSAGES/gst-plugins-bad-1.0.mo libs/gstreamer1.0-plugins-bad
.
230533a
usr/share/locale/pl/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/pl/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
230532a
usr/share/locale/pl/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
230134a
usr/share/locale/or/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/or/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
230133a
usr/share/locale/or/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
229461a
usr/share/locale/nl/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/nl/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
229460a
usr/share/locale/nl/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
228848a
usr/share/locale/nb/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/nb/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
228847a
usr/share/locale/nb/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
228821a
usr/share/locale/mt/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
usr/share/locale/mt/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/mt/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
228676a
usr/share/locale/ms/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
227933a
usr/share/locale/lv/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/lv/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
227932a
usr/share/locale/lv/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
227644a
usr/share/locale/lt/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/lt/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
227643a
usr/share/locale/lt/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
227600a
usr/share/locale/ky/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
226349a
usr/share/locale/ja/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/ja/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
226348a
usr/share/locale/ja/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
226026a
usr/share/locale/it/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/it/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
226025a
usr/share/locale/it/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
225688a
usr/share/locale/id/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/id/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
225687a
usr/share/locale/id/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
225203a
usr/share/locale/hu/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/hu/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
225202a
usr/share/locale/hu/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
224906a
usr/share/locale/hr/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/hr/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
224905a
usr/share/locale/hr/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
223991a
usr/share/locale/gl/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/gl/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
223990a
usr/share/locale/gl/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
223359a
usr/share/locale/fr/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/fr/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
223358a
usr/share/locale/fr/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
223039a
usr/share/locale/fi/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/fi/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
223038a
usr/share/locale/fi/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
222747a
usr/share/locale/eu/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/eu/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
222746a
usr/share/locale/eu/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
222119a
usr/share/locale/es/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/es/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
222118a
usr/share/locale/es/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
221909a
usr/share/locale/eo/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/eo/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
221908a
usr/share/locale/eo/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
221606a
usr/share/locale/en_GB/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/en_GB/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
221605a
usr/share/locale/en_GB/LC_MESSAGES/gst-plugins-bad-1.0.mo libs/gstreamer1.0-plugins-bad
.
221269a
usr/share/locale/el/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/el/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
221268a
usr/share/locale/el/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
220945a
usr/share/locale/de/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/de/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
220944a
usr/share/locale/de/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
220620a
usr/share/locale/da/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/da/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
220619a
usr/share/locale/da/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
220152a
usr/share/locale/cs/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/cs/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
220151a
usr/share/locale/cs/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
219542a
usr/share/locale/ca/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/ca/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
219541a
usr/share/locale/ca/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
218931a
usr/share/locale/bg/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/bg/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
218930a
usr/share/locale/bg/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
218745a
usr/share/locale/az/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/az/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
218744a
usr/share/locale/az/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
218082a
usr/share/locale/af/LC_MESSAGES/gst-plugins-good-1.0.mo libs/gstreamer1.0-plugins-good
usr/share/locale/af/LC_MESSAGES/gst-plugins-ugly-1.0.mo libs/gstreamer1.0-plugins-ugly
.
218081a
usr/share/locale/af/LC_MESSAGES/gst-plugins-bad-1.0.mo  libs/gstreamer1.0-plugins-bad
.
217870a
usr/share/lintian/overrides/postbooks-updater           misc/postbooks-updater
.
205017a
usr/share/icons/hicolor/128x128/apps/postbooks.png      libs/libxtuplecommon1
.
200451a
usr/share/gstreamer-1.0/presets/GstAmrnbEnc.prs         libs/gstreamer1.0-plugins-ugly
usr/share/gstreamer-1.0/presets/GstFreeverb.prs         libs/gstreamer1.0-plugins-bad
usr/share/gstreamer-1.0/presets/GstIirEqualizer10Bands.prs libs/gstreamer1.0-plugins-good
usr/share/gstreamer-1.0/presets/GstIirEqualizer3Bands.prs libs/gstreamer1.0-plugins-good
usr/share/gstreamer-1.0/presets/GstQTMux.prs            libs/gstreamer1.0-plugins-good
usr/share/gstreamer-1.0/presets/GstVP8Enc.prs           libs/gstreamer1.0-plugins-good
usr/share/gstreamer-1.0/presets/GstVoAmrwbEnc.prs       libs/gstreamer1.0-plugins-bad
usr/share/gstreamer-1.0/presets/GstX264Enc.prs          libs/gstreamer1.0-plugins-ugly
.
198821a
usr/share/gir-1.0/GstRtspServer-1.0.gir                 libdevel/libgstrtspserver-1.0-dev
.
198819a
usr/share/gir-1.0/GstPlayer-1.0.gir                     libdevel/libgstreamer-plugins-bad1.0-dev
.
198817a
usr/share/gir-1.0/GstGL-1.0.gir                         libdevel/libgstreamer-plugins-bad1.0-dev
usr/share/gir-1.0/GstInsertBin-1.0.gir                  libdevel/libgstreamer-plugins-bad1.0-dev
usr/share/gir-1.0/GstMpegts-1.0.gir                     libdevel/libgstreamer-plugins-bad1.0-dev
.
198806a
usr/share/gir-1.0/GES-1.0.gir                           libdevel/libges-1.0-dev
.
180785a
usr/share/emacs/site-lisp/why3.el                       math/why3
.
179227a
usr/share/doc/why3/TODO.Debian                          math/why3
usr/share/doc/why3/changelog.Debian.gz                  math/why3
usr/share/doc/why3/changelog.gz                         math/why3
usr/share/doc/why3/copyright                            math/why3
.
178179a
usr/share/doc/why3-coq/changelog.Debian.gz              math/why3-coq
usr/share/doc/why3-coq/changelog.gz                     math/why3-coq
usr/share/doc/why3-coq/copyright                        math/why3-coq
.
167814a
usr/share/doc/python3-gst-1.0-dbg/changelog.Debian.gz   debug/python3-gst-1.0-dbg
usr/share/doc/python3-gst-1.0-dbg/changelog.gz          debug/python3-gst-1.0-dbg
usr/share/doc/python3-gst-1.0-dbg/copyright             debug/python3-gst-1.0-dbg
usr/share/doc/python3-gst-1.0/changelog.Debian.gz       python/python3-gst-1.0
usr/share/doc/python3-gst-1.0/changelog.gz              python/python3-gst-1.0
usr/share/doc/python3-gst-1.0/copyright                 python/python3-gst-1.0
.
167407a
usr/share/doc/python-gst-1.0-dbg/changelog.Debian.gz    debug/python-gst-1.0-dbg
usr/share/doc/python-gst-1.0-dbg/changelog.gz           debug/python-gst-1.0-dbg
usr/share/doc/python-gst-1.0-dbg/copyright              debug/python-gst-1.0-dbg
usr/share/doc/python-gst-1.0/changelog.Debian.gz        python/python-gst-1.0
usr/share/doc/python-gst-1.0/changelog.gz               python/python-gst-1.0
usr/share/doc/python-gst-1.0/copyright                  python/python-gst-1.0
.
166675a
usr/share/doc/postbooks-updater/README.Debian           misc/postbooks-updater
usr/share/doc/postbooks-updater/README.txt.gz           misc/postbooks-updater
usr/share/doc/postbooks-updater/changelog.Debian.gz     misc/postbooks-updater
usr/share/doc/postbooks-updater/copyright               misc/postbooks-updater
usr/share/doc/postbooks/README.Debian.gz                misc/postbooks
usr/share/doc/postbooks/changelog.Debian.gz             misc/postbooks
usr/share/doc/postbooks/copyright                       misc/postbooks
.
127443a
usr/share/doc/libxtuplecommon-dev/changelog.Debian.gz   libdevel/libxtuplecommon-dev
usr/share/doc/libxtuplecommon-dev/copyright             libdevel/libxtuplecommon-dev
usr/share/doc/libxtuplecommon1/changelog.Debian.gz      libs/libxtuplecommon1
usr/share/doc/libxtuplecommon1/copyright                libs/libxtuplecommon1
.
127231a
usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz     ocaml/libwhy3-ocaml-dev
usr/share/doc/libwhy3-ocaml-dev/changelog.gz            ocaml/libwhy3-ocaml-dev
usr/share/doc/libwhy3-ocaml-dev/copyright               ocaml/libwhy3-ocaml-dev
.
97172a
usr/share/doc/libgstrtspserver-1.0-0-dbg/changelog.Debian.gz debug/libgstrtspserver-1.0-0-dbg
usr/share/doc/libgstrtspserver-1.0-0-dbg/changelog.gz   debug/libgstrtspserver-1.0-0-dbg
usr/share/doc/libgstrtspserver-1.0-0-dbg/copyright      debug/libgstrtspserver-1.0-0-dbg
usr/share/doc/libgstrtspserver-1.0-0/changelog.Debian.gz libs/libgstrtspserver-1.0-0
usr/share/doc/libgstrtspserver-1.0-0/changelog.gz       libs/libgstrtspserver-1.0-0
usr/share/doc/libgstrtspserver-1.0-0/copyright          libs/libgstrtspserver-1.0-0
usr/share/doc/libgstrtspserver-1.0-dev/changelog.Debian.gz libdevel/libgstrtspserver-1.0-dev
usr/share/doc/libgstrtspserver-1.0-dev/changelog.gz     libdevel/libgstrtspserver-1.0-dev
usr/share/doc/libgstrtspserver-1.0-dev/copyright        libdevel/libgstrtspserver-1.0-dev
.
97136a
usr/share/doc/libgstreamer-plugins-bad1.0-0/AUTHORS     libs/libgstreamer-plugins-bad1.0-0
usr/share/doc/libgstreamer-plugins-bad1.0-0/NEWS.gz     libs/libgstreamer-plugins-bad1.0-0
usr/share/doc/libgstreamer-plugins-bad1.0-0/README.Debian libs/libgstreamer-plugins-bad1.0-0
usr/share/doc/libgstreamer-plugins-bad1.0-0/README.gz   libs/libgstreamer-plugins-bad1.0-0
usr/share/doc/libgstreamer-plugins-bad1.0-0/changelog.Debian.gz libs/libgstreamer-plugins-bad1.0-0
usr/share/doc/libgstreamer-plugins-bad1.0-0/changelog.gz libs/libgstreamer-plugins-bad1.0-0
usr/share/doc/libgstreamer-plugins-bad1.0-0/copyright   libs/libgstreamer-plugins-bad1.0-0
usr/share/doc/libgstreamer-plugins-bad1.0-dev/AUTHORS   libdevel/libgstreamer-plugins-bad1.0-dev
usr/share/doc/libgstreamer-plugins-bad1.0-dev/NEWS.gz   libdevel/libgstreamer-plugins-bad1.0-dev
usr/share/doc/libgstreamer-plugins-bad1.0-dev/README.Debian libdevel/libgstreamer-plugins-bad1.0-dev
usr/share/doc/libgstreamer-plugins-bad1.0-dev/README.gz libdevel/libgstreamer-plugins-bad1.0-dev
usr/share/doc/libgstreamer-plugins-bad1.0-dev/changelog.Debian.gz libdevel/libgstreamer-plugins-bad1.0-dev
usr/share/doc/libgstreamer-plugins-bad1.0-dev/changelog.gz libdevel/libgstreamer-plugins-bad1.0-dev
usr/share/doc/libgstreamer-plugins-bad1.0-dev/copyright libdevel/libgstreamer-plugins-bad1.0-dev
.
95825a
usr/share/doc/libges-1.0-0-dbg/changelog.Debian.gz      debug/libges-1.0-0-dbg
usr/share/doc/libges-1.0-0-dbg/changelog.gz             debug/libges-1.0-0-dbg
usr/share/doc/libges-1.0-0-dbg/copyright                debug/libges-1.0-0-dbg
usr/share/doc/libges-1.0-0/changelog.Debian.gz          libs/libges-1.0-0
usr/share/doc/libges-1.0-0/changelog.gz                 libs/libges-1.0-0
usr/share/doc/libges-1.0-0/copyright                    libs/libges-1.0-0
usr/share/doc/libges-1.0-dev/changelog.Debian.gz        libdevel/libges-1.0-dev
usr/share/doc/libges-1.0-dev/changelog.gz               libdevel/libges-1.0-dev
usr/share/doc/libges-1.0-dev/copyright                  libdevel/libges-1.0-dev
.
95441a
usr/share/doc/libcsvimp-dev/changelog.Debian.gz         libdevel/libcsvimp-dev
usr/share/doc/libcsvimp-dev/copyright                   libdevel/libcsvimp-dev
.
87454a
usr/share/doc/gstreamer1.0-plugins-ugly/AUTHORS         libs/gstreamer1.0-plugins-ugly
usr/share/doc/gstreamer1.0-plugins-ugly/NEWS.gz         libs/gstreamer1.0-plugins-ugly
usr/share/doc/gstreamer1.0-plugins-ugly/README.Debian   libs/gstreamer1.0-plugins-ugly
usr/share/doc/gstreamer1.0-plugins-ugly/README.gz       libs/gstreamer1.0-plugins-ugly
usr/share/doc/gstreamer1.0-plugins-ugly/changelog.Debian.gz libs/gstreamer1.0-plugins-ugly
usr/share/doc/gstreamer1.0-plugins-ugly/changelog.gz    libs/gstreamer1.0-plugins-ugly
usr/share/doc/gstreamer1.0-plugins-ugly/copyright       libs/gstreamer1.0-plugins-ugly
usr/share/doc/gstreamer1.0-pulseaudio/AUTHORS           sound/gstreamer1.0-pulseaudio
usr/share/doc/gstreamer1.0-pulseaudio/NEWS.gz           sound/gstreamer1.0-pulseaudio
usr/share/doc/gstreamer1.0-pulseaudio/README.Debian     sound/gstreamer1.0-pulseaudio
usr/share/doc/gstreamer1.0-pulseaudio/README.gz         sound/gstreamer1.0-pulseaudio
usr/share/doc/gstreamer1.0-pulseaudio/changelog.Debian.gz sound/gstreamer1.0-pulseaudio
usr/share/doc/gstreamer1.0-pulseaudio/changelog.gz      sound/gstreamer1.0-pulseaudio
usr/share/doc/gstreamer1.0-pulseaudio/copyright         sound/gstreamer1.0-pulseaudio
usr/share/doc/gstreamer1.0-rtsp-dbg/changelog.Debian.gz libs/gstreamer1.0-rtsp-dbg
usr/share/doc/gstreamer1.0-rtsp-dbg/changelog.gz        libs/gstreamer1.0-rtsp-dbg
usr/share/doc/gstreamer1.0-rtsp-dbg/copyright           libs/gstreamer1.0-rtsp-dbg
usr/share/doc/gstreamer1.0-rtsp/changelog.Debian.gz     libs/gstreamer1.0-rtsp
usr/share/doc/gstreamer1.0-rtsp/changelog.gz            libs/gstreamer1.0-rtsp
usr/share/doc/gstreamer1.0-rtsp/copyright               libs/gstreamer1.0-rtsp
.
87447a
usr/share/doc/gstreamer1.0-plugins-good/AUTHORS         libs/gstreamer1.0-plugins-good
usr/share/doc/gstreamer1.0-plugins-good/NEWS.gz         libs/gstreamer1.0-plugins-good
usr/share/doc/gstreamer1.0-plugins-good/README.Debian   libs/gstreamer1.0-plugins-good
usr/share/doc/gstreamer1.0-plugins-good/README.gz       libs/gstreamer1.0-plugins-good
usr/share/doc/gstreamer1.0-plugins-good/changelog.Debian.gz libs/gstreamer1.0-plugins-good
usr/share/doc/gstreamer1.0-plugins-good/changelog.gz    libs/gstreamer1.0-plugins-good
usr/share/doc/gstreamer1.0-plugins-good/copyright       libs/gstreamer1.0-plugins-good
usr/share/doc/gstreamer1.0-plugins-ugly-dbg/AUTHORS     debug/gstreamer1.0-plugins-ugly-dbg
usr/share/doc/gstreamer1.0-plugins-ugly-dbg/NEWS.gz     debug/gstreamer1.0-plugins-ugly-dbg
usr/share/doc/gstreamer1.0-plugins-ugly-dbg/README.Debian debug/gstreamer1.0-plugins-ugly-dbg
usr/share/doc/gstreamer1.0-plugins-ugly-dbg/README.gz   debug/gstreamer1.0-plugins-ugly-dbg
usr/share/doc/gstreamer1.0-plugins-ugly-dbg/changelog.Debian.gz debug/gstreamer1.0-plugins-ugly-dbg
usr/share/doc/gstreamer1.0-plugins-ugly-dbg/changelog.gz debug/gstreamer1.0-plugins-ugly-dbg
usr/share/doc/gstreamer1.0-plugins-ugly-dbg/copyright   debug/gstreamer1.0-plugins-ugly-dbg
.
87440a
usr/share/doc/gstreamer1.0-plugins-good-dbg/AUTHORS     debug/gstreamer1.0-plugins-good-dbg
usr/share/doc/gstreamer1.0-plugins-good-dbg/NEWS.gz     debug/gstreamer1.0-plugins-good-dbg
usr/share/doc/gstreamer1.0-plugins-good-dbg/README.Debian debug/gstreamer1.0-plugins-good-dbg
usr/share/doc/gstreamer1.0-plugins-good-dbg/README.gz   debug/gstreamer1.0-plugins-good-dbg
usr/share/doc/gstreamer1.0-plugins-good-dbg/changelog.Debian.gz debug/gstreamer1.0-plugins-good-dbg
usr/share/doc/gstreamer1.0-plugins-good-dbg/changelog.gz debug/gstreamer1.0-plugins-good-dbg
usr/share/doc/gstreamer1.0-plugins-good-dbg/copyright   debug/gstreamer1.0-plugins-good-dbg
.
87412a
usr/share/doc/gstreamer1.0-plugins-bad/AUTHORS          libs/gstreamer1.0-plugins-bad
usr/share/doc/gstreamer1.0-plugins-bad/NEWS.gz          libs/gstreamer1.0-plugins-bad
usr/share/doc/gstreamer1.0-plugins-bad/README.Debian    libs/gstreamer1.0-plugins-bad
usr/share/doc/gstreamer1.0-plugins-bad/README.gz        libs/gstreamer1.0-plugins-bad
usr/share/doc/gstreamer1.0-plugins-bad/changelog.Debian.gz libs/gstreamer1.0-plugins-bad
usr/share/doc/gstreamer1.0-plugins-bad/changelog.gz     libs/gstreamer1.0-plugins-bad
usr/share/doc/gstreamer1.0-plugins-bad/copyright        libs/gstreamer1.0-plugins-bad
.
87405a
usr/share/doc/gstreamer1.0-libav-dbg/AUTHORS            debug/gstreamer1.0-libav-dbg
usr/share/doc/gstreamer1.0-libav-dbg/NEWS.gz            debug/gstreamer1.0-libav-dbg
usr/share/doc/gstreamer1.0-libav-dbg/README             debug/gstreamer1.0-libav-dbg
usr/share/doc/gstreamer1.0-libav-dbg/README.Debian      debug/gstreamer1.0-libav-dbg
usr/share/doc/gstreamer1.0-libav-dbg/TODO               debug/gstreamer1.0-libav-dbg
usr/share/doc/gstreamer1.0-libav-dbg/changelog.Debian.gz debug/gstreamer1.0-libav-dbg
usr/share/doc/gstreamer1.0-libav-dbg/changelog.gz       debug/gstreamer1.0-libav-dbg
usr/share/doc/gstreamer1.0-libav-dbg/copyright          debug/gstreamer1.0-libav-dbg
usr/share/doc/gstreamer1.0-libav/AUTHORS                libs/gstreamer1.0-libav
usr/share/doc/gstreamer1.0-libav/NEWS.gz                libs/gstreamer1.0-libav
usr/share/doc/gstreamer1.0-libav/README                 libs/gstreamer1.0-libav
usr/share/doc/gstreamer1.0-libav/README.Debian          libs/gstreamer1.0-libav
usr/share/doc/gstreamer1.0-libav/TODO                   libs/gstreamer1.0-libav
usr/share/doc/gstreamer1.0-libav/changelog.Debian.gz    libs/gstreamer1.0-libav
usr/share/doc/gstreamer1.0-libav/changelog.gz           libs/gstreamer1.0-libav
usr/share/doc/gstreamer1.0-libav/copyright              libs/gstreamer1.0-libav
usr/share/doc/gstreamer1.0-plugins-bad-dbg/AUTHORS      debug/gstreamer1.0-plugins-bad-dbg
usr/share/doc/gstreamer1.0-plugins-bad-dbg/NEWS.gz      debug/gstreamer1.0-plugins-bad-dbg
usr/share/doc/gstreamer1.0-plugins-bad-dbg/README.Debian debug/gstreamer1.0-plugins-bad-dbg
usr/share/doc/gstreamer1.0-plugins-bad-dbg/README.gz    debug/gstreamer1.0-plugins-bad-dbg
usr/share/doc/gstreamer1.0-plugins-bad-dbg/changelog.Debian.gz debug/gstreamer1.0-plugins-bad-dbg
usr/share/doc/gstreamer1.0-plugins-bad-dbg/changelog.gz debug/gstreamer1.0-plugins-bad-dbg
usr/share/doc/gstreamer1.0-plugins-bad-dbg/copyright    debug/gstreamer1.0-plugins-bad-dbg
.
86842,86843d
85892a
usr/share/doc/gir1.2-gst-rtsp-server-1.0/changelog.Debian.gz introspection/gir1.2-gst-rtsp-server-1.0
usr/share/doc/gir1.2-gst-rtsp-server-1.0/changelog.gz   introspection/gir1.2-gst-rtsp-server-1.0
usr/share/doc/gir1.2-gst-rtsp-server-1.0/copyright      introspection/gir1.2-gst-rtsp-server-1.0
.
85885a
usr/share/doc/gir1.2-gst-plugins-bad-1.0/AUTHORS        introspection/gir1.2-gst-plugins-bad-1.0
usr/share/doc/gir1.2-gst-plugins-bad-1.0/NEWS.gz        introspection/gir1.2-gst-plugins-bad-1.0
usr/share/doc/gir1.2-gst-plugins-bad-1.0/README.Debian  introspection/gir1.2-gst-plugins-bad-1.0
usr/share/doc/gir1.2-gst-plugins-bad-1.0/README.gz      introspection/gir1.2-gst-plugins-bad-1.0
usr/share/doc/gir1.2-gst-plugins-bad-1.0/changelog.Debian.gz introspection/gir1.2-gst-plugins-bad-1.0
usr/share/doc/gir1.2-gst-plugins-bad-1.0/changelog.gz   introspection/gir1.2-gst-plugins-bad-1.0
usr/share/doc/gir1.2-gst-plugins-bad-1.0/copyright      introspection/gir1.2-gst-plugins-bad-1.0
.
85883a
usr/share/doc/gir1.2-ges-1.0/changelog.Debian.gz        introspection/gir1.2-ges-1.0
usr/share/doc/gir1.2-ges-1.0/changelog.gz               introspection/gir1.2-ges-1.0
usr/share/doc/gir1.2-ges-1.0/copyright                  introspection/gir1.2-ges-1.0
.
85848a
usr/share/doc/ges1.0-tools/changelog.Debian.gz          utils/ges1.0-tools
usr/share/doc/ges1.0-tools/changelog.gz                 utils/ges1.0-tools
usr/share/doc/ges1.0-tools/copyright                    utils/ges1.0-tools
.
71147a
usr/share/doc/csvimp/README.md                          misc/csvimp
usr/share/doc/csvimp/changelog.Debian.gz                misc/csvimp
usr/share/doc/csvimp/copyright                          misc/csvimp
.
66059a
usr/share/bash-completion/completions/why3              math/why3
.
62051a
usr/share/applications/postbooks-updater.desktop        misc/postbooks-updater
usr/share/applications/postbooks.desktop                misc/postbooks
.
55253a
usr/lib/python3/dist-packages/gi/overrides/Gst.py       python/python3-gst-1.0
usr/lib/python3/dist-packages/gi/overrides/GstPbutils.py python/python3-gst-1.0
usr/lib/python3/dist-packages/gi/overrides/_gi_gst.cpython-35dm-arm-linux-gnueabihf.so debug/python3-gst-1.0-dbg
usr/lib/python3/dist-packages/gi/overrides/_gi_gst.cpython-35m-arm-linux-gnueabihf.so python/python3-gst-1.0
.
51866a
usr/lib/python2.7/dist-packages/gi/overrides/_gi_gst.arm-linux-gnueabihf.so python/python-gst-1.0
usr/lib/python2.7/dist-packages/gi/overrides/_gi_gst.arm-linux-gnueabihf_d.so debug/python-gst-1.0-dbg
.
51865a
usr/lib/python2.7/dist-packages/gi/overrides/Gst.py     python/python-gst-1.0
usr/lib/python2.7/dist-packages/gi/overrides/GstPbutils.py python/python-gst-1.0
.
49727a
usr/lib/ocaml/why3/META                                 ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3.a                               ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3.cma                             ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3.cmi                             ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3.cmx                             ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3.cmxa                            ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3extract.a                        ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3extract.cma                      ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3extract.cmi                      ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3extract.cmx                      ocaml/libwhy3-ocaml-dev
usr/lib/ocaml/why3/why3extract.cmxa                     ocaml/libwhy3-ocaml-dev
.
30572a
usr/lib/girepository-1.0/GstRtspServer-1.0.typelib      introspection/gir1.2-gst-rtsp-server-1.0
.
30570a
usr/lib/girepository-1.0/GstPlayer-1.0.typelib          introspection/gir1.2-gst-plugins-bad-1.0
.
30568a
usr/lib/girepository-1.0/GstGL-1.0.typelib              introspection/gir1.2-gst-plugins-bad-1.0
usr/lib/girepository-1.0/GstInsertBin-1.0.typelib       introspection/gir1.2-gst-plugins-bad-1.0
usr/lib/girepository-1.0/GstMpegts-1.0.typelib          introspection/gir1.2-gst-plugins-bad-1.0
.
30560a
usr/lib/girepository-1.0/GES-1.0.typelib                introspection/gir1.2-ges-1.0
.
24384a
usr/lib/emacsen-common/packages/remove/why3             math/why3
.
24380a
usr/lib/emacsen-common/packages/install/why3            math/why3
.
24376a
usr/lib/emacsen-common/packages/compat/why3             math/why3
.
24013a
usr/lib/debug/.build-id/ff/e9792bd7de66715c6799f77474adfeeceb0433.debug debug/gstreamer1.0-plugins-ugly-dbg
.
24012a
usr/lib/debug/.build-id/ff/7a7436150fb2c3d6348f8fe4c4dee31cfafe87.debug debug/gstreamer1.0-plugins-bad-dbg
.
24010a
usr/lib/debug/.build-id/fe/a2f0ecdf8374ff62e6bc5220c5ea2260c009fc.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/fe/a8e267ccdcf34109246b00fc2dd3a7129406b4.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/fe/ca9cdbd488f0cf30b9e9cf1534dfeea72e5900.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/fe/f12754ebcd83a02488f43dba19d8cc072f1467.debug debug/gstreamer1.0-plugins-good-dbg
.
24003a
usr/lib/debug/.build-id/fc/2809f6809c905b2f9fa238fb7d2e0b8d61c7af.debug debug/gstreamer1.0-plugins-good-dbg
.
23995a
usr/lib/debug/.build-id/fa/604ab0379e88ec9a6b21d8746ee07bbe4423db.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/fa/67124fc3374ccffbd5680b02f652b2a736cfac.debug debug/gstreamer1.0-plugins-good-dbg
.
23990a
usr/lib/debug/.build-id/f9/a127a910c017d4f3ee65f6ae2727fbc1999056.debug debug/gstreamer1.0-plugins-good-dbg
.
23987a
usr/lib/debug/.build-id/f8/067ad7ef0f27de7c210371efae391ccd88a00f.debug debug/gstreamer1.0-plugins-bad-dbg
.
23981a
usr/lib/debug/.build-id/f6/36a3b976231ea9a9c9c847ff2ab7dd0e1a5bd8.debug debug/gstreamer1.0-plugins-bad-dbg
.
23976a
usr/lib/debug/.build-id/f5/0ddbb7e9f8cd3943ebb106bd5c5dad89ce2904.debug debug/gstreamer1.0-plugins-good-dbg
.
23972a
usr/lib/debug/.build-id/f3/e6981818869a1fa593f5cb1766bfd2666b7fc5.debug debug/gstreamer1.0-plugins-bad-dbg
.
23964a
usr/lib/debug/.build-id/f1/ea9c7c3f7180eb2369da65d012b25338d22dfc.debug debug/gstreamer1.0-plugins-bad-dbg
.
23960a
usr/lib/debug/.build-id/f0/e88ac5ee3504e03f81705ad293dc3cd115e646.debug debug/gstreamer1.0-plugins-bad-dbg
.
23959a
usr/lib/debug/.build-id/f0/b17649d864f070512bfcc99d83453f25d92417.debug debug/gstreamer1.0-plugins-good-dbg
.
23958a
usr/lib/debug/.build-id/f0/66d577d00929a09cb58ff0be997fadf59a5755.debug debug/libges-1.0-0-dbg
.
23957a
usr/lib/debug/.build-id/ef/7e6fa95fcba55c6050c321f7dcd3ab8165764b.debug debug/gstreamer1.0-plugins-bad-dbg
.
23951a
usr/lib/debug/.build-id/ed/bdc906dcd4a416970315b28766f4e7498d060b.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/ed/d966f55721e51aae65172315110ee63a1098e1.debug debug/gstreamer1.0-plugins-good-dbg
.
23949a
usr/lib/debug/.build-id/ed/6010b5774302a78d17f7ce141c11984c5a4619.debug debug/gstreamer1.0-plugins-bad-dbg
.
23943a
usr/lib/debug/.build-id/eb/6242d5e9a0aac57b5f44b98ce9cf2ef8ab09f3.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/eb/76c56f7e22f51ac102a73337cabf47dff050d4.debug libs/gstreamer1.0-rtsp-dbg
.
23933a
usr/lib/debug/.build-id/e8/f87b9faa2be4ab9d97c4b881ead3edf9299379.debug debug/gstreamer1.0-plugins-bad-dbg
.
23928a
usr/lib/debug/.build-id/e7/2a1c56f057f90bba863f5182df1a9190b46549.debug debug/gstreamer1.0-plugins-bad-dbg
.
23919a
usr/lib/debug/.build-id/e5/aa5141a12de25339febe3c6b43a74b33f4a043.debug debug/gstreamer1.0-plugins-bad-dbg
.
23917a
usr/lib/debug/.build-id/e4/60eae780a91069db781d4c96db009ca40f7a6e.debug debug/python3-gst-1.0-dbg
usr/lib/debug/.build-id/e4/7479994de59cf506113800595dafe1f7361158.debug debug/gstreamer1.0-plugins-bad-dbg
.
23916a
usr/lib/debug/.build-id/e3/e4ab31ed4a6485a38396b1560d12a4a330fbd4.debug debug/gstreamer1.0-plugins-good-dbg
.
23915a
usr/lib/debug/.build-id/e3/d13b34bb2e0b71bc63413b1bad347d03fc3432.debug debug/gstreamer1.0-plugins-good-dbg
.
23904a
usr/lib/debug/.build-id/e1/da23ede613bf021c6b1d31724d6285450fc8c4.debug debug/gstreamer1.0-plugins-bad-dbg
.
23903a
usr/lib/debug/.build-id/e1/5a20af44f016c02ed2070461dae8b3cac49a55.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/e1/67832c7a540833aa4a70a2e2a1c8eb5b963850.debug debug/gstreamer1.0-plugins-bad-dbg
.
23890a
usr/lib/debug/.build-id/de/301e6550c99c80d71c3547e22df6134ffc9a55.debug debug/gstreamer1.0-plugins-bad-dbg
.
23889a
usr/lib/debug/.build-id/dd/9eaa532d1067aecf27d61d1415cd3cd622382e.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/dd/f2334fecd9b326971921ce007a273b8372ded1.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/de/03df014a93c661b7543ef6d83fb86c269f836e.debug debug/gstreamer1.0-plugins-bad-dbg
.
23880a
usr/lib/debug/.build-id/db/2b73245d01581aeae17fd5155b1e54d1b596f8.debug debug/gstreamer1.0-plugins-good-dbg
.
23879a
usr/lib/debug/.build-id/da/6c471090a92a148dab90a7b9abd80bab10cce2.debug debug/gstreamer1.0-plugins-bad-dbg
.
23877a
usr/lib/debug/.build-id/d9/efc2e01b30fe71c77d39b6bf28e15afe02da2e.debug debug/gstreamer1.0-plugins-ugly-dbg
usr/lib/debug/.build-id/d9/fcd6c60844f7d864b244ec491013fa9d49b381.debug debug/gstreamer1.0-plugins-bad-dbg
.
23873a
usr/lib/debug/.build-id/d9/79be140cbcafe04d99a5bc60915e87af2434de.debug debug/gstreamer1.0-plugins-bad-dbg
.
23870a
usr/lib/debug/.build-id/d8/63783dffc9ea2e78c0e9bad38faff52f45e62f.debug debug/gstreamer1.0-plugins-bad-dbg
.
23864a
usr/lib/debug/.build-id/d7/3b46d6627f492019359eeab23154f38186dfc2.debug debug/gstreamer1.0-plugins-bad-dbg
.
23863a
usr/lib/debug/.build-id/d7/1c4866abd5f48036ea70eef800f026b5079a48.debug debug/gstreamer1.0-plugins-bad-dbg
.
23862a
usr/lib/debug/.build-id/d6/63006ff3102ff36aed57973a379cb857991b2b.debug debug/gstreamer1.0-plugins-good-dbg
.
23860a
usr/lib/debug/.build-id/d5/8b9e691481692ee182256b806be473ef6cabf5.debug debug/gstreamer1.0-plugins-bad-dbg
.
23858a
usr/lib/debug/.build-id/d5/5dde2b5e976a73ed554b4e9b1d8840364a3b6e.debug debug/gstreamer1.0-plugins-bad-dbg
.
23851a
usr/lib/debug/.build-id/d3/479547d3edaa721e892a7d57ac57168f66118d.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/d3/c020f262e9e74f2f812b56a97cf870a8da3b70.debug debug/gstreamer1.0-plugins-good-dbg
.
23835a
usr/lib/debug/.build-id/ce/0e6ebfd520e9f9fbd9ca0ab400e3db022a9593.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23833a
usr/lib/debug/.build-id/cd/0ff687275c5984ab129b9c280f0871fdc6f153.debug debug/gstreamer1.0-plugins-bad-dbg
.
23822a
usr/lib/debug/.build-id/ca/bdfef5d2937e17b0db37236cbb41d8f8288fb7.debug debug/gstreamer1.0-plugins-bad-dbg
.
23808a
usr/lib/debug/.build-id/c7/a9c007003729867959285b5bbea2adfb83fd38.debug debug/gstreamer1.0-plugins-good-dbg
.
23805a
usr/lib/debug/.build-id/c7/1902f4ea5667736f215d7cc698e3270ca45be2.debug debug/gstreamer1.0-plugins-good-dbg
.
23802a
usr/lib/debug/.build-id/c4/e94ed3dce65450445f204cda9247feddac6359.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23795a
usr/lib/debug/.build-id/c2/9abb88a08484f6167c73a566ccc3c5cc4579c4.debug debug/gstreamer1.0-plugins-good-dbg
.
23789a
usr/lib/debug/.build-id/bf/4bd1e46959a9c417ce7e9f2330354908e5b16b.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/bf/cfbd04dc14e230f75296d58d28077f7c504117.debug debug/python-gst-1.0-dbg
.
23784a
usr/lib/debug/.build-id/bd/f0a6b7b9b4f95cfade812e45381697c770c886.debug debug/gstreamer1.0-plugins-good-dbg
.
23781a
usr/lib/debug/.build-id/bd/31cc65faf599cc06525f98860df92839b26fb2.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/bd/6b9d494bcaf26d891a1b240989b786f2ab816f.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23780a
usr/lib/debug/.build-id/bd/01ee38099bf9d50b19c82cefa0534a92addcaf.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/bd/03ee97d4afe5c3e52aa791944827202e79ee25.debug debug/gstreamer1.0-plugins-good-dbg
.
23775a
usr/lib/debug/.build-id/bc/631b98dc18dc4eba3db306a1fe2f769f76175b.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23773a
usr/lib/debug/.build-id/b9/a12b2cd9e34987141311c26dd11d5937b95159.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/b9/cea21e9871c88f4ede5080fcbd255ed1b9b30a.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/ba/6dbc568af07c44a96367cbf41aa1ae7855572e.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/bb/2fa50533b377a7c56508aa0b903956b3a2d1ed.debug debug/gstreamer1.0-plugins-bad-dbg
.
23759a
usr/lib/debug/.build-id/b6/76a963fa35d87e05135f6a73c8e9b02360871a.debug debug/gstreamer1.0-plugins-good-dbg
.
23758a
usr/lib/debug/.build-id/b5/a3df0b8e362ff2c609958b977d7a6fb03d6595.debug debug/gstreamer1.0-plugins-bad-dbg
.
23756a
usr/lib/debug/.build-id/b4/b6da8c139e7d8e8541dfc6c92efbcb6ee16a5f.debug debug/gstreamer1.0-plugins-bad-dbg
.
23753a
usr/lib/debug/.build-id/b4/0943139dfc5656c907e3e9f6cfbb74854517ca.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23748a
usr/lib/debug/.build-id/b2/106486ef007ed38bf3c101081a179cd3d58ad8.debug debug/gstreamer1.0-plugins-bad-dbg
.
23746a
usr/lib/debug/.build-id/b1/acb975a7dc1eec03ab3b765ed6a7b33d37c502.debug debug/gstreamer1.0-plugins-bad-dbg
.
23745a
usr/lib/debug/.build-id/b1/885a130e40b248d7fe3482d550cb13a07391fd.debug debug/gstreamer1.0-plugins-good-dbg
.
23742a
usr/lib/debug/.build-id/b0/9bda2044328a1f5bd954259876f21be72d54c7.debug debug/gstreamer1.0-plugins-bad-dbg
.
23740a
usr/lib/debug/.build-id/b0/0cb5aabf835762e9d38dcf68f0f0ae97e6e910.debug debug/gstreamer1.0-plugins-bad-dbg
.
23739a
usr/lib/debug/.build-id/af/db490c03a228b8ae07423677c0a6de77582580.debug debug/libges-1.0-0-dbg
.
23736a
usr/lib/debug/.build-id/ae/9b001b2b3436aeb47613c5b880ecdebdd8f088.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/af/1e30738fa68c32b01c8dd92f932d894afb8877.debug debug/gstreamer1.0-plugins-bad-dbg
.
23733a
usr/lib/debug/.build-id/ad/54c9efeb8e7b3d99cd1ad77957401feb00d4ca.debug debug/gstreamer1.0-plugins-bad-dbg
.
23715a
usr/lib/debug/.build-id/a8/a23aba35d5e5d62d02c09ea5b8a030af452838.debug debug/gstreamer1.0-plugins-bad-dbg
.
23714a
usr/lib/debug/.build-id/a8/532b8028ac0e55dab4016b799c33a051500657.debug debug/gstreamer1.0-plugins-bad-dbg
.
23697a
usr/lib/debug/.build-id/a3/aae7dfae504126c833b82e2f59be483f94e3c8.debug debug/gstreamer1.0-plugins-bad-dbg
.
23696a
usr/lib/debug/.build-id/a2/f750828826e9b7e84922240941810eac74691e.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/a3/6b6f2e7648e53e2426a01c9051ab370243e455.debug debug/gstreamer1.0-plugins-bad-dbg
.
23694a
usr/lib/debug/.build-id/a2/5ae792118033155113ad91ef2b336b39cb8b64.debug debug/gstreamer1.0-plugins-good-dbg
.
23693a
usr/lib/debug/.build-id/a1/bf5abbc1a178fbcb66a287795373eca8e8df95.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/a1/fa9c912815c296173d4a7bb60b52b1cedceb9c.debug debug/gstreamer1.0-plugins-bad-dbg
.
23692a
usr/lib/debug/.build-id/a1/a17dce92f859946369f347a0fe3eda11f2159c.debug debug/gstreamer1.0-plugins-good-dbg
.
23691a
usr/lib/debug/.build-id/a1/3a2548274a14fcf04466b805b5fbc52e3adbe7.debug debug/gstreamer1.0-plugins-bad-dbg
.
23677a
usr/lib/debug/.build-id/9d/5893afe7e8be055249abfd8b3ad66d53a56381.debug debug/gstreamer1.0-plugins-bad-dbg
.
23671a
usr/lib/debug/.build-id/9b/4d6648f209dfb8aeed65248f4c61386ca520f9.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23661a
usr/lib/debug/.build-id/98/317dd6bdebd401662f25043fb0dac61c93b0b6.debug debug/gstreamer1.0-plugins-bad-dbg
.
23659a
usr/lib/debug/.build-id/97/860742302ebe1506763a86d89e5917bd884a54.debug debug/gstreamer1.0-plugins-bad-dbg
.
23655a
usr/lib/debug/.build-id/95/f67de12eba73e50daae50038ccba23028b512c.debug debug/gstreamer1.0-plugins-bad-dbg
.
23651a
usr/lib/debug/.build-id/95/531cc420338736a96d237dc02353db980f5be2.debug debug/gstreamer1.0-plugins-bad-dbg
.
23648a
usr/lib/debug/.build-id/95/04907ccb7aa21d8780b3734f213b473f9a3d69.debug debug/gstreamer1.0-plugins-good-dbg
.
23641a
usr/lib/debug/.build-id/92/ef555081ea01fd8d4c79feaf4201c8e0d937cc.debug debug/gstreamer1.0-plugins-bad-dbg
.
23639a
usr/lib/debug/.build-id/91/3e24433ffacc071dd3af1e702a97edfca21fd0.debug debug/gstreamer1.0-plugins-ugly-dbg
usr/lib/debug/.build-id/91/577d920d553c6f208480da6ade816b4ca6621f.debug debug/gstreamer1.0-plugins-good-dbg
.
23636a
usr/lib/debug/.build-id/91/0d47f319726a4b71263a248cee58e02bbbe1ab.debug debug/gstreamer1.0-plugins-bad-dbg
.
23635a
usr/lib/debug/.build-id/8f/c25226547c42a46b2d6b3033035118c238b88c.debug debug/gstreamer1.0-plugins-bad-dbg
.
23632a
usr/lib/debug/.build-id/8f/56fd50a29b18cda9e8238e5e5f26dcfd8c2255.debug debug/gstreamer1.0-plugins-bad-dbg
.
23629a
usr/lib/debug/.build-id/8d/15cd6d9216f82b86ea4bcce12a088f7f80e00b.debug debug/gstreamer1.0-plugins-bad-dbg
.
23618a
usr/lib/debug/.build-id/8b/8df9482c23353d638a8a8e3b5683ef40d98614.debug debug/gstreamer1.0-plugins-good-dbg
.
23613a
usr/lib/debug/.build-id/8a/236ff9d09459157768e9c96d94fde92770330a.debug debug/gstreamer1.0-plugins-bad-dbg
.
23612a
usr/lib/debug/.build-id/88/cfab9367a6ef4cbd49a9edfbdc6bf926654bf5.debug debug/gstreamer1.0-plugins-bad-dbg
.
23606a
usr/lib/debug/.build-id/86/49969b8ebbb2dfe884a2db93dc6a41aa3a4ef5.debug debug/gstreamer1.0-plugins-bad-dbg
.
23599a
usr/lib/debug/.build-id/84/941faf3991e3b52ddeb20e4fe45959d7390d41.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23597a
usr/lib/debug/.build-id/84/05eb1505c7251606568b1efd8dc81ab9359b29.debug debug/gstreamer1.0-plugins-good-dbg
.
23585a
usr/lib/debug/.build-id/82/a69cbc3a54fbe567bf434f3989304d7be40ee2.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/82/dc8d76edbc34d53ed8b4105b2dc94b0c640530.debug debug/gstreamer1.0-plugins-good-dbg
.
23577a
usr/lib/debug/.build-id/7f/dcecfe2f9ecd6946c48de95d423b361b355a50.debug debug/gstreamer1.0-plugins-good-dbg
.
23570a
usr/lib/debug/.build-id/7f/0546ca0d1621662f0003f7b44c923efe7988d1.debug debug/gstreamer1.0-plugins-bad-dbg
.
23569a
usr/lib/debug/.build-id/7e/f5731a22c0269d7bd9bf807311973e0380c707.debug debug/gstreamer1.0-plugins-bad-dbg
.
23565a
usr/lib/debug/.build-id/7d/a8dc9cfec5060e7d42b8b0c88c17c12de46632.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/7d/ceb99ab254819346be921d414e6ba949ce9a6a.debug debug/gstreamer1.0-libav-dbg
.
23558a
usr/lib/debug/.build-id/7c/e751645de5a1c4156acc332d59d75542acb847.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/7c/fe2bf77d2246d78bba7063e4f3ae21b9290538.debug debug/gstreamer1.0-plugins-bad-dbg
.
23551a
usr/lib/debug/.build-id/7b/aeacf396a912da2d92bfa9b2a813f7d672835a.debug debug/gstreamer1.0-plugins-good-dbg
.
23543a
usr/lib/debug/.build-id/7a/0d9b5259303ed97bd085893a82347e816475e2.debug debug/gstreamer1.0-plugins-bad-dbg
.
23538a
usr/lib/debug/.build-id/78/894b5b174162171527a6828a4abb7b3db675de.debug debug/gstreamer1.0-plugins-good-dbg
.
23527a
usr/lib/debug/.build-id/73/6cb26204236f416c9ff480c7cf40c788550f94.debug debug/gstreamer1.0-plugins-good-dbg
.
23522a
usr/lib/debug/.build-id/72/4407d3cd263e60edb1ea1e6976d6984fd835b9.debug debug/gstreamer1.0-plugins-bad-dbg
.
23519a
usr/lib/debug/.build-id/71/121d451a5d654f9d309bbe22d40de2564cfb4c.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/71/1b190ac6034f6efd49613ff3605e65c060d3fc.debug debug/gstreamer1.0-plugins-bad-dbg
.
23518a
usr/lib/debug/.build-id/6f/c13a7ceb8dad0ffacefbb78a452523b253438e.debug debug/gstreamer1.0-plugins-bad-dbg
.
23516a
usr/lib/debug/.build-id/6f/1de691c0755a437e25269c9cece1bf5b6b9cd6.debug debug/gstreamer1.0-plugins-bad-dbg
.
23512a
usr/lib/debug/.build-id/6d/e9afddedbab3ab43746e85836e8fcaedad64f1.debug debug/gstreamer1.0-plugins-good-dbg
.
23510a
usr/lib/debug/.build-id/6c/a643bd66ae6ce8f3472327089238fadeaad9c6.debug debug/gstreamer1.0-plugins-bad-dbg
.
23503a
usr/lib/debug/.build-id/6a/3c5ee4e8e7b8702151af886061c3c11705e31e.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/6a/43357e85f6f62c4d0e29532ce89bd4230c27de.debug debug/gstreamer1.0-plugins-bad-dbg
.
23501a
usr/lib/debug/.build-id/69/a6e2f5ea303da770decef48a3caa7dd17d3b6b.debug debug/gstreamer1.0-plugins-good-dbg
.
23493a
usr/lib/debug/.build-id/67/933c7f2d0cc5c0f4432206a966dacfae036263.debug debug/gstreamer1.0-plugins-bad-dbg
.
23492a
usr/lib/debug/.build-id/66/cc2c9c830fd3db1a4bc6ac39cde84f43e0312e.debug debug/gstreamer1.0-plugins-bad-dbg
.
23490a
usr/lib/debug/.build-id/65/372291f2ca3bb5a670fc2c7b8c65c3054ae14f.debug debug/gstreamer1.0-plugins-bad-dbg
.
23480a
usr/lib/debug/.build-id/61/9b01a45973e70883662e29eb92803f1d5fec42.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23476a
usr/lib/debug/.build-id/60/89b2f4b72d1deb6637359e932fdbe9d03c4890.debug debug/gstreamer1.0-plugins-good-dbg
.
23469a
usr/lib/debug/.build-id/5f/2e7ca81824f33325d1d1e6b64b74cddbdf9201.debug debug/gstreamer1.0-plugins-bad-dbg
.
23466a
usr/lib/debug/.build-id/5e/82b7e28ebdf2d72f3ac88635348bcf2328ae4c.debug debug/gstreamer1.0-plugins-good-dbg
.
23463a
usr/lib/debug/.build-id/5d/a85abb74f690356167d1bf7b83ff9a6c6e37c0.debug debug/gstreamer1.0-plugins-bad-dbg
.
23459a
usr/lib/debug/.build-id/59/d440af9e2ba7916b2a14b78693ea2a8ee81f9b.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/59/eb680eb0c9ca8ba1ccf000a536d746d25d04e6.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/5a/0dfc843b3ad713e4fc0ceeeeae9e8763982d4c.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/5a/7f2b676ade71ecf3f8eb10b6032c702bbd3a45.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/5a/93e7d0810f51617b8977250a58ff3c22502393.debug debug/gstreamer1.0-plugins-bad-dbg
.
23455a
usr/lib/debug/.build-id/58/b537d65cc11b5c408cd6103d2a8455c450422a.debug debug/gstreamer1.0-plugins-bad-dbg
.
23453a
usr/lib/debug/.build-id/57/efb66ac100f091e2b2762f7be28f2682ba6081.debug debug/gstreamer1.0-plugins-good-dbg
.
23452a
usr/lib/debug/.build-id/57/43e8c8929509f98ac223497cc8ebc7c7748fef.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/57/4fa43a6a3ca4b863c514da795127fac013686b.debug debug/gstreamer1.0-plugins-bad-dbg
.
23448a
usr/lib/debug/.build-id/55/94b59f8715cdbe89f82dc3710ff0e799ef34a9.debug debug/gstreamer1.0-plugins-bad-dbg
.
23432a
usr/lib/debug/.build-id/53/550be7b98f0cf0004d58776a7a3eabd185d240.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/53/7971dbc27e0a73db49d90c8d3c7fc6c7caf163.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/53/8bb0080e97e68f9b0b461ad166690fb227b55c.debug debug/gstreamer1.0-plugins-bad-dbg
.
23431a
usr/lib/debug/.build-id/52/f6a5ffb6bcc6c60ed81be6b8ad5d07e07e815b.debug debug/gstreamer1.0-plugins-good-dbg
.
23428a
usr/lib/debug/.build-id/50/a71d4260ed37da03f68124430461fc2a643d8a.debug debug/gstreamer1.0-plugins-bad-dbg
.
23416a
usr/lib/debug/.build-id/4c/efb09a84daade2c5cf2f8c1cf9e029cd4d3051.debug debug/gstreamer1.0-plugins-bad-dbg
.
23402a
usr/lib/debug/.build-id/49/eea1e5952e188c20b4ff493738d775e0d91e4e.debug debug/gstreamer1.0-plugins-bad-dbg
.
23401a
usr/lib/debug/.build-id/49/2710311bddb81907256505e38d05ac6c4d85d8.debug debug/gstreamer1.0-plugins-bad-dbg
.
23397a
usr/lib/debug/.build-id/48/a79cb0bee6a553d2f7ce963adcbaa963c4e7de.debug debug/gstreamer1.0-plugins-good-dbg
.
23396a
usr/lib/debug/.build-id/48/578e328854e52418378839d983b8b82dced006.debug debug/gstreamer1.0-plugins-bad-dbg
.
23395a
usr/lib/debug/.build-id/47/9770a16bac29286b37eb91f8ce56685d02155e.debug debug/gstreamer1.0-plugins-good-dbg
.
23391a
usr/lib/debug/.build-id/46/c4cfca4a211e0f4d88a14c33a254a4be28ab55.debug debug/gstreamer1.0-plugins-ugly-dbg
usr/lib/debug/.build-id/46/c8a9a2451a5562418e398e9044ac0f600e0024.debug debug/gstreamer1.0-plugins-bad-dbg
.
23384a
usr/lib/debug/.build-id/44/f75c643ce379f4aa8f89b5d5dca18471b7838f.debug debug/gstreamer1.0-plugins-bad-dbg
.
23375a
usr/lib/debug/.build-id/3f/d51f63813e1031d448a06bf444818cd9940e9a.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/3f/d90dc1138a49fe0c6018de9aa5125c5e4ab2dc.debug debug/gstreamer1.0-plugins-good-dbg
.
23367a
usr/lib/debug/.build-id/3d/7329a1c77c9e91aedabe791a23b18842b76a47.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23358a
usr/lib/debug/.build-id/3b/ec9e9c9a7db9a9e2841d411540888690913f97.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/3c/0b2d3d7b467a797b65ecb7d9fb5fd7ecc26a28.debug debug/gstreamer1.0-plugins-bad-dbg
.
23355a
usr/lib/debug/.build-id/3a/b8989af4a744ae52cd0022483d04feadf90f6e.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/3a/d517bee63ac5a12e32a04dd2ab0c453a5533cb.debug debug/gstreamer1.0-plugins-good-dbg
.
23340a
usr/lib/debug/.build-id/38/5d98d90c81396055aca0422342ac10f51157f5.debug debug/gstreamer1.0-plugins-bad-dbg
.
23335a
usr/lib/debug/.build-id/37/502d4703885706682f7a00fd8e7f84cb720a76.debug debug/gstreamer1.0-plugins-good-dbg
.
23332a
usr/lib/debug/.build-id/37/0c3419438794409e8985c071589984db0db964.debug debug/gstreamer1.0-plugins-bad-dbg
.
23318a
usr/lib/debug/.build-id/32/953c2f160bd7d17fdcfebb7836a82c8c7666b1.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/32/ab502aa60925b6b37be9b34857f43687fd5827.debug debug/gstreamer1.0-plugins-bad-dbg
.
23316a
usr/lib/debug/.build-id/31/d4b7efc282e8dae04ea7b4f4cf1f94371dfe56.debug debug/gstreamer1.0-plugins-good-dbg
.
23314a
usr/lib/debug/.build-id/30/d43f903fe51d801f145530310505c1149b69e8.debug debug/gstreamer1.0-plugins-good-dbg
usr/lib/debug/.build-id/30/fa8c3caf3ea470520a1fa277a43d85374a5166.debug debug/gstreamer1.0-plugins-bad-dbg
.
23307a
usr/lib/debug/.build-id/2e/c99958f37595642336e95a20bb68c8f08fddce.debug debug/gstreamer1.0-plugins-good-dbg
.
23293a
usr/lib/debug/.build-id/2c/426fd34d13ee0b299f0d7ca54c36c6f23f84ac.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/2c/78b2e0c7801af47a5970fba80d9aaad44ea52e.debug debug/libgstrtspserver-1.0-0-dbg
.
23269a
usr/lib/debug/.build-id/26/372d16f1f559a233d3713741c0ac2949085add.debug debug/gstreamer1.0-plugins-bad-dbg
.
23259a
usr/lib/debug/.build-id/23/92243c3a34b055320ac8e4a75cd8dcac3f95b5.debug debug/gstreamer1.0-plugins-bad-dbg
.
23250a
usr/lib/debug/.build-id/21/527f6ef1b1468ce5a7f05e8d22122f1af2f28f.debug debug/gstreamer1.0-plugins-good-dbg
.
23249a
usr/lib/debug/.build-id/20/f09232cddafc6fd09b193d4e53871355b62b68.debug debug/gstreamer1.0-plugins-bad-dbg
.
23244a
usr/lib/debug/.build-id/1f/7d9f504960cf3ccb1127adcaf3924f54b3415e.debug debug/gstreamer1.0-plugins-good-dbg
.
23240a
usr/lib/debug/.build-id/1e/977a4e805ac4a89b577987b141df4855eb57ed.debug debug/gstreamer1.0-plugins-bad-dbg
.
23226a
usr/lib/debug/.build-id/1a/87ba406d11fab555aebc3c81167f35ebc0afc6.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/1a/e8894c892067e3c3f65df1a73c38a83db389fa.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/1b/493e90fa3285952712a2b192e2533622eed26d.debug debug/gstreamer1.0-plugins-bad-dbg
.
23225a
usr/lib/debug/.build-id/1a/199d76ce5c6207ef631148dc5dbc64d8a984c4.debug debug/gstreamer1.0-plugins-good-dbg
.
23224a
usr/lib/debug/.build-id/19/60866ddef4cf5522238356c6cb2fa6e14b9251.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/19/ad938602048027753199153825a14c0c72706f.debug debug/gstreamer1.0-plugins-good-dbg
.
23223a
usr/lib/debug/.build-id/19/1d6811b50c6c8dd8a23f38533e68749b1c037b.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/19/1f84d0061df6ce0a1c381e99706f90db4d3ed5.debug debug/gstreamer1.0-plugins-good-dbg
.
23221a
usr/lib/debug/.build-id/18/71c1db18111569c70e0db2f86183d66adecf2e.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23211a
usr/lib/debug/.build-id/15/970e09a7866b9c29ec520a1343b09aa9b62a33.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/15/a80a9720c879b31ad1571ba0bac836e3d2fd26.debug debug/gstreamer1.0-plugins-bad-dbg
.
23209a
usr/lib/debug/.build-id/15/2b52638adc3349849b2dd53f79bd2e67c2843f.debug debug/gstreamer1.0-plugins-bad-dbg
.
23208a
usr/lib/debug/.build-id/15/144e5953baa8d845da938ac78507132a98586d.debug debug/gstreamer1.0-plugins-good-dbg
.
23206a
usr/lib/debug/.build-id/14/64fcf325d9d12dd10c78dfd656a33cb6970330.debug debug/gstreamer1.0-plugins-good-dbg
.
23203a
usr/lib/debug/.build-id/13/83e223c114e92e89cdae75335143d15bbef8cb.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23200a
usr/lib/debug/.build-id/11/fac8b395acb107fd3b85016f36a844a2aeec24.debug debug/gstreamer1.0-plugins-good-dbg
.
23192a
usr/lib/debug/.build-id/0f/4ea5156096b4dad594294d738c624d2b7121f9.debug debug/gstreamer1.0-plugins-ugly-dbg
.
23187a
usr/lib/debug/.build-id/0d/c2bb58c3fab7d4ad8a7e1224b1b6535fd8510e.debug debug/gstreamer1.0-plugins-bad-dbg
.
23185a
usr/lib/debug/.build-id/0d/5a7020af84283aada339f64c9ee03340887162.debug debug/gstreamer1.0-plugins-bad-dbg
.
23178a
usr/lib/debug/.build-id/0b/c96e87e0b2c9a96a0cda98d7870244018201f4.debug debug/gstreamer1.0-plugins-bad-dbg
.
23163a
usr/lib/debug/.build-id/08/c3faf3106a6c3d58965cefb2a0afe30e14b5f0.debug debug/gstreamer1.0-plugins-bad-dbg
.
23157a
usr/lib/debug/.build-id/07/9954496416edb252ac201d5ecf2c646e5b7b73.debug debug/gstreamer1.0-plugins-bad-dbg
.
23152a
usr/lib/debug/.build-id/05/5197860d7d01c76215c668487bedcb037d1c1a.debug debug/gstreamer1.0-plugins-bad-dbg
usr/lib/debug/.build-id/05/d364d0d24046259ad5c50f6606590534d0b8d2.debug debug/gstreamer1.0-plugins-bad-dbg
.
23150a
usr/lib/debug/.build-id/04/34084011a21665441797b4d6684a60347db2ff.debug debug/gstreamer1.0-plugins-bad-dbg
.
23149a
usr/lib/debug/.build-id/03/6012d8812d50547a93126f70ca77a5902de970.debug debug/gstreamer1.0-plugins-bad-dbg
.
23148a
usr/lib/debug/.build-id/01/ffad7979b7ab09dc24cf92e04ffe38c833768a.debug debug/gstreamer1.0-plugins-good-dbg
.
23142a
usr/lib/debug/.build-id/00/534f7855eb2324a88661f55684645a3ee00e63.debug debug/gstreamer1.0-plugins-good-dbg
.
22916a
usr/lib/csvimp/plugins/libcsvimpplugin.so               misc/csvimp
.
22684a
usr/lib/arm-linux-gnueabihf/why3/commands/why3config    math/why3
usr/lib/arm-linux-gnueabihf/why3/commands/why3doc       math/why3
usr/lib/arm-linux-gnueabihf/why3/commands/why3execute   math/why3
usr/lib/arm-linux-gnueabihf/why3/commands/why3extract   math/why3
usr/lib/arm-linux-gnueabihf/why3/commands/why3ide       math/why3
usr/lib/arm-linux-gnueabihf/why3/commands/why3prove     math/why3
usr/lib/arm-linux-gnueabihf/why3/commands/why3realize   math/why3
usr/lib/arm-linux-gnueabihf/why3/commands/why3replay    math/why3
usr/lib/arm-linux-gnueabihf/why3/commands/why3session   math/why3
usr/lib/arm-linux-gnueabihf/why3/commands/why3wc        math/why3
usr/lib/arm-linux-gnueabihf/why3/coq-tactic/Why3.glob   math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq-tactic/Why3.v      math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq-tactic/Why3.vo     math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq-tactic/why3tac.cma math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq-tactic/why3tac.cmxs math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/BuiltIn.vo         math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/HighOrd.vo         math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/bool/Bool.vo       math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/bv/BV_Gen.vo       math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/bv/Pow2int.vo      math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/int/Abs.vo         math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/int/ComputerDivision.vo math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/int/Div2.vo        math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/int/EuclideanDivision.vo math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/int/Exponentiation.vo math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/int/Int.vo         math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/int/MinMax.vo      math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/int/NumOf.vo       math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/int/Power.vo       math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/Append.vo     math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/Combine.vo    math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/Distinct.vo   math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/HdTl.vo       math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/HdTlNoOpt.vo  math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/Length.vo     math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/List.vo       math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/Mem.vo        math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/Nth.vo        math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/NthHdTl.vo    math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/NthLength.vo  math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/NthLengthAppend.vo math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/NthNoOpt.vo   math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/NumOcc.vo     math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/Permut.vo     math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/RevAppend.vo  math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/list/Reverse.vo    math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/map/Const.vo       math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/map/Map.vo         math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/map/MapInjection.vo math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/map/MapPermut.vo   math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/map/Occ.vo         math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/number/Coprime.vo  math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/number/Divisibility.vo math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/number/Gcd.vo      math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/number/Parity.vo   math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/number/Prime.vo    math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/option/Option.vo   math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/Abs.vo        math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/ExpLog.vo     math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/FromInt.vo    math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/MinMax.vo     math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/PowerInt.vo   math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/PowerReal.vo  math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/Real.vo       math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/RealInfix.vo  math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/Square.vo     math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/real/Trigonometry.vo math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/seq/Seq.vo         math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/coq/set/Set.vo         math/why3-coq
usr/lib/arm-linux-gnueabihf/why3/plugins/dimacs.cmo     math/why3
usr/lib/arm-linux-gnueabihf/why3/plugins/dimacs.cmxs    math/why3
usr/lib/arm-linux-gnueabihf/why3/plugins/genequlin.cmo  math/why3
usr/lib/arm-linux-gnueabihf/why3/plugins/genequlin.cmxs math/why3
usr/lib/arm-linux-gnueabihf/why3/plugins/hypothesis_selection.cmo math/why3
usr/lib/arm-linux-gnueabihf/why3/plugins/hypothesis_selection.cmxs math/why3
usr/lib/arm-linux-gnueabihf/why3/plugins/tptp.cmo       math/why3
usr/lib/arm-linux-gnueabihf/why3/plugins/tptp.cmxs      math/why3
usr/lib/arm-linux-gnueabihf/why3/why3-call-pvs          math/why3
usr/lib/arm-linux-gnueabihf/why3/why3-cpulimit          math/why3
.
21570a
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-rtsp-server-1.0.pc libdevel/libgstrtspserver-1.0-dev
.
21566a
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-player-1.0.pc libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-plugins-bad-1.0.pc libdevel/libgstreamer-plugins-bad1.0-dev
.
21564a
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-gl-1.0.pc libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-insertbin-1.0.pc libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-mpegts-1.0.pc libdevel/libgstreamer-plugins-bad1.0-dev
.
21562a
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-codecparsers-1.0.pc libdevel/libgstreamer-plugins-bad1.0-dev
.
21560a
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-bad-audio-1.0.pc libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-bad-base-1.0.pc libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/pkgconfig/gstreamer-bad-video-1.0.pc libdevel/libgstreamer-plugins-bad1.0-dev
.
21556a
usr/lib/arm-linux-gnueabihf/pkgconfig/gst-editing-services-1.0.pc libdevel/libges-1.0-dev
.
20602a
usr/lib/arm-linux-gnueabihf/libxtuplecommon.so          libdevel/libxtuplecommon-dev
usr/lib/arm-linux-gnueabihf/libxtuplecommon.so.1        libs/libxtuplecommon1
usr/lib/arm-linux-gnueabihf/libxtuplecommon.so.1.0      libs/libxtuplecommon1
usr/lib/arm-linux-gnueabihf/libxtuplecommon.so.1.0.0    libs/libxtuplecommon1
.
20101a
usr/lib/arm-linux-gnueabihf/libgstwayland-1.0.so        libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstwayland-1.0.so.0      libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstwayland-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
.
20098a
usr/lib/arm-linux-gnueabihf/libgsturidownloader-1.0.so  libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgsturidownloader-1.0.so.0 libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgsturidownloader-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
.
20092a
usr/lib/arm-linux-gnueabihf/libgstrtspserver-1.0.so     libdevel/libgstrtspserver-1.0-dev
usr/lib/arm-linux-gnueabihf/libgstrtspserver-1.0.so.0   libs/libgstrtspserver-1.0-0
usr/lib/arm-linux-gnueabihf/libgstrtspserver-1.0.so.0.1101.0 libs/libgstrtspserver-1.0-0
.
20080a
usr/lib/arm-linux-gnueabihf/libgstphotography-1.0.so    libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstphotography-1.0.so.0  libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstphotography-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstplayer-1.0.so         libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstplayer-1.0.so.0       libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstplayer-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
.
20077a
usr/lib/arm-linux-gnueabihf/libgstopencv-1.0.so         libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstopencv-1.0.so.0       libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstopencv-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
.
20074a
usr/lib/arm-linux-gnueabihf/libgstgl-1.0.so             libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstgl-1.0.so.0           libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstgl-1.0.so.0.1101.0    libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstinsertbin-1.0.so      libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstinsertbin-1.0.so.0    libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstinsertbin-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstmpegts-1.0.so         libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstmpegts-1.0.so.0       libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstmpegts-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
.
20068a
usr/lib/arm-linux-gnueabihf/libgstcodecparsers-1.0.so   libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstcodecparsers-1.0.so.0 libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstcodecparsers-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
.
20065a
usr/lib/arm-linux-gnueabihf/libgstbasecamerabinsrc-1.0.so libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstbasecamerabinsrc-1.0.so.0 libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstbasecamerabinsrc-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
.
20062a
usr/lib/arm-linux-gnueabihf/libgstbadaudio-1.0.so       libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstbadaudio-1.0.so.0     libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstbadaudio-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstbadbase-1.0.so        libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstbadbase-1.0.so.0      libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstbadbase-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstbadvideo-1.0.so       libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstbadvideo-1.0.so.0     libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstbadvideo-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
.
20053a
usr/lib/arm-linux-gnueabihf/libgstadaptivedemux-1.0.so  libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/libgstadaptivedemux-1.0.so.0 libs/libgstreamer-plugins-bad1.0-0
usr/lib/arm-linux-gnueabihf/libgstadaptivedemux-1.0.so.0.1101.0 libs/libgstreamer-plugins-bad1.0-0
.
19975a
usr/lib/arm-linux-gnueabihf/libges-1.0.so               libdevel/libges-1.0-dev
usr/lib/arm-linux-gnueabihf/libges-1.0.so.0             libs/libges-1.0-0
usr/lib/arm-linux-gnueabihf/libges-1.0.so.0.1101.0      libs/libges-1.0-0
.
19490a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgsty4mdec.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgsty4menc.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstyadif.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstzbar.so libs/gstreamer1.0-plugins-bad
.
19489a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstximagesrc.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstxingmux.so libs/gstreamer1.0-plugins-ugly
.
19488a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvpx.so  libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstwavenc.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstwavpack.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstwavparse.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstwaylandsink.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstwebp.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstwebrtcdsp.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstwildmidi.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstx264.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstx265.so libs/gstreamer1.0-plugins-bad
.
19486a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvmnc.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvoaacenc.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvoamrwbenc.so libs/gstreamer1.0-plugins-bad
.
19485a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvideosignal.so libs/gstreamer1.0-plugins-bad
.
19483a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvideocrop.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvideofilter.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvideofiltersbad.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvideoframe_audiolevel.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvideomixer.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvideoparsersbad.so libs/gstreamer1.0-plugins-bad
.
19482a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstudp.so  libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstuvch264.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvcdsrc.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvideo4linux2.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstvideobox.so libs/gstreamer1.0-plugins-good
.
19481a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgsttimecode.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgsttwolame.so libs/gstreamer1.0-plugins-ugly
.
19479a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgsttaglib.so libs/gstreamer1.0-plugins-good
.
19478a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstpng.so  libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstpnm.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstpulse.so sound/gstreamer1.0-pulseaudio
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrawparse.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstremovesilence.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstreplaygain.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstresindvd.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrfbsrc.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrmdemux.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrsvg.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrtmp.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrtp.so  libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrtpmanager.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrtponvif.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrtsp.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrtspclientsink.la libs/gstreamer1.0-rtsp
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstrtspclientsink.so libs/gstreamer1.0-rtsp
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsbc.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsdpelem.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsegmentclip.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstshapewipe.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstshm.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstshout2.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsid.so  libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsiren.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsmooth.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsmoothstreaming.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsmpte.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsndfile.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsoundtouch.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsouphttpsrc.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstspandsp.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstspectrum.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstspeed.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstspeex.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsrtp.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgststereo.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstsubenc.so libs/gstreamer1.0-plugins-bad
.
19477a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstpcapparse.so libs/gstreamer1.0-plugins-bad
.
19476a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstopusparse.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstoss4audio.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstossaudio.so libs/gstreamer1.0-plugins-good
.
19475a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstopenal.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstopencv.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstopenexr.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstopengl.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstopenjpeg.so libs/gstreamer1.0-plugins-bad
.
19474a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstlv2.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmatroska.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmidi.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmms.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmodplug.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmonoscope.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmpeg2dec.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmpeg2enc.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmpegpsdemux.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmpegpsmux.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmpegtsdemux.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmpegtsmux.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmpg123.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmplex.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmulaw.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmultifile.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmultipart.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmusepack.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstmxf.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstnavigationtest.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstnetsim.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstnle.so  libs/libges-1.0-0
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstofa.so  libs/gstreamer1.0-plugins-bad
.
19473a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstgme.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstgoom.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstgoom2k1.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstgsm.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstgtksink.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgsthls.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgsticydemux.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstid3demux.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstid3tag.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstimagefreeze.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstinter.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstinterlace.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstinterleave.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstisomp4.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstivfparse.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstivtc.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstjack.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstjp2kdecimator.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstjpeg.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstjpegformat.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstkate.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstkmssink.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstladspa.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstlame.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstlevel.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstlibav.so libs/gstreamer1.0-libav
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstlibde265.so libs/gstreamer1.0-plugins-bad
.
19472a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstequalizer.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstfaad.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstfbdevsink.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstfestival.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstfieldanalysis.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstflac.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstflite.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstfluidsynthmidi.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstflv.so  libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstflxdec.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstfreeverb.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstfrei0r.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstgaudieffects.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstgdkpixbuf.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstgdp.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstgeometrictransform.so libs/gstreamer1.0-plugins-bad
.
19471a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstcurl.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstcutter.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdashdemux.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdc1394.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdebug.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdebugutilsbad.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdecklink.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdeinterlace.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdtls.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdtmf.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdtsdec.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdv.so   libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdvb.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdvbsuboverlay.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdvdlpcmdec.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdvdread.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdvdspu.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstdvdsub.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgsteffectv.so libs/gstreamer1.0-plugins-good
.
19469a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstchromaprint.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstcoloreffects.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstcompositor.so libs/gstreamer1.0-plugins-bad
.
19468a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstaudiovisualizers.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstauparse.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstautoconvert.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstautodetect.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstavi.so  libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstbayer.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstbluez.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstbs2b.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstbz2.so  libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstcacasink.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstcairo.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstcamerabin2.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstcdio.so libs/gstreamer1.0-plugins-ugly
.
19465a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstaudiofx.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstaudiofxbad.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstaudiomixer.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstaudioparsers.so libs/gstreamer1.0-plugins-good
.
19464a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstasf.so  libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstasfmux.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstassrender.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstaudiobuffersplit.so libs/gstreamer1.0-plugins-bad
.
19463a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstamrnb.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstamrwbdec.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstapetag.so libs/gstreamer1.0-plugins-good
.
19462a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstadpcmdec.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstadpcmenc.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstaiff.so libs/gstreamer1.0-plugins-bad
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstalaw.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstalpha.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstalphacolor.so libs/gstreamer1.0-plugins-good
.
19461a
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/include/gst/gl/gstglconfig.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgst1394.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgsta52dec.so libs/gstreamer1.0-plugins-ugly
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstaasink.so libs/gstreamer1.0-plugins-good
usr/lib/arm-linux-gnueabihf/gstreamer-1.0/libgstaccurip.so libs/gstreamer1.0-plugins-bad
.
18225a
usr/include/xtuple/common/applock.h                     libdevel/libxtuplecommon-dev
usr/include/xtuple/common/calendarcontrol.h             libdevel/libxtuplecommon-dev
usr/include/xtuple/common/calendargraphicsitem.h        libdevel/libxtuplecommon-dev
usr/include/xtuple/common/checkForUpdates.h             libdevel/libxtuplecommon-dev
usr/include/xtuple/common/errorReporter.h               libdevel/libxtuplecommon-dev
usr/include/xtuple/common/exporthelper.h                libdevel/libxtuplecommon-dev
usr/include/xtuple/common/format.h                      libdevel/libxtuplecommon-dev
usr/include/xtuple/common/graphicstextbuttonitem.h      libdevel/libxtuplecommon-dev
usr/include/xtuple/common/gunzip.h                      libdevel/libxtuplecommon-dev
usr/include/xtuple/common/importhelper.h                libdevel/libxtuplecommon-dev
usr/include/xtuple/common/login2.h                      libdevel/libxtuplecommon-dev
usr/include/xtuple/common/metrics.h                     libdevel/libxtuplecommon-dev
usr/include/xtuple/common/metricsenc.h                  libdevel/libxtuplecommon-dev
usr/include/xtuple/common/qbase64encode.h               libdevel/libxtuplecommon-dev
usr/include/xtuple/common/qmd5.h                        libdevel/libxtuplecommon-dev
usr/include/xtuple/common/shortcuts.h                   libdevel/libxtuplecommon-dev
usr/include/xtuple/common/splashconst.h                 libdevel/libxtuplecommon-dev
usr/include/xtuple/common/storedProcErrorLookup.h       libdevel/libxtuplecommon-dev
usr/include/xtuple/common/tarfile.h                     libdevel/libxtuplecommon-dev
usr/include/xtuple/common/tmp/ui_checkForUpdates.h      libdevel/libxtuplecommon-dev
usr/include/xtuple/common/tmp/ui_login2.h               libdevel/libxtuplecommon-dev
usr/include/xtuple/common/xbase32.h                     libdevel/libxtuplecommon-dev
usr/include/xtuple/common/xtNetworkRequestManager.h     libdevel/libxtuplecommon-dev
usr/include/xtuple/common/xtsettings.h                  libdevel/libxtuplecommon-dev
usr/include/xtuple/common/xtuplecommon.h                libdevel/libxtuplecommon-dev
usr/include/xtuple/common/xtupleproductkey.h            libdevel/libxtuplecommon-dev
.
13531a
usr/include/gstreamer-1.0/gst/video/gstvideoaggregator.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/video/gstvideoaggregatorpad.h libdevel/libgstreamer-plugins-bad1.0-dev
.
13528a
usr/include/gstreamer-1.0/gst/uridownloader/gstfragment.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/uridownloader/gsturidownloader.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/uridownloader/gsturidownloader_debug.h libdevel/libgstreamer-plugins-bad1.0-dev
.
13510a
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-address-pool.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-auth.h   libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-client.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-context.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-media-factory-uri.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-media-factory.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-media.h  libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-mount-points.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-params.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-permissions.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-sdp.h    libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-server.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-session-media.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-session-pool.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-session.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-stream-transport.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-stream.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-thread-pool.h libdevel/libgstrtspserver-1.0-dev
usr/include/gstreamer-1.0/gst/rtsp-server/rtsp-token.h  libdevel/libgstrtspserver-1.0-dev
.
13496a
usr/include/gstreamer-1.0/gst/player/gstplayer-g-main-context-signal-dispatcher.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/player/gstplayer-media-info.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/player/gstplayer-signal-dispatcher.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/player/gstplayer-types.h  libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/player/gstplayer-video-overlay-video-renderer.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/player/gstplayer-video-renderer.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/player/gstplayer-visualization.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/player/gstplayer.h        libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/player/player.h           libdevel/libgstreamer-plugins-bad1.0-dev
.
13485a
usr/include/gstreamer-1.0/gst/opencv/gstopencvutils.h   libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/opencv/gstopencvvideofilter.h libdevel/libgstreamer-plugins-bad1.0-dev
.
13477a
usr/include/gstreamer-1.0/gst/mpegts/gst-atsc-section.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/mpegts/gst-dvb-descriptor.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/mpegts/gst-dvb-section.h  libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/mpegts/gst-scte-section.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/mpegts/gstmpegts-enumtypes.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/mpegts/gstmpegtsdescriptor.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/mpegts/gstmpegtssection.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/mpegts/mpegts.h           libdevel/libgstreamer-plugins-bad1.0-dev
.
13476a
usr/include/gstreamer-1.0/gst/insertbin/gstinsertbin.h  libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/interfaces/photography-enumtypes.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/interfaces/photography.h  libdevel/libgstreamer-plugins-bad1.0-dev
.
13402a
usr/include/gstreamer-1.0/gst/gl/egl/gstegl.h           libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/egl/gsteglimage.h      libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/egl/gstgldisplay_egl.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/egl/gstglmemoryegl.h   libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gl.h                   libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/all_functions.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/base.h    libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/blending.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/buffers.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/debug.h   libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/eglimage.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/fbo.h     libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/fixedfunction.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/gles.h    libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/gstgl_compat.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/gstgl_gles2compat.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/opengl.h  libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/query.h   libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/shaders.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/sync.h    libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/glprototypes/vao.h     libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstgl_enums.h          libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstgl_fwd.h            libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglapi.h             libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglbasefilter.h      libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglbasememory.h      libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglbuffer.h          libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglbufferpool.h      libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglcolorconvert.h    libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglcontext.h         libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstgldebug.h           libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstgldisplay.h         libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglfeature.h         libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglfilter.h          libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglformat.h          libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglframebuffer.h     libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglmemory.h          libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglmemorypbo.h       libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstgloverlaycompositor.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglquery.h           libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglrenderbuffer.h    libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglshader.h          libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglshaderstrings.h   libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglsl.h              libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglslstage.h         libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglsyncmeta.h        libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglupload.h          libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglutils.h           libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglviewconvert.h     libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/gstglwindow.h          libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/wayland/gstgldisplay_wayland.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/gl/x11/gstgldisplay_x11.h libdevel/libgstreamer-plugins-bad1.0-dev
.
13388a
usr/include/gstreamer-1.0/gst/codecparsers/gsth264parser.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gsth265parser.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gstjpeg2000sampling.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gstjpegparser.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gstmpeg4parser.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gstmpegvideometa.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gstmpegvideoparser.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gstvc1parser.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gstvp8parser.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gstvp8rangedecoder.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/codecparsers/gstvp9parser.h libdevel/libgstreamer-plugins-bad1.0-dev
.
13381a
usr/include/gstreamer-1.0/gst/basecamerabinsrc/gstbasecamerasrc.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/basecamerabinsrc/gstcamerabin-enum.h libdevel/libgstreamer-plugins-bad1.0-dev
usr/include/gstreamer-1.0/gst/basecamerabinsrc/gstcamerabinpreview.h libdevel/libgstreamer-plugins-bad1.0-dev
.
13368a
usr/include/gstreamer-1.0/gst/base/gstaggregator.h      libdevel/libgstreamer-plugins-bad1.0-dev
.
13353a
usr/include/gstreamer-1.0/gst/audio/gstaudioaggregator.h libdevel/libgstreamer-plugins-bad1.0-dev
.
13338a
usr/include/gstreamer-1.0/ges/ges-asset.h               libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-audio-source.h        libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-audio-test-source.h   libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-audio-track.h         libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-audio-transition.h    libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-audio-uri-source.h    libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-base-effect-clip.h    libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-base-effect.h         libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-base-transition-clip.h libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-base-xml-formatter.h  libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-clip-asset.h          libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-clip.h                libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-command-line-formatter.h libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-container.h           libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-effect-asset.h        libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-effect-clip.h         libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-effect.h              libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-enums.h               libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-extractable.h         libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-formatter.h           libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-gerror.h              libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-group.h               libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-image-source.h        libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-layer.h               libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-meta-container.h      libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-multi-file-source.h   libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-operation-clip.h      libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-operation.h           libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-overlay-clip.h        libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-pipeline.h            libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-pitivi-formatter.h    libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-project.h             libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-screenshot.h          libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-smart-adder.h         libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-source-clip.h         libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-source.h              libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-test-clip.h           libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-text-overlay-clip.h   libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-text-overlay.h        libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-timeline-element.h    libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-timeline.h            libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-title-clip.h          libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-title-source.h        libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-track-element-asset.h libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-track-element.h       libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-track.h               libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-transition-clip.h     libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-transition.h          libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-types.h               libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-uri-asset.h           libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-uri-clip.h            libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-utils.h               libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-version.h             libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-video-source.h        libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-video-test-source.h   libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-video-track.h         libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-video-transition.h    libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-video-uri-source.h    libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges-xml-formatter.h       libdevel/libges-1.0-dev
usr/include/gstreamer-1.0/ges/ges.h                     libdevel/libges-1.0-dev
.
7357a
usr/include/csvimp/csvimpcommon/csvimpdata.h            libdevel/libcsvimp-dev
usr/include/csvimp/csvimpcommon/csvimpplugininterface.h libdevel/libcsvimp-dev
usr/include/csvimp/plugin/batchmessagehandler.h         libdevel/libcsvimp-dev
usr/include/csvimp/plugin/csvaddmapinputdialog.h        libdevel/libcsvimp-dev
usr/include/csvimp/plugin/csvatlas.h                    libdevel/libcsvimp-dev
usr/include/csvimp/plugin/csvatlaswindow.h              libdevel/libcsvimp-dev
usr/include/csvimp/plugin/csvdata.h                     libdevel/libcsvimp-dev
usr/include/csvimp/plugin/csvimpplugin.h                libdevel/libcsvimp-dev
usr/include/csvimp/plugin/csvmap.h                      libdevel/libcsvimp-dev
usr/include/csvimp/plugin/csvtoolwindow.h               libdevel/libcsvimp-dev
usr/include/csvimp/plugin/interactivemessagehandler.h   libdevel/libcsvimp-dev
usr/include/csvimp/plugin/logwindow.h                   libdevel/libcsvimp-dev
usr/include/csvimp/plugin/missingfield.h                libdevel/libcsvimp-dev
usr/include/csvimp/plugin/rowcontroller.h               libdevel/libcsvimp-dev
usr/include/csvimp/plugin/xabstractmessagehandler.h     libdevel/libcsvimp-dev
.
5319a
usr/bin/xtuple                                          misc/postbooks
.
5292a
usr/bin/why3                                            math/why3
.
5093a
usr/bin/postbooks                                       misc/postbooks
usr/bin/postbooks-updater                               misc/postbooks-updater
.
4675a
usr/bin/ges-launch-1.0                                  utils/ges1.0-tools
.
4483a
usr/bin/csvimp                                          misc/csvimp
.
343a
etc/emacs/site-start.d/50why3.el                        math/why3
.
