177350,177352d
177331,177347d
177327,177329d
177310,177325d
177307,177308d
177304,177305d
174936a
usr/src/linux-headers-7.2-rt-arm64/include/config/REGULATOR_QCOM_REFGEN kernel/linux-headers-7.2-rt-arm64
.
172854a
usr/src/linux-headers-7.2-rt-arm64/include/config/IRQ_SIM kernel/linux-headers-7.2-rt-arm64
.
172069a
usr/src/linux-headers-7.2-rt-arm64/include/config/GPIO_SIM kernel/linux-headers-7.2-rt-arm64
.
167897a
usr/src/linux-headers-7.2-cloud-arm64/include/config/IRQ_SIM kernel/linux-headers-7.2-cloud-arm64
.
167452a
usr/src/linux-headers-7.2-cloud-arm64/include/config/GPIO_SIM kernel/linux-headers-7.2-cloud-arm64
.
163905a
usr/src/linux-headers-7.2-arm64/include/config/REGULATOR_QCOM_REFGEN kernel/linux-headers-7.2-arm64
.
161823a
usr/src/linux-headers-7.2-arm64/include/config/IRQ_SIM  kernel/linux-headers-7.2-arm64
.
161019a
usr/src/linux-headers-7.2-arm64/include/config/GPIO_SIM kernel/linux-headers-7.2-arm64
.
156130a
usr/src/linux-headers-7.2-arm64-16k/include/config/REGULATOR_QCOM_REFGEN kernel/linux-headers-7.2-arm64-16k
.
154051a
usr/src/linux-headers-7.2-arm64-16k/include/config/IRQ_SIM kernel/linux-headers-7.2-arm64-16k
.
153247a
usr/src/linux-headers-7.2-arm64-16k/include/config/GPIO_SIM kernel/linux-headers-7.2-arm64-16k
.
150681,150682d
149506,149509d
149500,149501d
148924,148925d
148858d
148832a
usr/share/maven-repo/org/opencv/opencv/5.0.0/opencv-5.0.0.pom java/libopencv-java
usr/share/maven-repo/org/opencv/opencv/debian/opencv-debian.pom java/libopencv-java
.
147875,147876d
147671d
147626d
147437d
147097d
146967d
146174d
146126,146127d
145906,145907d
145896d
145769d
145543d
145354d
144353d
144152d
143929d
143523d
142912d
142774d
142643d
142362d
142025d
141802d
141659d
141350d
141005,141006d
140906d
140766d
140646d
140418d
139818d
139574a
usr/share/lintian/overrides/libopencv-contrib500        libs/libopencv-contrib500
usr/share/lintian/overrides/libopencv-dev               libdevel/libopencv-dev
usr/share/lintian/overrides/libopencv-java              java/libopencv-java
.
139489d
139477,139486d
139359d
139263a
usr/share/java/opencv-500.jar                           java/libopencv-java
usr/share/java/opencv.jar                               java/libopencv-java
usr/share/java/opencv5/opencv-500.jar                   java/libopencv-java
.
138505d
138495d
138486,138487d
138465d
138444d
138413d
138389,138391d
138366d
138344d
138333d
138324d
138295d
138283d
138255d
138224d
138199d
138180d
133714,133720d
133200,133202d
133120,133123d
132895a
usr/share/doc/python3-opencv/changelog.Debian.gz        python/python3-opencv
usr/share/doc/python3-opencv/copyright                  python/python3-opencv
.
132843a
usr/share/doc/python3-gi-cairo/changelog.Debian.gz      python/python3-gi-cairo
usr/share/doc/python3-gi-cairo/changelog.gz             python/python3-gi-cairo
usr/share/doc/python3-gi-cairo/copyright                python/python3-gi-cairo
usr/share/doc/python3-gi/NEWS.gz                        python/python3-gi
usr/share/doc/python3-gi/changelog.Debian.gz            python/python3-gi
usr/share/doc/python3-gi/changelog.gz                   python/python3-gi
usr/share/doc/python3-gi/copyright                      python/python3-gi
.
132803a
usr/share/doc/python-gi-dev/changelog.Debian.gz         python/python-gi-dev
usr/share/doc/python-gi-dev/changelog.gz                python/python-gi-dev
usr/share/doc/python-gi-dev/copyright                   python/python-gi-dev
.
132491,132494d
132068a
usr/share/doc/libzim-dev/changelog.Debian.gz            libdevel/libzim-dev
usr/share/doc/libzim-dev/changelog.gz                   libdevel/libzim-dev
usr/share/doc/libzim-dev/copyright                      libdevel/libzim-dev
usr/share/doc/libzim9a/changelog.Debian.gz              libs/libzim9a
usr/share/doc/libzim9a/changelog.gz                     libs/libzim9a
usr/share/doc/libzim9a/copyright                        libs/libzim9a
.
130302,130303d
129365a
usr/share/doc/libopencv-calib-dev/changelog.Debian.gz   libdevel/libopencv-calib-dev
usr/share/doc/libopencv-calib-dev/copyright             libdevel/libopencv-calib-dev
usr/share/doc/libopencv-calib500/changelog.Debian.gz    libs/libopencv-calib500
usr/share/doc/libopencv-calib500/copyright              libs/libopencv-calib500
usr/share/doc/libopencv-contrib-dev/changelog.Debian.gz libdevel/libopencv-contrib-dev
usr/share/doc/libopencv-contrib-dev/copyright           libdevel/libopencv-contrib-dev
usr/share/doc/libopencv-contrib500/changelog.Debian.gz  libs/libopencv-contrib500
usr/share/doc/libopencv-contrib500/copyright            libs/libopencv-contrib500
usr/share/doc/libopencv-core-dev/changelog.Debian.gz    libdevel/libopencv-core-dev
usr/share/doc/libopencv-core-dev/copyright              libdevel/libopencv-core-dev
usr/share/doc/libopencv-core500/changelog.Debian.gz     libs/libopencv-core500
usr/share/doc/libopencv-core500/copyright               libs/libopencv-core500
usr/share/doc/libopencv-dev/changelog.Debian.gz         libdevel/libopencv-dev
usr/share/doc/libopencv-dev/copyright                   libdevel/libopencv-dev
usr/share/doc/libopencv-dnn-dev/changelog.Debian.gz     libdevel/libopencv-dnn-dev
usr/share/doc/libopencv-dnn-dev/copyright               libdevel/libopencv-dnn-dev
usr/share/doc/libopencv-dnn500/changelog.Debian.gz      libs/libopencv-dnn500
usr/share/doc/libopencv-dnn500/copyright                libs/libopencv-dnn500
usr/share/doc/libopencv-features-dev/changelog.Debian.gz libdevel/libopencv-features-dev
usr/share/doc/libopencv-features-dev/copyright          libdevel/libopencv-features-dev
usr/share/doc/libopencv-features500/changelog.Debian.gz libs/libopencv-features500
usr/share/doc/libopencv-features500/copyright           libs/libopencv-features500
usr/share/doc/libopencv-flann-dev/changelog.Debian.gz   libdevel/libopencv-flann-dev
usr/share/doc/libopencv-flann-dev/copyright             libdevel/libopencv-flann-dev
usr/share/doc/libopencv-flann500/changelog.Debian.gz    libs/libopencv-flann500
usr/share/doc/libopencv-flann500/copyright              libs/libopencv-flann500
usr/share/doc/libopencv-geometry-dev/changelog.Debian.gz libdevel/libopencv-geometry-dev
usr/share/doc/libopencv-geometry-dev/copyright          libdevel/libopencv-geometry-dev
usr/share/doc/libopencv-geometry500/changelog.Debian.gz libs/libopencv-geometry500
usr/share/doc/libopencv-geometry500/copyright           libs/libopencv-geometry500
usr/share/doc/libopencv-highgui-dev/changelog.Debian.gz libdevel/libopencv-highgui-dev
usr/share/doc/libopencv-highgui-dev/copyright           libdevel/libopencv-highgui-dev
usr/share/doc/libopencv-highgui500/changelog.Debian.gz  libs/libopencv-highgui500
usr/share/doc/libopencv-highgui500/copyright            libs/libopencv-highgui500
usr/share/doc/libopencv-imgcodecs-dev/changelog.Debian.gz libdevel/libopencv-imgcodecs-dev
usr/share/doc/libopencv-imgcodecs-dev/copyright         libdevel/libopencv-imgcodecs-dev
usr/share/doc/libopencv-imgcodecs500/changelog.Debian.gz libs/libopencv-imgcodecs500
usr/share/doc/libopencv-imgcodecs500/copyright          libs/libopencv-imgcodecs500
usr/share/doc/libopencv-imgproc-dev/changelog.Debian.gz libdevel/libopencv-imgproc-dev
usr/share/doc/libopencv-imgproc-dev/copyright           libdevel/libopencv-imgproc-dev
usr/share/doc/libopencv-imgproc500/changelog.Debian.gz  libs/libopencv-imgproc500
usr/share/doc/libopencv-imgproc500/copyright            libs/libopencv-imgproc500
usr/share/doc/libopencv-java/changelog.Debian.gz        java/libopencv-java
usr/share/doc/libopencv-java/copyright                  java/libopencv-java
usr/share/doc/libopencv-ml-dev/changelog.Debian.gz      libdevel/libopencv-ml-dev
usr/share/doc/libopencv-ml-dev/copyright                libdevel/libopencv-ml-dev
usr/share/doc/libopencv-ml500/changelog.Debian.gz       libs/libopencv-ml500
usr/share/doc/libopencv-ml500/copyright                 libs/libopencv-ml500
usr/share/doc/libopencv-objdetect-dev/changelog.Debian.gz libdevel/libopencv-objdetect-dev
usr/share/doc/libopencv-objdetect-dev/copyright         libdevel/libopencv-objdetect-dev
usr/share/doc/libopencv-objdetect500/changelog.Debian.gz libs/libopencv-objdetect500
usr/share/doc/libopencv-objdetect500/copyright          libs/libopencv-objdetect500
usr/share/doc/libopencv-photo-dev/changelog.Debian.gz   libdevel/libopencv-photo-dev
usr/share/doc/libopencv-photo-dev/copyright             libdevel/libopencv-photo-dev
usr/share/doc/libopencv-photo500/changelog.Debian.gz    libs/libopencv-photo500
usr/share/doc/libopencv-photo500/copyright              libs/libopencv-photo500
usr/share/doc/libopencv-ptcloud-dev/changelog.Debian.gz libdevel/libopencv-ptcloud-dev
usr/share/doc/libopencv-ptcloud-dev/copyright           libdevel/libopencv-ptcloud-dev
usr/share/doc/libopencv-ptcloud500/changelog.Debian.gz  libs/libopencv-ptcloud500
usr/share/doc/libopencv-ptcloud500/copyright            libs/libopencv-ptcloud500
usr/share/doc/libopencv-shape-dev/changelog.Debian.gz   libdevel/libopencv-shape-dev
usr/share/doc/libopencv-shape-dev/copyright             libdevel/libopencv-shape-dev
usr/share/doc/libopencv-shape500/changelog.Debian.gz    libs/libopencv-shape500
usr/share/doc/libopencv-shape500/copyright              libs/libopencv-shape500
usr/share/doc/libopencv-stereo-dev/changelog.Debian.gz  libdevel/libopencv-stereo-dev
usr/share/doc/libopencv-stereo-dev/copyright            libdevel/libopencv-stereo-dev
usr/share/doc/libopencv-stereo500/changelog.Debian.gz   libs/libopencv-stereo500
usr/share/doc/libopencv-stereo500/copyright             libs/libopencv-stereo500
usr/share/doc/libopencv-stitching-dev/changelog.Debian.gz libdevel/libopencv-stitching-dev
usr/share/doc/libopencv-stitching-dev/copyright         libdevel/libopencv-stitching-dev
usr/share/doc/libopencv-stitching500/changelog.Debian.gz libs/libopencv-stitching500
usr/share/doc/libopencv-stitching500/copyright          libs/libopencv-stitching500
usr/share/doc/libopencv-superres-dev/changelog.Debian.gz libdevel/libopencv-superres-dev
usr/share/doc/libopencv-superres-dev/copyright          libdevel/libopencv-superres-dev
usr/share/doc/libopencv-superres500/changelog.Debian.gz libs/libopencv-superres500
usr/share/doc/libopencv-superres500/copyright           libs/libopencv-superres500
usr/share/doc/libopencv-video-dev/changelog.Debian.gz   libdevel/libopencv-video-dev
usr/share/doc/libopencv-video-dev/copyright             libdevel/libopencv-video-dev
usr/share/doc/libopencv-video500/changelog.Debian.gz    libs/libopencv-video500
usr/share/doc/libopencv-video500/copyright              libs/libopencv-video500
usr/share/doc/libopencv-videoio-dev/changelog.Debian.gz libdevel/libopencv-videoio-dev
usr/share/doc/libopencv-videoio-dev/copyright           libdevel/libopencv-videoio-dev
usr/share/doc/libopencv-videoio500/changelog.Debian.gz  libs/libopencv-videoio500
usr/share/doc/libopencv-videoio500/copyright            libs/libopencv-videoio500
usr/share/doc/libopencv-videostab-dev/changelog.Debian.gz libdevel/libopencv-videostab-dev
usr/share/doc/libopencv-videostab-dev/copyright         libdevel/libopencv-videostab-dev
usr/share/doc/libopencv-videostab500/changelog.Debian.gz libs/libopencv-videostab500
usr/share/doc/libopencv-videostab500/copyright          libs/libopencv-videostab500
usr/share/doc/libopencv-viz-dev/changelog.Debian.gz     libdevel/libopencv-viz-dev
usr/share/doc/libopencv-viz-dev/copyright               libdevel/libopencv-viz-dev
usr/share/doc/libopencv-viz500/changelog.Debian.gz      libs/libopencv-viz500
usr/share/doc/libopencv-viz500/copyright                libs/libopencv-viz500
usr/share/doc/libopencv500-jni/changelog.Debian.gz      java/libopencv500-jni
usr/share/doc/libopencv500-jni/copyright                java/libopencv500-jni
.
128502,128504c
usr/share/doc/libkokkos5.2/changelog.Debian.gz          libs/libkokkos5.2
usr/share/doc/libkokkos5.2/changelog.gz                 libs/libkokkos5.2
usr/share/doc/libkokkos5.2/copyright                    libs/libkokkos5.2
.
127752,127760d
127686,127744d
127673,127682d
127511,127666d
127500,127508d
127482,127497d
127196,127197c
usr/share/doc/libaquamarine13/changelog.Debian.gz       libs/libaquamarine13
usr/share/doc/libaquamarine13/copyright                 libs/libaquamarine13
.
127062,127063d
126292,126293d
124364,124368d
122956d
122946,122947d
114938,114947d
114544d
114399d
111638,111639d
107286a
usr/lib/python3/dist-packages/opencv-5.0.0.egg-info/PKG-INFO python/python3-opencv
usr/lib/python3/dist-packages/opencv-5.0.0.egg-info/dependency_links.txt python/python3-opencv
usr/lib/python3/dist-packages/opencv-5.0.0.egg-info/installed-files.txt python/python3-opencv
usr/lib/python3/dist-packages/opencv-5.0.0.egg-info/requires.txt python/python3-opencv
usr/lib/python3/dist-packages/opencv-5.0.0.egg-info/top_level.txt python/python3-opencv
.
106708a
usr/lib/python3/dist-packages/gi/repository/__init__.py python/python3-gi
usr/lib/python3/dist-packages/gi/types.py               python/python3-gi
.
106704a
usr/lib/python3/dist-packages/gi/overrides/Gtk.py       python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/Pango.py     python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/__init__.py  python/python3-gi
.
106698a
usr/lib/python3/dist-packages/gi/__init__.py            python/python3-gi
usr/lib/python3/dist-packages/gi/_constants.py          python/python3-gi
usr/lib/python3/dist-packages/gi/_enum.py               python/python3-gi
usr/lib/python3/dist-packages/gi/_error.py              python/python3-gi
usr/lib/python3/dist-packages/gi/_gi.cpython-313-aarch64-linux-gnu.so python/python3-gi
usr/lib/python3/dist-packages/gi/_gi.cpython-314-aarch64-linux-gnu.so python/python3-gi
usr/lib/python3/dist-packages/gi/_gi_cairo.cpython-313-aarch64-linux-gnu.so python/python3-gi-cairo
usr/lib/python3/dist-packages/gi/_gi_cairo.cpython-314-aarch64-linux-gnu.so python/python3-gi-cairo
usr/lib/python3/dist-packages/gi/_gtktemplate.py        python/python3-gi
usr/lib/python3/dist-packages/gi/_ossighelper.py        python/python3-gi
usr/lib/python3/dist-packages/gi/_propertyhelper.py     python/python3-gi
usr/lib/python3/dist-packages/gi/_signalhelper.py       python/python3-gi
usr/lib/python3/dist-packages/gi/_signature.py          python/python3-gi
usr/lib/python3/dist-packages/gi/docstring.py           python/python3-gi
usr/lib/python3/dist-packages/gi/events.py              python/python3-gi
usr/lib/python3/dist-packages/gi/importer.py            python/python3-gi
usr/lib/python3/dist-packages/gi/module.py              python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/GIMarshallingTests.py python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/GLib.py      python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/GLibUnix.py  python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/GObject.py   python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/Gdk.py       python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/GdkPixbuf.py python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/Gio.py       python/python3-gi
usr/lib/python3/dist-packages/gi/overrides/GioUnix.py   python/python3-gi
.
106663a
usr/lib/python3/dist-packages/cv2.cpython-313-aarch64-linux-gnu.so python/python3-opencv
usr/lib/python3/dist-packages/cv2.cpython-314-aarch64-linux-gnu.so python/python3-opencv
.
106416a
usr/lib/python3/dist-packages/PyGObject-3.57.0.dev0.dist-info/INSTALLER python/python3-gi
usr/lib/python3/dist-packages/PyGObject-3.57.0.dev0.dist-info/METADATA python/python3-gi
.
102119a
usr/lib/modules/7.2-rt-arm64/kernel/drivers/regulator/qcom-refgen-regulator.ko.xz kernel/linux-modules-7.2-rt-arm64
.
99728a
usr/lib/modules/7.2-rt-arm64/kernel/drivers/gpio/gpio-sim.ko.xz kernel/linux-modules-7.2-rt-arm64
.
96533a
usr/lib/modules/7.2-cloud-arm64/kernel/drivers/gpio/gpio-sim.ko.xz kernel/linux-modules-7.2-cloud-arm64
.
94411a
usr/lib/modules/7.2-arm64/kernel/drivers/regulator/qcom-refgen-regulator.ko.xz kernel/linux-modules-7.2-arm64
.
92020a
usr/lib/modules/7.2-arm64/kernel/drivers/gpio/gpio-sim.ko.xz kernel/linux-modules-7.2-arm64
.
88217a
usr/lib/modules/7.2-arm64-16k/kernel/drivers/regulator/qcom-refgen-regulator.ko.xz kernel/linux-modules-7.2-arm64-16k
.
85829a
usr/lib/modules/7.2-arm64-16k/kernel/drivers/gpio/gpio-sim.ko.xz kernel/linux-modules-7.2-arm64-16k
.
68801a
usr/lib/jni/libopencv_java500.so                        java/libopencv500-jni
.
66876a
usr/lib/debug/lib/modules/7.2-rt-arm64/kernel/drivers/regulator/qcom-refgen-regulator.ko debug/linux-image-7.2-rt-arm64-dbg
.
64485a
usr/lib/debug/lib/modules/7.2-rt-arm64/kernel/drivers/gpio/gpio-sim.ko debug/linux-image-7.2-rt-arm64-dbg
.
63083a
usr/lib/debug/lib/modules/7.2-cloud-arm64/kernel/drivers/gpio/gpio-sim.ko debug/linux-image-7.2-cloud-arm64-dbg
.
61396a
usr/lib/debug/lib/modules/7.2-arm64/kernel/drivers/regulator/qcom-refgen-regulator.ko debug/linux-image-7.2-arm64-dbg
.
59005a
usr/lib/debug/lib/modules/7.2-arm64/kernel/drivers/gpio/gpio-sim.ko debug/linux-image-7.2-arm64-dbg
.
56995a
usr/lib/debug/lib/modules/7.2-arm64-16k/kernel/drivers/regulator/qcom-refgen-regulator.ko debug/linux-image-7.2-arm64-16k-dbg
.
54607a
usr/lib/debug/lib/modules/7.2-arm64-16k/kernel/drivers/gpio/gpio-sim.ko debug/linux-image-7.2-arm64-16k-dbg
.
54082d
54068a
usr/lib/debug/.build-id/d6/02a4baa2cd0dc6f1cd075055a2f975720e0d42.debug debug/linux-image-7.2-arm64-16k-dbg
.
54065d
54062c
usr/lib/debug/.build-id/ce/73a31efb33977fc001c9faad7d4163a29dd358.debug debug/linux-image-7.2-cloud-arm64-dbg
.
54040a
usr/lib/debug/.build-id/86/20dc6ce83ea7b78f3d7bca325df263ceea998e.debug debug/linux-image-7.2-arm64-16k-dbg
.
54032a
usr/lib/debug/.build-id/6b/c3e9f988127d5c4f677d862fb8a364e9443437.debug debug/linux-image-7.2-cloud-arm64-dbg
.
54020a
usr/lib/debug/.build-id/4e/b62df12375701033d01314c225cc987e0cb1f1.debug debug/linux-image-7.2-rt-arm64-dbg
.
54019a
usr/lib/debug/.build-id/45/82c086a1114da1ea6f65a6046b5aec2edc4681.debug debug/linux-image-7.2-arm64-dbg
.
54016a
usr/lib/debug/.build-id/37/9968bafe22c05716d34eaaf7ed38eba0540f21.debug debug/linux-image-7.2-arm64-dbg
.
54015d
54013c
usr/lib/debug/.build-id/28/525bebf0abbceaf5e87542d2b56433c0e7c366.debug debug/linux-image-7.2-rt-arm64-dbg
.
54007d
54002d
53997d
47342a
usr/lib/aarch64-linux-gnu/pkgconfig/pygobject-3.0.pc    python/python-gi-dev
.
47329a
usr/lib/aarch64-linux-gnu/pkgconfig/opencv5.pc          libdevel/libopencv-dev
.
47314a
usr/lib/aarch64-linux-gnu/pkgconfig/libzim.pc           libdevel/libzim-dev
.
43955,44343d
37675,43648c
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/all_analysis.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/all_analysis.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/all_analysis.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/borel_hierarchy.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/borel_hierarchy.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/borel_hierarchy.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/cantor.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/cantor.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/cantor.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/charge.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/charge.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/charge.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/convex.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/convex.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/convex.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/derive.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/derive.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/derive.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/ereal.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/ereal.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/ereal.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/ess_sup_inf.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/ess_sup_inf.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/ess_sup_inf.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/esum.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/esum.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/esum.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/exp.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/exp.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/exp.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/ftc.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/ftc.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/ftc.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/gauss_integral.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/gauss_integral.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/gauss_integral.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/hoelder.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/hoelder.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/hoelder.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/homotopy_theory/continuous_path.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/homotopy_theory/continuous_path.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/homotopy_theory/continuous_path.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/homotopy_theory/homotopy.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/homotopy_theory/homotopy.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/homotopy_theory/homotopy.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/homotopy_theory/wedge_sigT.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/homotopy_theory/wedge_sigT.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/homotopy_theory/wedge_sigT.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/kernel.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/kernel.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/kernel.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/landau.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/landau.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/landau.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/giry.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/giry.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/giry.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_Rintegral.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_Rintegral.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_Rintegral.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integrable.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integrable.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integrable.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_definition.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_definition.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_definition.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_differentiation.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_differentiation.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_differentiation.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_dominated_convergence.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_dominated_convergence.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_dominated_convergence.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_fubini.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_fubini.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_fubini.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_monotone_convergence.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_monotone_convergence.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_monotone_convergence.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_nonneg.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_nonneg.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_nonneg.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_under.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_under.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/lebesgue_integral_under.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/measurable_fun_approximation.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/measurable_fun_approximation.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/measurable_fun_approximation.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/simple_functions.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/simple_functions.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_integral_theory/simple_functions.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_measure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_measure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_measure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_stieltjes_measure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_stieltjes_measure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/lebesgue_stieltjes_measure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measurable_realfun.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measurable_realfun.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measurable_realfun.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/counting_measure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/counting_measure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/counting_measure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/dirac_measure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/dirac_measure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/dirac_measure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measurable_function.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measurable_function.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measurable_function.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measurable_structure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measurable_structure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measurable_structure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure_extension.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure_extension.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure_extension.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure_function.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure_function.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure_function.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure_negligible.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure_negligible.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/measure_negligible.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/probability_measure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/probability_measure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/measure_theory/probability_measure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/complete_normed_module.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/complete_normed_module.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/complete_normed_module.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/ereal_normedtype.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/ereal_normedtype.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/ereal_normedtype.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/matrix_normedtype.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/matrix_normedtype.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/matrix_normedtype.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/normed_module.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/normed_module.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/normed_module.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/normedtype.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/normedtype.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/normedtype.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/num_normedtype.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/num_normedtype.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/num_normedtype.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/pseudometric_normed_Zmodule.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/pseudometric_normed_Zmodule.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/pseudometric_normed_Zmodule.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/tvs.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/tvs.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/tvs.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/urysohn.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/urysohn.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/urysohn.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/vitali_lemma.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/vitali_lemma.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/normedtype_theory/vitali_lemma.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/numfun.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/numfun.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/numfun.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/pi_irrational.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/pi_irrational.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/pi_irrational.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/bernoulli_distribution.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/bernoulli_distribution.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/bernoulli_distribution.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/beta_distribution.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/beta_distribution.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/beta_distribution.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/binomial_distribution.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/binomial_distribution.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/binomial_distribution.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/exponential_distribution.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/exponential_distribution.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/exponential_distribution.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/normal_distribution.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/normal_distribution.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/normal_distribution.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/poisson_distribution.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/poisson_distribution.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/poisson_distribution.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/probability.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/probability.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/probability.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/random_variable.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/random_variable.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/random_variable.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/uniform_distribution.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/uniform_distribution.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/probability_theory/uniform_distribution.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/realfun.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/realfun.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/realfun.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/sequences.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/sequences.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/sequences.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/showcase/pnt.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/showcase/pnt.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/showcase/pnt.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/showcase/summability.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/showcase/summability.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/showcase/summability.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/bool_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/bool_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/bool_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/compact.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/compact.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/compact.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/connected.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/connected.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/connected.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/discrete_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/discrete_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/discrete_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/function_spaces.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/function_spaces.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/function_spaces.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/initial_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/initial_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/initial_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/matrix_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/matrix_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/matrix_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/metric_structure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/metric_structure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/metric_structure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/nat_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/nat_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/nat_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/num_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/num_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/num_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/one_point_compactification.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/one_point_compactification.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/one_point_compactification.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/order_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/order_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/order_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/product_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/product_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/product_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/pseudometric_structure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/pseudometric_structure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/pseudometric_structure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/quotient_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/quotient_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/quotient_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/separation_axioms.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/separation_axioms.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/separation_axioms.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/sigT_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/sigT_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/sigT_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/subspace_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/subspace_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/subspace_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/subtype_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/subtype_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/subtype_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/supremum_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/supremum_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/supremum_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/topology_structure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/topology_structure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/topology_structure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/uniform_structure.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/uniform_structure.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/uniform_structure.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/weak_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/weak_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/topology_theory/weak_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/trigo.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/trigo.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis/trigo.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis_stdlib/Rstruct_topology.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis_stdlib/Rstruct_topology.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis_stdlib/Rstruct_topology.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis_stdlib/showcase/uniform_bigO.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis_stdlib/showcase/uniform_bigO.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/analysis_stdlib/showcase/uniform_bigO.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/all_classical.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/all_classical.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/all_classical.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/all_ssreflect_compat.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/all_ssreflect_compat.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/all_ssreflect_compat.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/boolp.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/boolp.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/boolp.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/cardinality.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/cardinality.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/cardinality.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/classical_orders.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/classical_orders.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/classical_orders.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/classical_sets.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/classical_sets.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/classical_sets.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/contra.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/contra.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/contra.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/filter.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/filter.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/filter.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/fsbigop.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/fsbigop.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/fsbigop.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/functions.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/functions.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/functions.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/internal_Eqdep_dec.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/internal_Eqdep_dec.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/internal_Eqdep_dec.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/mathcomp_extra.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/mathcomp_extra.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/mathcomp_extra.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/set_interval.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/set_interval.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/set_interval.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/unstable.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/unstable.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/unstable.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/wochoice.glob ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/wochoice.v ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/classical/wochoice.vo ocaml/libcoq-mathcomp-classical
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/discrete.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/discrete.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/discrete.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/distr.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/distr.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/distr.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/realseq.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/realseq.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/realseq.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/realsum.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/realsum.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/realsum.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/xfinmap.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/xfinmap.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/experimental_reals/xfinmap.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/all_reals.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/all_reals.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/all_reals.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/constructive_ereal.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/constructive_ereal.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/constructive_ereal.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/prodnormedzmodule.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/prodnormedzmodule.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/prodnormedzmodule.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/real_interval.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/real_interval.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/real_interval.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/reals.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/reals.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/reals.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/signed.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/signed.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals/signed.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals_stdlib/Rstruct.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals_stdlib/Rstruct.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals_stdlib/Rstruct.vo ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals_stdlib/nsatz_realtype.glob ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals_stdlib/nsatz_realtype.v ocaml/libcoq-mathcomp-analysis
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/mathcomp/reals_stdlib/nsatz_realtype.vo ocaml/libcoq-mathcomp-analysis
.
34306,37622c
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/bareiss_eff.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/bareiss_eff.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/bareiss_eff.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binint.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binint.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binint.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binnat.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binnat.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binnat.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binord.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binord.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binord.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binrat.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binrat.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/binrat.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/boolF2.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/boolF2.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/boolF2.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/examples/irred.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/examples/irred.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/examples/irred.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hpoly.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hpoly.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hpoly.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hrel.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hrel.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/hrel.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/karatsuba.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/karatsuba.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/karatsuba.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/multipoly.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/multipoly.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/multipoly.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/param.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/param.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/param.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_div.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_div.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_div.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_op.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_op.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/poly_op.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/pos.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/pos.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/pos.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/rational.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/rational.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/rational.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/refinements.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/refinements.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/refinements.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx_complements.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx_complements.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqmx_complements.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqpoly.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqpoly.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/seqpoly.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/trivial_seq.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/trivial_seq.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/refinements/trivial_seq.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/atomic_operations.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/atomic_operations.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/atomic_operations.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/binetcauchy.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/binetcauchy.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/binetcauchy.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/closed_poly.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/closed_poly.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/closed_poly.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/coherent.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/coherent.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/coherent.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/companion.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/companion.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/companion.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/dvdring.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/dvdring.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/dvdring.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/edr.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/edr.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/edr.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/fpmod.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/fpmod.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/fpmod.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/frobenius_form.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/frobenius_form.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/frobenius_form.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/gauss.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/gauss.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/gauss.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/jordan.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/jordan.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/jordan.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/kaplansky.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/kaplansky.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/kaplansky.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/karatsuba.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/karatsuba.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/karatsuba.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/minor.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/minor.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/minor.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/mxstructure.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/mxstructure.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/mxstructure.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/perm_eq_image.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/perm_eq_image.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/perm_eq_image.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/polydvd.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/polydvd.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/polydvd.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/rank.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/rank.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/rank.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/similar.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/similar.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/similar.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith_complements.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith_complements.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smith_complements.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smithpid.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smithpid.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/smithpid.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssrcomplements.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssrcomplements.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/ssrcomplements.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/strassen.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/strassen.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/strassen.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/stronglydiscrete.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/stronglydiscrete.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/stronglydiscrete.vo ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/toomcook.glob ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/toomcook.v ocaml/libcoq-coqeal
usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/CoqEAL/theory/toomcook.vo ocaml/libcoq-coqeal
.
34237,34276d
33448,34192d
32992,33300d
31628,31935d
31610a
usr/lib/aarch64-linux-gnu/libzim.so                     libdevel/libzim-dev
usr/lib/aarch64-linux-gnu/libzim.so.9                   libs/libzim9a
usr/lib/aarch64-linux-gnu/libzim.so.9.7.0               libs/libzim9a
.
31189a
usr/lib/aarch64-linux-gnu/libopencv_alphamat.a          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_alphamat.so         libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_alphamat.so.5.0.0   libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_alphamat.so.500     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_bgsegm.a            libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_bgsegm.so           libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_bgsegm.so.5.0.0     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_bgsegm.so.500       libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_bioinspired.a       libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_bioinspired.so      libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_bioinspired.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_bioinspired.so.500  libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_calib.a             libdevel/libopencv-calib-dev
usr/lib/aarch64-linux-gnu/libopencv_calib.so            libdevel/libopencv-calib-dev
usr/lib/aarch64-linux-gnu/libopencv_calib.so.5.0.0      libs/libopencv-calib500
usr/lib/aarch64-linux-gnu/libopencv_calib.so.500        libs/libopencv-calib500
usr/lib/aarch64-linux-gnu/libopencv_core.a              libdevel/libopencv-core-dev
usr/lib/aarch64-linux-gnu/libopencv_core.so             libdevel/libopencv-core-dev
usr/lib/aarch64-linux-gnu/libopencv_core.so.5.0.0       libs/libopencv-core500
usr/lib/aarch64-linux-gnu/libopencv_core.so.500         libs/libopencv-core500
usr/lib/aarch64-linux-gnu/libopencv_cvv.a               libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_cvv.so              libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_cvv.so.5.0.0        libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_cvv.so.500          libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_datasets.a          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_datasets.so         libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_datasets.so.5.0.0   libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_datasets.so.500     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_dnn.a               libdevel/libopencv-dnn-dev
usr/lib/aarch64-linux-gnu/libopencv_dnn.so              libdevel/libopencv-dnn-dev
usr/lib/aarch64-linux-gnu/libopencv_dnn.so.5.0.0        libs/libopencv-dnn500
usr/lib/aarch64-linux-gnu/libopencv_dnn.so.500          libs/libopencv-dnn500
usr/lib/aarch64-linux-gnu/libopencv_dnn_objdetect.a     libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_dnn_objdetect.so    libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_dnn_objdetect.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_dnn_objdetect.so.500 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_dnn_superres.a      libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_dnn_superres.so     libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_dnn_superres.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_dnn_superres.so.500 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_dpm.a               libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_dpm.so              libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_dpm.so.5.0.0        libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_dpm.so.500          libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_face.a              libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_face.so             libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_face.so.5.0.0       libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_face.so.500         libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_features.a          libdevel/libopencv-features-dev
usr/lib/aarch64-linux-gnu/libopencv_features.so         libdevel/libopencv-features-dev
usr/lib/aarch64-linux-gnu/libopencv_features.so.5.0.0   libs/libopencv-features500
usr/lib/aarch64-linux-gnu/libopencv_features.so.500     libs/libopencv-features500
usr/lib/aarch64-linux-gnu/libopencv_flann.a             libdevel/libopencv-flann-dev
usr/lib/aarch64-linux-gnu/libopencv_flann.so            libdevel/libopencv-flann-dev
usr/lib/aarch64-linux-gnu/libopencv_flann.so.5.0.0      libs/libopencv-flann500
usr/lib/aarch64-linux-gnu/libopencv_flann.so.500        libs/libopencv-flann500
usr/lib/aarch64-linux-gnu/libopencv_freetype.a          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_freetype.so         libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_freetype.so.5.0.0   libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_freetype.so.500     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_fuzzy.a             libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_fuzzy.so            libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_fuzzy.so.5.0.0      libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_fuzzy.so.500        libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_geometry.a          libdevel/libopencv-geometry-dev
usr/lib/aarch64-linux-gnu/libopencv_geometry.so         libdevel/libopencv-geometry-dev
usr/lib/aarch64-linux-gnu/libopencv_geometry.so.5.0.0   libs/libopencv-geometry500
usr/lib/aarch64-linux-gnu/libopencv_geometry.so.500     libs/libopencv-geometry500
usr/lib/aarch64-linux-gnu/libopencv_hdf.a               libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_hdf.so              libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_hdf.so.5.0.0        libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_hdf.so.500          libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_hfs.a               libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_hfs.so              libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_hfs.so.5.0.0        libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_hfs.so.500          libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_highgui.a           libdevel/libopencv-highgui-dev
usr/lib/aarch64-linux-gnu/libopencv_highgui.so          libdevel/libopencv-highgui-dev
usr/lib/aarch64-linux-gnu/libopencv_highgui.so.5.0.0    libs/libopencv-highgui500
usr/lib/aarch64-linux-gnu/libopencv_highgui.so.500      libs/libopencv-highgui500
usr/lib/aarch64-linux-gnu/libopencv_img_hash.a          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_img_hash.so         libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_img_hash.so.5.0.0   libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_img_hash.so.500     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_imgcodecs.a         libdevel/libopencv-imgcodecs-dev
usr/lib/aarch64-linux-gnu/libopencv_imgcodecs.so        libdevel/libopencv-imgcodecs-dev
usr/lib/aarch64-linux-gnu/libopencv_imgcodecs.so.5.0.0  libs/libopencv-imgcodecs500
usr/lib/aarch64-linux-gnu/libopencv_imgcodecs.so.500    libs/libopencv-imgcodecs500
usr/lib/aarch64-linux-gnu/libopencv_imgproc.a           libdevel/libopencv-imgproc-dev
usr/lib/aarch64-linux-gnu/libopencv_imgproc.so          libdevel/libopencv-imgproc-dev
usr/lib/aarch64-linux-gnu/libopencv_imgproc.so.5.0.0    libs/libopencv-imgproc500
usr/lib/aarch64-linux-gnu/libopencv_imgproc.so.500      libs/libopencv-imgproc500
usr/lib/aarch64-linux-gnu/libopencv_intensity_transform.a libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_intensity_transform.so libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_intensity_transform.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_intensity_transform.so.500 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_line_descriptor.a   libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_line_descriptor.so  libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_line_descriptor.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_line_descriptor.so.500 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_ml.a                libdevel/libopencv-ml-dev
usr/lib/aarch64-linux-gnu/libopencv_ml.so               libdevel/libopencv-ml-dev
usr/lib/aarch64-linux-gnu/libopencv_ml.so.5.0.0         libs/libopencv-ml500
usr/lib/aarch64-linux-gnu/libopencv_ml.so.500           libs/libopencv-ml500
usr/lib/aarch64-linux-gnu/libopencv_objdetect.a         libdevel/libopencv-objdetect-dev
usr/lib/aarch64-linux-gnu/libopencv_objdetect.so        libdevel/libopencv-objdetect-dev
usr/lib/aarch64-linux-gnu/libopencv_objdetect.so.5.0.0  libs/libopencv-objdetect500
usr/lib/aarch64-linux-gnu/libopencv_objdetect.so.500    libs/libopencv-objdetect500
usr/lib/aarch64-linux-gnu/libopencv_optflow.a           libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_optflow.so          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_optflow.so.5.0.0    libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_optflow.so.500      libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_phase_unwrapping.a  libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_phase_unwrapping.so libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_phase_unwrapping.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_phase_unwrapping.so.500 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_photo.a             libdevel/libopencv-photo-dev
usr/lib/aarch64-linux-gnu/libopencv_photo.so            libdevel/libopencv-photo-dev
usr/lib/aarch64-linux-gnu/libopencv_photo.so.5.0.0      libs/libopencv-photo500
usr/lib/aarch64-linux-gnu/libopencv_photo.so.500        libs/libopencv-photo500
usr/lib/aarch64-linux-gnu/libopencv_plot.a              libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_plot.so             libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_plot.so.5.0.0       libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_plot.so.500         libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_ptcloud.a           libdevel/libopencv-ptcloud-dev
usr/lib/aarch64-linux-gnu/libopencv_ptcloud.so          libdevel/libopencv-ptcloud-dev
usr/lib/aarch64-linux-gnu/libopencv_ptcloud.so.5.0.0    libs/libopencv-ptcloud500
usr/lib/aarch64-linux-gnu/libopencv_ptcloud.so.500      libs/libopencv-ptcloud500
usr/lib/aarch64-linux-gnu/libopencv_quality.a           libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_quality.so          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_quality.so.5.0.0    libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_quality.so.500      libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_rapid.a             libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_rapid.so            libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_rapid.so.5.0.0      libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_rapid.so.500        libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_reg.a               libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_reg.so              libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_reg.so.5.0.0        libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_reg.so.500          libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_rgbd.a              libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_rgbd.so             libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_rgbd.so.5.0.0       libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_rgbd.so.500         libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_saliency.a          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_saliency.so         libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_saliency.so.5.0.0   libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_saliency.so.500     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_shape.a             libdevel/libopencv-shape-dev
usr/lib/aarch64-linux-gnu/libopencv_shape.so            libdevel/libopencv-shape-dev
usr/lib/aarch64-linux-gnu/libopencv_shape.so.5.0.0      libs/libopencv-shape500
usr/lib/aarch64-linux-gnu/libopencv_shape.so.500        libs/libopencv-shape500
usr/lib/aarch64-linux-gnu/libopencv_signal.a            libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_signal.so           libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_signal.so.5.0.0     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_signal.so.500       libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_stereo.a            libdevel/libopencv-stereo-dev
usr/lib/aarch64-linux-gnu/libopencv_stereo.so           libdevel/libopencv-stereo-dev
usr/lib/aarch64-linux-gnu/libopencv_stereo.so.5.0.0     libs/libopencv-stereo500
usr/lib/aarch64-linux-gnu/libopencv_stereo.so.500       libs/libopencv-stereo500
usr/lib/aarch64-linux-gnu/libopencv_stitching.a         libdevel/libopencv-stitching-dev
usr/lib/aarch64-linux-gnu/libopencv_stitching.so        libdevel/libopencv-stitching-dev
usr/lib/aarch64-linux-gnu/libopencv_stitching.so.5.0.0  libs/libopencv-stitching500
usr/lib/aarch64-linux-gnu/libopencv_stitching.so.500    libs/libopencv-stitching500
usr/lib/aarch64-linux-gnu/libopencv_structured_light.a  libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_structured_light.so libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_structured_light.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_structured_light.so.500 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_superres.a          libdevel/libopencv-superres-dev
usr/lib/aarch64-linux-gnu/libopencv_superres.so         libdevel/libopencv-superres-dev
usr/lib/aarch64-linux-gnu/libopencv_superres.so.5.0.0   libs/libopencv-superres500
usr/lib/aarch64-linux-gnu/libopencv_superres.so.500     libs/libopencv-superres500
usr/lib/aarch64-linux-gnu/libopencv_surface_matching.a  libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_surface_matching.so libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_surface_matching.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_surface_matching.so.500 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_text.a              libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_text.so             libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_text.so.5.0.0       libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_text.so.500         libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_tracking.a          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_tracking.so         libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_tracking.so.5.0.0   libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_tracking.so.500     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_video.a             libdevel/libopencv-video-dev
usr/lib/aarch64-linux-gnu/libopencv_video.so            libdevel/libopencv-video-dev
usr/lib/aarch64-linux-gnu/libopencv_video.so.5.0.0      libs/libopencv-video500
usr/lib/aarch64-linux-gnu/libopencv_video.so.500        libs/libopencv-video500
usr/lib/aarch64-linux-gnu/libopencv_videoio.a           libdevel/libopencv-videoio-dev
usr/lib/aarch64-linux-gnu/libopencv_videoio.so          libdevel/libopencv-videoio-dev
usr/lib/aarch64-linux-gnu/libopencv_videoio.so.5.0.0    libs/libopencv-videoio500
usr/lib/aarch64-linux-gnu/libopencv_videoio.so.500      libs/libopencv-videoio500
usr/lib/aarch64-linux-gnu/libopencv_videostab.a         libdevel/libopencv-videostab-dev
usr/lib/aarch64-linux-gnu/libopencv_videostab.so        libdevel/libopencv-videostab-dev
usr/lib/aarch64-linux-gnu/libopencv_videostab.so.5.0.0  libs/libopencv-videostab500
usr/lib/aarch64-linux-gnu/libopencv_videostab.so.500    libs/libopencv-videostab500
usr/lib/aarch64-linux-gnu/libopencv_viz.a               libdevel/libopencv-viz-dev
usr/lib/aarch64-linux-gnu/libopencv_viz.so              libdevel/libopencv-viz-dev
usr/lib/aarch64-linux-gnu/libopencv_viz.so.5.0.0        libs/libopencv-viz500
usr/lib/aarch64-linux-gnu/libopencv_viz.so.500          libs/libopencv-viz500
usr/lib/aarch64-linux-gnu/libopencv_wechat_qrcode.a     libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_wechat_qrcode.so    libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_wechat_qrcode.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_wechat_qrcode.so.500 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_ximgproc.a          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_ximgproc.so         libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_ximgproc.so.5.0.0   libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_ximgproc.so.500     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_xobjdetect.a        libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_xobjdetect.so       libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_xobjdetect.so.5.0.0 libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_xobjdetect.so.500   libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_xphoto.a            libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_xphoto.so           libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_xphoto.so.5.0.0     libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_xphoto.so.500       libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_xstereo.a           libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_xstereo.so          libdevel/libopencv-contrib-dev
usr/lib/aarch64-linux-gnu/libopencv_xstereo.so.5.0.0    libs/libopencv-contrib500
usr/lib/aarch64-linux-gnu/libopencv_xstereo.so.500      libs/libopencv-contrib500
.
30961,30962c
usr/lib/aarch64-linux-gnu/libkokkoscore.so.5.2          libs/libkokkos5.2
usr/lib/aarch64-linux-gnu/libkokkoscore.so.5.2.0        libs/libkokkos5.2
.
30958,30959c
usr/lib/aarch64-linux-gnu/libkokkoscontainers.so.5.2    libs/libkokkos5.2
usr/lib/aarch64-linux-gnu/libkokkoscontainers.so.5.2.0  libs/libkokkos5.2
.
30250,30251c
usr/lib/aarch64-linux-gnu/libaquamarine.so.0.14.0       libs/libaquamarine13
usr/lib/aarch64-linux-gnu/libaquamarine.so.13           libs/libaquamarine13
.
27110d
27031d
26136a
usr/lib/aarch64-linux-gnu/cmake/opencv5/OpenCVConfig-version.cmake libdevel/libopencv-dev
usr/lib/aarch64-linux-gnu/cmake/opencv5/OpenCVConfig.cmake libdevel/libopencv-dev
usr/lib/aarch64-linux-gnu/cmake/opencv5/OpenCVModules-release.cmake libdevel/libopencv-dev
usr/lib/aarch64-linux-gnu/cmake/opencv5/OpenCVModules.cmake libdevel/libopencv-dev
.
25137a
usr/include/zim/archive.h                               libdevel/libzim-dev
usr/include/zim/blob.h                                  libdevel/libzim-dev
usr/include/zim/entry.h                                 libdevel/libzim-dev
usr/include/zim/error.h                                 libdevel/libzim-dev
usr/include/zim/illustration.h                          libdevel/libzim-dev
usr/include/zim/item.h                                  libdevel/libzim-dev
usr/include/zim/search.h                                libdevel/libzim-dev
usr/include/zim/search_iterator.h                       libdevel/libzim-dev
usr/include/zim/suggestion.h                            libdevel/libzim-dev
usr/include/zim/suggestion_iterator.h                   libdevel/libzim-dev
usr/include/zim/tools.h                                 libdevel/libzim-dev
usr/include/zim/uuid.h                                  libdevel/libzim-dev
usr/include/zim/version.h                               libdevel/libzim-dev
usr/include/zim/writer/contentProvider.h                libdevel/libzim-dev
usr/include/zim/writer/creator.h                        libdevel/libzim-dev
usr/include/zim/writer/item.h                           libdevel/libzim-dev
usr/include/zim/zim.h                                   libdevel/libzim-dev
usr/include/zim/zim_config.h                            libdevel/libzim-dev
.
22202a
usr/include/pygobject-3.0/pygobject-types.h             python/python-gi-dev
usr/include/pygobject-3.0/pygobject.h                   python/python-gi-dev
.
17794a
usr/include/opencv5/opencv2/alphamat.hpp                libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/bgsegm.hpp                  libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/bioinspired.hpp             libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/bioinspired/bioinspired.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/bioinspired/retina.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/bioinspired/retinafasttonemapping.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/bioinspired/transientareassegmentationmodule.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/calib.hpp                   libdevel/libopencv-calib-dev
usr/include/opencv5/opencv2/calib3d.hpp                 libdevel/libopencv-calib-dev
usr/include/opencv5/opencv2/core.hpp                    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/affine.hpp             libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/async.hpp              libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/base.hpp               libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/bindings_utils.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/bufferpool.hpp         libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/check.hpp              libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/core.hpp               libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda.hpp               libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda.inl.hpp           libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/block.hpp         libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/border_interpolate.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/color.hpp         libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/common.hpp        libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/cuda_compat.hpp   libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/datamov_utils.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/detail/color_detail.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/detail/reduce.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/detail/reduce_key_val.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/detail/transform_detail.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/detail/type_traits_detail.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/detail/vec_distance_detail.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/dynamic_smem.hpp  libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/emulation.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/filters.hpp       libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/funcattrib.hpp    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/functional.hpp    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/limits.hpp        libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/reduce.hpp        libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/saturate_cast.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/scan.hpp          libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/simd_functions.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/transform.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/type_traits.hpp   libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/utility.hpp       libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/vec_distance.hpp  libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/vec_math.hpp      libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/vec_traits.hpp    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/warp.hpp          libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/warp_reduce.hpp   libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda/warp_shuffle.hpp  libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda_stream_accessor.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cuda_types.hpp         libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cv_cpu_dispatch.h      libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cv_cpu_helper.h        libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cvdef.h                libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cvstd.hpp              libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cvstd.inl.hpp          libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/cvstd_wrapper.hpp      libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/detail/async_promise.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/detail/dispatch_helper.impl.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/detail/exception_ptr.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/directx.hpp            libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/dualquaternion.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/dualquaternion.inl.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/eigen.hpp              libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/exception.hpp          libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/fast_math.hpp          libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/fwddecl.hpp            libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/hal.hpp            libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/interface.h        libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin.hpp         libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_avx.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_avx512.hpp  libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_cpp.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_forward.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_lasx.hpp    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_legacy_ops.h libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_lsx.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_math.hpp    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_msa.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_neon.hpp    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_rvv071.hpp  libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_rvv_scalable.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_sse.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_sse_em.hpp  libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_vsx.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/intrin_wasm.hpp    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/msa_macros.h       libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/hal/simd_utils.impl.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/mat.hpp                libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/mat.inl.hpp            libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/matx.hpp               libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/matx.inl.hpp           libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/neon_utils.hpp         libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/ocl.hpp                libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/ocl_genbase.hpp        libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/ocl_defs.hpp    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/opencl_info.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/opencl_svm.hpp  libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/autogenerated/opencl_clblas.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/autogenerated/opencl_clfft.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/autogenerated/opencl_core.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/autogenerated/opencl_core_wrappers.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/autogenerated/opencl_gl.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/autogenerated/opencl_gl_wrappers.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/opencl_clblas.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/opencl_clfft.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/opencl_core.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/opencl_core_wrappers.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/opencl_gl.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/opencl_gl_wrappers.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/opencl_svm_20.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/opencl_svm_definitions.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opencl/runtime/opencl_svm_hsa_extension.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/opengl.hpp             libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/operations.hpp         libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/optim.hpp              libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/parallel/backend/parallel_for.openmp.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/parallel/backend/parallel_for.tbb.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/parallel/parallel_backend.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/persistence.hpp        libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/quaternion.hpp         libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/quaternion.inl.hpp     libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/saturate.hpp           libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/simd_intrinsics.hpp    libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/softfloat.hpp          libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/traits.hpp             libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/types.hpp              libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utility.hpp            libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/allocator_stats.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/allocator_stats.impl.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/filesystem.hpp   libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/fp_control_utils.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/instrumentation.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/logger.defines.hpp libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/logger.hpp       libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/logtag.hpp       libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/tls.hpp          libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/utils/trace.hpp        libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/va_intel.hpp           libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/version.hpp            libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core/vsx_utils.hpp          libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/core_detect.hpp             libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/cvv.hpp                     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/cvv/call_meta_data.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/cvv/cvv.hpp                 libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/cvv/debug_mode.hpp          libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/cvv/dmatch.hpp              libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/cvv/filter.hpp              libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/cvv/final_show.hpp          libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/cvv/show_image.hpp          libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/ar_hmdb.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/ar_sports.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/dataset.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/fr_adience.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/fr_lfw.hpp         libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/gr_chalearn.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/gr_skig.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/hpe_humaneva.hpp   libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/hpe_parse.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/ir_affine.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/ir_robot.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/is_bsds.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/is_weizmann.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/msm_epfl.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/msm_middlebury.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/or_imagenet.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/or_mnist.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/or_pascal.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/or_sun.hpp         libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/pd_caltech.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/pd_inria.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/slam_kitti.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/slam_tumindoor.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/sr_bsds.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/sr_div2k.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/sr_general100.hpp  libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/tr_chars.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/tr_icdar.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/tr_svt.hpp         libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/track_alov.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/track_vot.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/datasets/util.hpp           libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/dnn.hpp                     libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/all_layers.hpp          libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/dict.hpp                libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/dnn.hpp                 libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/dnn.inl.hpp             libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/layer.details.hpp       libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/layer.hpp               libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/shape_utils.hpp         libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/utils/debug_utils.hpp   libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/utils/inference_engine.hpp libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn/version.hpp             libdevel/libopencv-dnn-dev
usr/include/opencv5/opencv2/dnn_superres.hpp            libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/dpm.hpp                     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face.hpp                    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face/bif.hpp                libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face/face_alignment.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face/facemark.hpp           libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face/facemarkAAM.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face/facemarkLBF.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face/facemark_train.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face/facerec.hpp            libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face/mace.hpp               libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/face/predict_collector.hpp  libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/features.hpp                libdevel/libopencv-features-dev
usr/include/opencv5/opencv2/features/features.hpp       libdevel/libopencv-features-dev
usr/include/opencv5/opencv2/features/hal/interface.h    libdevel/libopencv-features-dev
usr/include/opencv5/opencv2/features2d.hpp              libdevel/libopencv-features-dev
usr/include/opencv5/opencv2/flann.hpp                   libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/all_indices.h         libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/allocator.h           libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/any.h                 libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/autotuned_index.h     libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/composite_index.h     libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/config.h              libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/defines.h             libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/dist.h                libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/dummy.h               libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/dynamic_bitset.h      libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/flann.hpp             libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/flann_base.hpp        libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/general.h             libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/ground_truth.h        libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/heap.h                libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/hierarchical_clustering_index.h libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/index_testing.h       libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/kdtree_index.h        libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/kdtree_single_index.h libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/kmeans_index.h        libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/linear_index.h        libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/logger.h              libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/lsh_index.h           libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/lsh_table.h           libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/matrix.h              libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/miniflann.hpp         libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/nn_index.h            libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/object_factory.h      libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/params.h              libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/random.h              libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/result_set.h          libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/sampling.h            libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/saving.h              libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/simplex_downhill.h    libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/flann/timer.h               libdevel/libopencv-flann-dev
usr/include/opencv5/opencv2/freetype.hpp                libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/fuzzy.hpp                   libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/fuzzy/fuzzy_F0_math.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/fuzzy/fuzzy_F1_math.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/fuzzy/fuzzy_image.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/fuzzy/types.hpp             libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/geometry.hpp                libdevel/libopencv-geometry-dev
usr/include/opencv5/opencv2/geometry/2d.hpp             libdevel/libopencv-geometry-dev
usr/include/opencv5/opencv2/geometry/3d.hpp             libdevel/libopencv-geometry-dev
usr/include/opencv5/opencv2/geometry/detail/gcgraph.hpp libdevel/libopencv-geometry-dev
usr/include/opencv5/opencv2/geometry/detail/optimizer.hpp libdevel/libopencv-geometry-dev
usr/include/opencv5/opencv2/geometry/mst.hpp            libdevel/libopencv-geometry-dev
usr/include/opencv5/opencv2/geometry/segment.hpp        libdevel/libopencv-geometry-dev
usr/include/opencv5/opencv2/hdf.hpp                     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/hdf/hdf5.hpp                libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/hfs.hpp                     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/highgui.hpp                 libdevel/libopencv-highgui-dev
usr/include/opencv5/opencv2/highgui/highgui.hpp         libdevel/libopencv-highgui-dev
usr/include/opencv5/opencv2/highgui/highgui_winrt.hpp   libdevel/libopencv-highgui-dev
usr/include/opencv5/opencv2/img_hash.hpp                libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/img_hash/average_hash.hpp   libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/img_hash/block_mean_hash.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/img_hash/color_moment_hash.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/img_hash/img_hash_base.hpp  libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/img_hash/marr_hildreth_hash.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/img_hash/phash.hpp          libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/img_hash/radial_variance_hash.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/imgcodecs.hpp               libdevel/libopencv-imgcodecs-dev
usr/include/opencv5/opencv2/imgcodecs/imgcodecs.hpp     libdevel/libopencv-imgcodecs-dev
usr/include/opencv5/opencv2/imgcodecs/ios.h             libdevel/libopencv-imgcodecs-dev
usr/include/opencv5/opencv2/imgcodecs/macosx.h          libdevel/libopencv-imgcodecs-dev
usr/include/opencv5/opencv2/imgproc.hpp                 libdevel/libopencv-imgproc-dev
usr/include/opencv5/opencv2/imgproc/bindings.hpp        libdevel/libopencv-imgproc-dev
usr/include/opencv5/opencv2/imgproc/hal/hal.hpp         libdevel/libopencv-imgproc-dev
usr/include/opencv5/opencv2/imgproc/hal/interface.h     libdevel/libopencv-imgproc-dev
usr/include/opencv5/opencv2/imgproc/imgproc.hpp         libdevel/libopencv-imgproc-dev
usr/include/opencv5/opencv2/intensity_transform.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/line_descriptor.hpp         libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/line_descriptor/descriptor.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ml.hpp                      libdevel/libopencv-ml-dev
usr/include/opencv5/opencv2/ml/ml.hpp                   libdevel/libopencv-ml-dev
usr/include/opencv5/opencv2/ml/ml.inl.hpp               libdevel/libopencv-ml-dev
usr/include/opencv5/opencv2/objdetect.hpp               libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/objdetect/aruco_board.hpp   libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/objdetect/aruco_detector.hpp libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/objdetect/aruco_dictionary.hpp libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/objdetect/barcode.hpp       libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/objdetect/charuco_detector.hpp libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/objdetect/face.hpp          libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/objdetect/graphical_code_detector.hpp libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/objdetect/mcc_checker_detector.hpp libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/objdetect/objdetect.hpp     libdevel/libopencv-objdetect-dev
usr/include/opencv5/opencv2/opencv.hpp                  libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/opencv_modules.hpp          libdevel/libopencv-core-dev
usr/include/opencv5/opencv2/optflow.hpp                 libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/optflow/motempl.hpp         libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/optflow/pcaflow.hpp         libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/optflow/rlofflow.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/optflow/sparse_matching_gpc.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/phase_unwrapping.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/phase_unwrapping/histogramphaseunwrapping.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/phase_unwrapping/phase_unwrapping.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/photo.hpp                   libdevel/libopencv-photo-dev
usr/include/opencv5/opencv2/photo/ccm.hpp               libdevel/libopencv-photo-dev
usr/include/opencv5/opencv2/photo/cuda.hpp              libdevel/libopencv-photo-dev
usr/include/opencv5/opencv2/photo/legacy/constants_c.h  libdevel/libopencv-photo-dev
usr/include/opencv5/opencv2/photo/photo.hpp             libdevel/libopencv-photo-dev
usr/include/opencv5/opencv2/photo/segmentation.hpp      libdevel/libopencv-photo-dev
usr/include/opencv5/opencv2/plot.hpp                    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ptcloud.hpp                 libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/ptcloud/depth.hpp           libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/ptcloud/detail/kinfu_frame.hpp libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/ptcloud/detail/pose_graph.hpp libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/ptcloud/detail/submap.hpp   libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/ptcloud/odometry.hpp        libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/ptcloud/odometry_frame.hpp  libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/ptcloud/odometry_settings.hpp libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/ptcloud/volume.hpp          libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/ptcloud/volume_settings.hpp libdevel/libopencv-ptcloud-dev
usr/include/opencv5/opencv2/quality.hpp                 libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/quality/quality_utils.hpp   libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/quality/qualitybase.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/quality/qualitybrisque.hpp  libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/quality/qualitygmsd.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/quality/qualitymse.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/quality/qualitypsnr.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/quality/qualityssim.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/rapid.hpp                   libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/map.hpp                 libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mapaffine.hpp           libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mapper.hpp              libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mappergradaffine.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mappergradeuclid.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mappergradproj.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mappergradshift.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mappergradsimilar.hpp   libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mapperpyramid.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mapprojec.hpp           libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/reg/mapshift.hpp            libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/rgbd.hpp                    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/rgbd/colored_kinfu.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/rgbd/dynafu.hpp             libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/rgbd/kinfu.hpp              libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/rgbd/large_kinfu.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/rgbd/linemod.hpp            libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/saliency.hpp                libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/saliency/saliencyBaseClasses.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/saliency/saliencySpecializedClasses.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/shape.hpp                   libdevel/libopencv-shape-dev
usr/include/opencv5/opencv2/shape/emdL1.hpp             libdevel/libopencv-shape-dev
usr/include/opencv5/opencv2/shape/hist_cost.hpp         libdevel/libopencv-shape-dev
usr/include/opencv5/opencv2/shape/shape.hpp             libdevel/libopencv-shape-dev
usr/include/opencv5/opencv2/shape/shape_distance.hpp    libdevel/libopencv-shape-dev
usr/include/opencv5/opencv2/shape/shape_transformer.hpp libdevel/libopencv-shape-dev
usr/include/opencv5/opencv2/signal.hpp                  libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/signal/signal_resample.hpp  libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/stereo.hpp                  libdevel/libopencv-stereo-dev
usr/include/opencv5/opencv2/stitching.hpp               libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/autocalib.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/blenders.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/camera.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/exposure_compensate.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/matchers.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/motion_estimators.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/seam_finders.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/timelapsers.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/util.hpp   libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/util_inl.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/warpers.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/detail/warpers_inl.hpp libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/stitching/warpers.hpp       libdevel/libopencv-stitching-dev
usr/include/opencv5/opencv2/structured_light.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/structured_light/graycodepattern.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/structured_light/sinusoidalpattern.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/structured_light/structured_light.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/superres.hpp                libdevel/libopencv-superres-dev
usr/include/opencv5/opencv2/superres/optical_flow.hpp   libdevel/libopencv-superres-dev
usr/include/opencv5/opencv2/surface_matching.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/surface_matching/icp.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/surface_matching/pose_3d.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/surface_matching/ppf_helpers.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/surface_matching/ppf_match_3d.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/surface_matching/t_hash_int.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/text.hpp                    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/text/erfilter.hpp           libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/text/ocr.hpp                libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/text/swt_text_detection.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/text/textDetector.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking.hpp                libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking/feature.hpp        libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking/kalman_filters.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking/onlineBoosting.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking/tldDataset.hpp     libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking/tracking.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking/tracking_by_matching.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking/tracking_internals.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking/tracking_legacy.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/tracking/twist.hpp          libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/video.hpp                   libdevel/libopencv-video-dev
usr/include/opencv5/opencv2/video/background_segm.hpp   libdevel/libopencv-video-dev
usr/include/opencv5/opencv2/video/detail/tracking.detail.hpp libdevel/libopencv-video-dev
usr/include/opencv5/opencv2/video/legacy/constants_c.h  libdevel/libopencv-video-dev
usr/include/opencv5/opencv2/video/tracking.hpp          libdevel/libopencv-video-dev
usr/include/opencv5/opencv2/video/video.hpp             libdevel/libopencv-video-dev
usr/include/opencv5/opencv2/videoio.hpp                 libdevel/libopencv-videoio-dev
usr/include/opencv5/opencv2/videoio/registry.hpp        libdevel/libopencv-videoio-dev
usr/include/opencv5/opencv2/videoio/videoio.hpp         libdevel/libopencv-videoio-dev
usr/include/opencv5/opencv2/videostab.hpp               libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/deblurring.hpp    libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/fast_marching.hpp libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/fast_marching_inl.hpp libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/frame_source.hpp  libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/global_motion.hpp libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/inpainting.hpp    libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/log.hpp           libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/motion_core.hpp   libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/motion_stabilizing.hpp libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/optical_flow.hpp  libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/outlier_rejection.hpp libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/ring_buffer.hpp   libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/stabilizer.hpp    libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/videostab/wobble_suppression.hpp libdevel/libopencv-videostab-dev
usr/include/opencv5/opencv2/viz.hpp                     libdevel/libopencv-viz-dev
usr/include/opencv5/opencv2/viz/types.hpp               libdevel/libopencv-viz-dev
usr/include/opencv5/opencv2/viz/viz3d.hpp               libdevel/libopencv-viz-dev
usr/include/opencv5/opencv2/viz/vizcore.hpp             libdevel/libopencv-viz-dev
usr/include/opencv5/opencv2/viz/widget_accessor.hpp     libdevel/libopencv-viz-dev
usr/include/opencv5/opencv2/viz/widgets.hpp             libdevel/libopencv-viz-dev
usr/include/opencv5/opencv2/wechat_qrcode.hpp           libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc.hpp                libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/brightedges.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/color_match.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/deriche_filter.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/disparity_filter.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/edge_drawing.hpp   libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/edge_filter.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/edgeboxes.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/edgepreserving_filter.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/estimated_covariance.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/fast_hough_transform.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/fast_line_detector.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/find_ellipses.hpp  libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/fourier_descriptors.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/lsc.hpp            libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/paillou_filter.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/peilin.hpp         libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/radon_transform.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/ridgefilter.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/run_length_morphology.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/scansegment.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/seeds.hpp          libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/segmentation.hpp   libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/slic.hpp           libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/sparse_match_interpolator.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/structured_edge_detection.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/ximgproc/weighted_median_filter.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xobjdetect.hpp              libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xobjdetect/detection_based_tracker.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xphoto.hpp                  libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xphoto/bm3d_image_denoising.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xphoto/dct_image_denoising.hpp libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xphoto/inpainting.hpp       libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xphoto/oilpainting.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xphoto/tonemap.hpp          libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xphoto/white_balance.hpp    libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xstereo.hpp                 libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xstereo/descriptor.hpp      libdevel/libopencv-contrib-dev
usr/include/opencv5/opencv2/xstereo/quasi_dense_stereo.hpp libdevel/libopencv-contrib-dev
.
13686a
usr/include/kokkos/traits/Kokkos_TeamHandleTrait.hpp    libdevel/libkokkos-dev
.
13653d
13569d
13562d
13534d
13527a
usr/include/kokkos/impl/Kokkos_RandomAccessIterator.hpp libdevel/libkokkos-dev
.
13470a
usr/include/kokkos/fwd/Kokkos_Fwd_NEXTSILICON.hpp       libdevel/libkokkos-dev
.
13439a
usr/include/kokkos/desul/atomics/cuda/cuda_cc7_asm_store_op.inc libdevel/libkokkos-dev
.
13438a
usr/include/kokkos/desul/atomics/cuda/cuda_cc7_asm_load_op.inc libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/cuda/cuda_cc7_asm_loadstore.inc libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/cuda/cuda_cc7_asm_loadstore_memorder.inc libdevel/libkokkos-dev
.
13428a
usr/include/kokkos/desul/atomics/cuda/CUDA_asm_loadstore.hpp libdevel/libkokkos-dev
.
13415a
usr/include/kokkos/desul/atomics/Lock_Free_Types_CUDA.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Lock_Free_Types_GCC.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Lock_Free_Types_HIP.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Lock_Free_Types_MSVC.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Lock_Free_Types_OpenACC.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Lock_Free_Types_OpenMP.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Lock_Free_Types_SYCL.hpp libdevel/libkokkos-dev
.
13404a
usr/include/kokkos/desul/atomics/Load_And_Store.hpp     libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Load_And_Store_CUDA.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Load_And_Store_GCC.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Load_And_Store_HIP.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Load_And_Store_MSVC.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Load_And_Store_OpenACC.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Load_And_Store_OpenMP.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Load_And_Store_SYCL.hpp libdevel/libkokkos-dev
usr/include/kokkos/desul/atomics/Load_And_Store_ScopeCaller.hpp libdevel/libkokkos-dev
.
13372a
usr/include/kokkos/decl/Kokkos_Declare_NEXTSILICON.hpp  libdevel/libkokkos-dev
.
13276a
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon.hpp   libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSiliconSpace.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_Abort.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_DeepCopy.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_HeapBuffer.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_Instance.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_Intrinsics.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_PageAlignedData.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_ParallelFor_Range.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_Printf.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_SharedAllocationRecord.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_ThreadSpaceGuard.hpp libdevel/libkokkos-dev
usr/include/kokkos/NextSilicon/Kokkos_NextSilicon_ZeroMemset.hpp libdevel/libkokkos-dev
.
13272d
13264d
13246d
13231a
usr/include/kokkos/Kokkos_Iterator.hpp                  libdevel/libkokkos-dev
.
6572a
usr/include/aarch64-linux-gnu/opencv5/opencv2/cvconfig.h libdevel/libopencv-core-dev
.
3014,3015d
2665,2668d
2607d
2394d
2086d
2061a
usr/bin/opencv_annotation                               libdevel/libopencv-dev
usr/bin/opencv_model_diagnostics                        libdevel/libopencv-dev
usr/bin/opencv_version                                  libdevel/libopencv-dev
usr/bin/opencv_visualisation                            libdevel/libopencv-dev
usr/bin/opencv_waldboost_detector                       libdevel/libopencv-dev
.
1995d
1248d
1194,1195d
