177715,177717d
177696,177712d
177692,177694d
177675,177690d
177672,177673d
177669,177670d
175301a
usr/src/linux-headers-7.2-rt-arm64/include/config/REGULATOR_QCOM_REFGEN kernel/linux-headers-7.2-rt-arm64
.
173219a
usr/src/linux-headers-7.2-rt-arm64/include/config/IRQ_SIM kernel/linux-headers-7.2-rt-arm64
.
172434a
usr/src/linux-headers-7.2-rt-arm64/include/config/GPIO_SIM kernel/linux-headers-7.2-rt-arm64
.
168262a
usr/src/linux-headers-7.2-cloud-arm64/include/config/IRQ_SIM kernel/linux-headers-7.2-cloud-arm64
.
167817a
usr/src/linux-headers-7.2-cloud-arm64/include/config/GPIO_SIM kernel/linux-headers-7.2-cloud-arm64
.
164270a
usr/src/linux-headers-7.2-arm64/include/config/REGULATOR_QCOM_REFGEN kernel/linux-headers-7.2-arm64
.
162188a
usr/src/linux-headers-7.2-arm64/include/config/IRQ_SIM  kernel/linux-headers-7.2-arm64
.
161384a
usr/src/linux-headers-7.2-arm64/include/config/GPIO_SIM kernel/linux-headers-7.2-arm64
.
156495a
usr/src/linux-headers-7.2-arm64-16k/include/config/REGULATOR_QCOM_REFGEN kernel/linux-headers-7.2-arm64-16k
.
154416a
usr/src/linux-headers-7.2-arm64-16k/include/config/IRQ_SIM kernel/linux-headers-7.2-arm64-16k
.
153612a
usr/src/linux-headers-7.2-arm64-16k/include/config/GPIO_SIM kernel/linux-headers-7.2-arm64-16k
.
151046,151047d
150555,150869d
149556,149559d
149550,149551d
148974,148975d
148908d
148882a
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
.
147925,147926d
147922d
147809d
147719d
147674d
147485d
147145d
147015d
146910a
usr/share/man/man1/llvm-extract-bundle-entry-23.1.gz    devel/llvm-23
.
146223d
146175,146176d
145955,145956d
145945d
145818d
145592d
145403d
144402d
144201d
143978d
143572d
142961d
142823d
142692d
142411d
142074d
141851d
141708d
141399d
141054,141055d
140955d
140815d
140695d
140467d
139867d
139696d
139694d
139621a
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
.
139536d
139524,139533d
139406d
139310a
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
.
138552d
138542d
138533,138534d
138512d
138491d
138460d
138436,138438d
138413d
138391d
138380d
138371d
138342d
138330d
138302d
138271d
138246d
138227d
133761,133767d
133662,133669d
133536,133543d
133231,133233d
133151,133154d
132926a
usr/share/doc/python3-opencv/changelog.Debian.gz        python/python3-opencv
usr/share/doc/python3-opencv/copyright                  python/python3-opencv
.
132896d
132873a
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
.
132845d
132832a
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
.
132520,132523d
132299d
132194d
132190d
132186d
132182d
132178d
132174d
132170d
132166d
132088a
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
.
130535d
130495,130497d
130483,130485d
130352,130355d
130311,130312d
129790d
129373a
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
.
129343d
129339d
129335d
129331d
128843d
128839d
128708d
128704d
128700d
128696d
128692d
128688d
128684d
128497,128499c
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
.
127933d
127922d
127745,127753d
127679,127737d
127666,127675d
127504,127659d
127493,127501d
127475,127490d
127429d
127425d
127421d
127417d
127413d
127409d
127351d
127347d
127343d
127339d
127321d
127178,127179c
usr/share/doc/libaquamarine13/changelog.Debian.gz       libs/libaquamarine13
usr/share/doc/libaquamarine13/copyright                 libs/libaquamarine13
.
127086d
127043,127044d
126273,126274d
124720d
124344,124348d
124315d
124311d
124307d
124303d
124299d
124270d
122930d
122920,122921d
118210,118249d
114872,114881d
114478d
114333d
114255d
111571,111572d
111390d
111357d
110711,110712d
107215a
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
.
106637a
usr/lib/python3/dist-packages/gi/repository/__init__.py python/python3-gi
usr/lib/python3/dist-packages/gi/types.py               python/python3-gi
.
106633a
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
.
106627a
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
.
106592a
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
.
106345a
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
.
102048a
usr/lib/modules/7.2-rt-arm64/kernel/drivers/regulator/qcom-refgen-regulator.ko.xz kernel/linux-modules-7.2-rt-arm64
.
99657a
usr/lib/modules/7.2-rt-arm64/kernel/drivers/gpio/gpio-sim.ko.xz kernel/linux-modules-7.2-rt-arm64
.
96462a
usr/lib/modules/7.2-cloud-arm64/kernel/drivers/gpio/gpio-sim.ko.xz kernel/linux-modules-7.2-cloud-arm64
.
94340a
usr/lib/modules/7.2-arm64/kernel/drivers/regulator/qcom-refgen-regulator.ko.xz kernel/linux-modules-7.2-arm64
.
91949a
usr/lib/modules/7.2-arm64/kernel/drivers/gpio/gpio-sim.ko.xz kernel/linux-modules-7.2-arm64
.
88146a
usr/lib/modules/7.2-arm64-16k/kernel/drivers/regulator/qcom-refgen-regulator.ko.xz kernel/linux-modules-7.2-arm64-16k
.
85758a
usr/lib/modules/7.2-arm64-16k/kernel/drivers/gpio/gpio-sim.ko.xz kernel/linux-modules-7.2-arm64-16k
.
77286a
usr/lib/llvm-23/utils/lit/lit/ShellEnvironment.py       devel/llvm-23-tools
.
77281a
usr/lib/llvm-23/utils/lit/lit/InprocBuiltins.py         devel/llvm-23-tools
.
77110a
usr/lib/llvm-23/lib/python3.14/site-packages/lldb/utils/delayed_enable.py python/python3-lldb-23
.
77106a
usr/lib/llvm-23/lib/python3.14/site-packages/lldb/plugins/scripted_hook.py python/python3-lldb-23
.
77105a
usr/lib/llvm-23/lib/python3.14/site-packages/lldb/plugins/scripted_breakpoint.py python/python3-lldb-23
.
77102a
usr/lib/llvm-23/lib/python3.14/site-packages/lldb/native/_lldb.cpython-314-aarch64-linux-gnu.so python/python3-lldb-23
.
77090d
77073c
usr/lib/llvm-23/lib/libomptarget.so.23.1                devel/liboffload-23
.
77067c
usr/lib/llvm-23/lib/libmlir_runner_utils.so.23.1        libs/libmlir-23
.
77065c
usr/lib/llvm-23/lib/libmlir_float16_utils.so.23.1       libs/libmlir-23
.
77063c
usr/lib/llvm-23/lib/libmlir_c_runner_utils.so.23.1      libs/libmlir-23
.
77061c
usr/lib/llvm-23/lib/libmlir_async_runtime.so.23.1       libs/libmlir-23
.
77059c
usr/lib/llvm-23/lib/libmlir_arm_sme_abi_stubs.so.23.1   libs/libmlir-23
.
77057c
usr/lib/llvm-23/lib/libmlir_arm_runner_utils.so.23.1    libs/libmlir-23
.
77055c
usr/lib/llvm-23/lib/libmlir_apfloat_wrappers.so.23.1    libs/libmlir-23
.
77052c
usr/lib/llvm-23/lib/liblldbIntelFeatures.so.23.1        libs/liblldb-23
.
77046c
usr/lib/llvm-23/lib/liblldb-23.1.0.so                   libdevel/liblldb-23-dev
.
76998d
76975,76978c
usr/lib/llvm-23/lib/libclangScalableStaticAnalysisAnalyses.a libdevel/libclang-23-dev
usr/lib/llvm-23/lib/libclangScalableStaticAnalysisCore.a libdevel/libclang-23-dev
usr/lib/llvm-23/lib/libclangScalableStaticAnalysisFrontend.a libdevel/libclang-23-dev
usr/lib/llvm-23/lib/libclangScalableStaticAnalysisSourceTransformation.a libdevel/libclang-23-dev
usr/lib/llvm-23/lib/libclangScalableStaticAnalysisTool.a libdevel/libclang-23-dev
.
76930c
usr/lib/llvm-23/lib/libclang-cpp.so.23.1                libs/libclang-cpp23
.
76925c
usr/lib/llvm-23/lib/libclang-23.1.0.so                  libdevel/libclang-23-dev
.
76910c
usr/lib/llvm-23/lib/libRemarks.so.23.1                  devel/llvm-23-dev
.
76891a
usr/lib/llvm-23/lib/libMLIRWasmRaise.a                  libdevel/libmlir-23-dev
.
76855a
usr/lib/llvm-23/lib/libMLIRTosaToSPIRVTosa.a            libdevel/libmlir-23-dev
.
76727a
usr/lib/llvm-23/lib/libMLIROpenMPUtils.a                libdevel/libmlir-23-dev
.
76714a
usr/lib/llvm-23/lib/libMLIRNVVMTransforms.a             libdevel/libmlir-23-dev
.
76652a
usr/lib/llvm-23/lib/libMLIRInferIntDivisibilityOpInterface.a libdevel/libmlir-23-dev
.
76619c
usr/lib/llvm-23/lib/libMLIRExecutionEngineShared.so.23.1 libs/libmlir-23
.
76614a
usr/lib/llvm-23/lib/libMLIREmitCCommonConversion.a      libdevel/libmlir-23-dev
.
76472c
usr/lib/llvm-23/lib/libMLIR.so.23.1                     libs/libmlir-23
usr/lib/llvm-23/lib/libMLIRABI.a                        libdevel/libmlir-23-dev
.
76469c
usr/lib/llvm-23/lib/libLTO.so.23.1                      devel/llvm-23-linker-tools
.
76419d
76382c
usr/lib/llvm-23/lib/libLLVMOffload.so.23.1              devel/liboffload-23
.
76325a
usr/lib/llvm-23/lib/libLLVMHTTP.a                       devel/llvm-23-dev
.
76232c
usr/lib/llvm-23/lib/libLLVM.so.23.1                     devel/llvm-23-dev
.
76160a
usr/lib/llvm-23/lib/cmake/llvm/FindDIASDK.cmake         devel/llvm-23-dev
.
76102a
usr/lib/llvm-23/lib/clang/23/lib/linux/libclang_rt.profile_rocm-aarch64.a libdevel/libclang-rt-23-dev
.
76071a
usr/lib/llvm-23/lib/clang/23/include/zos_wrappers/grp.h libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/zos_wrappers/locale.h libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/zos_wrappers/math.h libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/zos_wrappers/poll.h libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/zos_wrappers/stdlib.h libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/zos_wrappers/string.h libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/zos_wrappers/time.h libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/zos_wrappers/variant.h libdevel/libclang-common-23-dev
.
76013a
usr/lib/llvm-23/lib/clang/23/include/sanitizer/safestack_interface.h libdevel/libclang-rt-23-dev
.
75998a
usr/lib/llvm-23/lib/clang/23/include/riscv_packed_simd.h libdevel/libclang-common-23-dev
.
75846a
usr/lib/llvm-23/lib/clang/23/include/avx512bmmintrin.h  libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/avx512bmmvlintrin.h libdevel/libclang-common-23-dev
.
75817a
usr/lib/llvm-23/lib/clang/23/include/arm64_neon.h       libdevel/libclang-common-23-dev
.
75816d
75780a
usr/lib/llvm-23/lib/clang/23/include/__clang_spirv_math.h libdevel/libclang-common-23-dev
.
75773a
usr/lib/llvm-23/lib/clang/23/include/__clang_gpu_builtin_vars.h libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/__clang_gpu_device_functions.h libdevel/libclang-common-23-dev
usr/lib/llvm-23/lib/clang/23/include/__clang_gpu_intrinsics.h libdevel/libclang-common-23-dev
.
75578a
usr/lib/llvm-23/include/mlir/Target/SPIRV/SPIRVExtInstSets.h libdevel/libmlir-23-dev
.
75490a
usr/lib/llvm-23/include/mlir/Support/Complex.h          libdevel/libmlir-23-dev
.
75395a
usr/lib/llvm-23/include/mlir/Interfaces/InferIntDivisibilityOpInterface.cpp.inc libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Interfaces/InferIntDivisibilityOpInterface.h libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Interfaces/InferIntDivisibilityOpInterface.h.inc libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Interfaces/InferIntDivisibilityOpInterface.td libdevel/libmlir-23-dev
.
75209a
usr/lib/llvm-23/include/mlir/Dialect/XeGPU/uArch/uArchCommon.h libdevel/libmlir-23-dev
.
75208a
usr/lib/llvm-23/include/mlir/Dialect/XeGPU/uArch/IntelGpuXe3.h libdevel/libmlir-23-dev
.
75128a
usr/lib/llvm-23/include/mlir/Dialect/Vector/Transforms/IndexedAccessOpInterfaceImpl.h libdevel/libmlir-23-dev
.
75042a
usr/lib/llvm-23/include/mlir/Dialect/Transform/Interfaces/TransformAttrInterfaces.cpp.inc libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Dialect/Transform/Interfaces/TransformAttrInterfaces.h.inc libdevel/libmlir-23-dev
.
74812a
usr/lib/llvm-23/include/mlir/Dialect/SPIRV/IR/SPIRVExperimentalMLOps.td libdevel/libmlir-23-dev
.
74671a
usr/lib/llvm-23/include/mlir/Dialect/OpenMP/Utils/Utils.h libdevel/libmlir-23-dev
.
74621a
usr/lib/llvm-23/include/mlir/Dialect/OpenACC/OpenACCUtilsType.h libdevel/libmlir-23-dev
.
74620a
usr/lib/llvm-23/include/mlir/Dialect/OpenACC/OpenACCUtilsReduction.h libdevel/libmlir-23-dev
.
74590a
usr/lib/llvm-23/include/mlir/Dialect/NVVM/Transforms/OptimizeForNVVM.h libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Dialect/NVVM/Transforms/Passes.h libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Dialect/NVVM/Transforms/Passes.h.inc libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Dialect/NVVM/Transforms/Passes.td libdevel/libmlir-23-dev
.
74582a
usr/lib/llvm-23/include/mlir/Dialect/NVGPU/Transforms/MemoryAccessOpInterfacesImpl.h libdevel/libmlir-23-dev
.
74382d
74374a
usr/lib/llvm-23/include/mlir/Dialect/LLVMIR/ROCDLOpsEnums.cpp.inc libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Dialect/LLVMIR/ROCDLOpsEnums.h.inc libdevel/libmlir-23-dev
.
74367a
usr/lib/llvm-23/include/mlir/Dialect/LLVMIR/ROCDLDialect.td libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Dialect/LLVMIR/ROCDLEnums.td libdevel/libmlir-23-dev
.
74365a
usr/lib/llvm-23/include/mlir/Dialect/LLVMIR/ROCDLAttrs.td libdevel/libmlir-23-dev
.
74349a
usr/lib/llvm-23/include/mlir/Dialect/LLVMIR/NVVMDialect.td libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/Dialect/LLVMIR/NVVMEnums.td libdevel/libmlir-23-dev
.
74250a
usr/lib/llvm-23/include/mlir/Dialect/GPU/Transforms/IndexedAccessOpInterfaceImpl.h libdevel/libmlir-23-dev
.
74125a
usr/lib/llvm-23/include/mlir/Dialect/Bufferization/Transforms/StaticMemoryPlanning.h libdevel/libmlir-23-dev
.
73927a
usr/lib/llvm-23/include/mlir/Dialect/AMDGPU/Utils/MemorySpaceUtils.h libdevel/libmlir-23-dev
.
73921a
usr/lib/llvm-23/include/mlir/Dialect/AMDGPU/Transforms/MemoryAccessOpInterfacesImpl.h libdevel/libmlir-23-dev
.
73880a
usr/lib/llvm-23/include/mlir/Conversion/TosaToSPIRVTosa/TosaToSPIRVTosa.h libdevel/libmlir-23-dev
.
73859a
usr/lib/llvm-23/include/mlir/Conversion/RaiseWasm/RaiseWasmMLIR.h libdevel/libmlir-23-dev
.
73824a
usr/lib/llvm-23/include/mlir/Conversion/LLVMCommon/LowerFunctionDiscardablesToLLVM.h libdevel/libmlir-23-dev
.
73805a
usr/lib/llvm-23/include/mlir/Conversion/EmitCCommon/TypeConverter.h libdevel/libmlir-23-dev
.
73757a
usr/lib/llvm-23/include/mlir/CAPI/IRMapping.h           libdevel/libmlir-23-dev
.
73755a
usr/lib/llvm-23/include/mlir/CAPI/Dominance.h           libdevel/libmlir-23-dev
.
73702a
usr/lib/llvm-23/include/mlir/Analysis/DataFlow/IntegerDivisibilityAnalysis.h libdevel/libmlir-23-dev
.
73695a
usr/lib/llvm-23/include/mlir/ABI/ABIRewriteContext.h    libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/ABI/ABITypeMapper.h        libdevel/libmlir-23-dev
usr/lib/llvm-23/include/mlir/ABI/Targets/Test/TestTarget.h libdevel/libmlir-23-dev
.
73683a
usr/lib/llvm-23/include/mlir-c/Dominance.h              libdevel/libmlir-23-dev
.
73590a
usr/lib/llvm-23/include/lldb/Utility/ValueType.h        libdevel/liblldb-23-dev
.
73561a
usr/lib/llvm-23/include/lldb/Utility/RegisterFlags.h    libdevel/liblldb-23-dev
usr/lib/llvm-23/include/lldb/Utility/RegisterInfo.h     libdevel/liblldb-23-dev
.
73557a
usr/lib/llvm-23/include/lldb/Utility/Policy.h           libdevel/liblldb-23-dev
.
73553a
usr/lib/llvm-23/include/lldb/Utility/Locked.h           libdevel/liblldb-23-dev
.
73539d
73521a
usr/lib/llvm-23/include/lldb/Utility/AcceleratorGDBRemotePackets.h libdevel/liblldb-23-dev
.
73471d
73462a
usr/lib/llvm-23/include/lldb/Target/ProcessIOHandler.h  libdevel/liblldb-23-dev
.
73454a
usr/lib/llvm-23/include/lldb/Target/MemoryRegionInfoCache.h libdevel/liblldb-23-dev
.
73391a
usr/lib/llvm-23/include/lldb/Protocol/MCP/Client.h      libdevel/liblldb-23-dev
.
73348d
73343a
usr/lib/llvm-23/include/lldb/Interpreter/Interfaces/ScriptedHookInterface.h libdevel/liblldb-23-dev
.
73325d
73318a
usr/lib/llvm-23/include/lldb/Host/windows/LazyImport.h  libdevel/liblldb-23-dev
.
73315a
usr/lib/llvm-23/include/lldb/Host/windows/DomainSocketWindows.h libdevel/liblldb-23-dev
usr/lib/llvm-23/include/lldb/Host/windows/FileWindows.h libdevel/liblldb-23-dev
.
73313a
usr/lib/llvm-23/include/lldb/Host/windows/ConPTYUtils.h libdevel/liblldb-23-dev
.
73304c
usr/lib/llvm-23/include/lldb/Host/posix/DomainSocketPosix.h libdevel/liblldb-23-dev
usr/lib/llvm-23/include/lldb/Host/posix/FilePosix.h     libdevel/liblldb-23-dev
.
73282a
usr/lib/llvm-23/include/lldb/Host/common/DomainSocket.h libdevel/liblldb-23-dev
.
73271a
usr/lib/llvm-23/include/lldb/Host/ScriptInterpreterRuntimeLoader.h libdevel/liblldb-23-dev
.
73241a
usr/lib/llvm-23/include/lldb/Host/FileBase.h            libdevel/liblldb-23-dev
.
73238a
usr/lib/llvm-23/include/lldb/Host/DomainSocket.h        libdevel/liblldb-23-dev
.
73159a
usr/lib/llvm-23/include/lldb/Core/Diagnostics.h         libdevel/liblldb-23-dev
.
73153a
usr/lib/llvm-23/include/lldb/Core/BugReporter.h         libdevel/liblldb-23-dev
.
73136a
usr/lib/llvm-23/include/lldb/Breakpoint/ScriptedBreakpointOverrideResolver.h libdevel/liblldb-23-dev
.
72997,73017d
72963a
usr/lib/llvm-23/include/flang/Semantics/omp-declare-variant.h libdevel/libflang-23-dev
.
72792a
usr/lib/llvm-23/include/flang/Optimizer/Dialect/FIRBoxUtils.h libdevel/libflang-23-dev
.
72771a
usr/lib/llvm-23/include/flang/Optimizer/Dialect/CUDAKernelOpInterface.cpp.inc libdevel/libflang-23-dev
usr/lib/llvm-23/include/flang/Optimizer/Dialect/CUDAKernelOpInterface.h libdevel/libflang-23-dev
usr/lib/llvm-23/include/flang/Optimizer/Dialect/CUDAKernelOpInterface.h.inc libdevel/libflang-23-dev
usr/lib/llvm-23/include/flang/Optimizer/Dialect/CUDAKernelOpInterface.td libdevel/libflang-23-dev
.
72735a
usr/lib/llvm-23/include/flang/Optimizer/Builder/OpenACCIntrinsicCall.h libdevel/libflang-23-dev
.
72734a
usr/lib/llvm-23/include/flang/Optimizer/Builder/MIFCommon.h libdevel/libflang-23-dev
.
72614a
usr/lib/llvm-23/include/flang/Common/fp-control.h       libdevel/libflang-23-dev
.
72327,72373c
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Analyses/CallGraph/CallGraphSummary.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevel.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Analyses/PointerFlow/PointerFlow.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Analyses/PointerFlow/PointerFlowAnalysis.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Analyses/PointerFlow/PointerFlowFormat.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Analyses/TypeConstrainedPointers/TypeConstrainedPointers.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsageAnalysis.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/BuiltinAnchorSources.def libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/ASTEntityMapping.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/EntityLinker/EntityLinker.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/EntityLinker/EntitySummaryEncoding.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/EntityLinker/LUSummary.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/EntityLinker/LUSummaryEncoding.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/EntityLinker/MultiArchSharedLibrary.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/EntityLinker/MultiArchStaticLibrary.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/EntityLinker/StaticLibrary.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/EntityLinker/TUSummaryEncoding.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Model/BuildNamespace.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Model/EntityId.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Model/EntityIdTable.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Model/EntityLinkage.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Model/EntityName.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Model/PrivateFieldNames.def libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Model/SummaryName.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Serialization/JSONFormat.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Serialization/SerializationFormat.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Serialization/SerializationFormatRegistry.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/SummaryData/LUSummaryConsumer.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryData.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryDataBuilder.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryDataBuilderRegistry.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryDataStore.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryDataTraits.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Support/ErrorBuilder.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/Support/FormatProviders.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/TUSummary/EntitySummary.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/TUSummary/ExtractorRegistry.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/TUSummary/TUSummary.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/TUSummary/TUSummaryBuilder.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/TUSummary/TUSummaryExtractor.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisBase.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisDriver.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisName.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisRegistry.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisResult.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisTraits.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/DerivedAnalysis.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/SummaryAnalysis.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/WPASuite.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Frontend/TUSummaryExtractorFrontendAction.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/SSAFBuiltinForceLinker.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/SSAFForceLinker.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/SourceTransformation/SARIFTransformationReportFormat.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/SourceTransformation/SourceEditEmitter.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/SourceTransformation/Transformation.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/SourceTransformation/TransformationRegistry.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/SourceTransformation/TransformationReportEmitter.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/SourceTransformation/YAMLSourceEditFormat.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/ScalableStaticAnalysis/Tool/Utils.h libdevel/libclang-23-dev
.
72305a
usr/lib/llvm-23/include/clang/Lex/TextEncoding.h        libdevel/libclang-23-dev
.
72289a
usr/lib/llvm-23/include/clang/Lex/MacroBase.h           libdevel/libclang-23-dev
.
72242a
usr/lib/llvm-23/include/clang/Frontend/SSAFOptions.h    libdevel/libclang-23-dev
.
72171a
usr/lib/llvm-23/include/clang/DependencyScanning/DependencyActionController.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/DependencyScanning/DependencyConsumer.h libdevel/libclang-23-dev
usr/lib/llvm-23/include/clang/DependencyScanning/DependencyGraph.h libdevel/libclang-23-dev
.
72166a
usr/lib/llvm-23/include/clang/CodeGen/ModuleLinker.h    libdevel/libclang-23-dev
.
72150a
usr/lib/llvm-23/include/clang/CIR/InitAllDialects.h     libdevel/libclang-23-dev
.
72149a
usr/lib/llvm-23/include/clang/CIR/Dialect/Transforms/CIRTransformUtils.h libdevel/libclang-23-dev
.
72099d
72062a
usr/lib/llvm-23/include/clang/Basic/OptionalUnsigned.h  libdevel/libclang-23-dev
.
72032d
71931a
usr/lib/llvm-23/include/clang/Basic/BuiltinsZOS.inc     libdevel/libclang-23-dev
.
71910a
usr/lib/llvm-23/include/clang/Basic/BuiltinsAVR.def     libdevel/libclang-23-dev
.
71889a
usr/lib/llvm-23/include/clang/Basic/AtomicLineLogger.h  libdevel/libclang-23-dev
.
71771a
usr/lib/llvm-23/include/clang/AST/SubobjectVisitor.h    libdevel/libclang-23-dev
.
71736a
usr/lib/llvm-23/include/clang/AST/MatrixUtils.h         libdevel/libclang-23-dev
.
71608a
usr/lib/llvm-23/include/clang-tidy/utils/CheckUtils.h   libdevel/libclang-23-dev
.
71599a
usr/lib/llvm-23/include/clang-tidy/readability/TrivialSwitchCheck.h libdevel/libclang-23-dev
.
71584a
usr/lib/llvm-23/include/clang-tidy/readability/RedundantNestedIfCheck.h libdevel/libclang-23-dev
.
71583a
usr/lib/llvm-23/include/clang-tidy/readability/RedundantLambdaParameterListCheck.h libdevel/libclang-23-dev
.
71443a
usr/lib/llvm-23/include/clang-tidy/misc/StaticInitializationCycleCheck.h libdevel/libclang-23-dev
.
71429a
usr/lib/llvm-23/include/clang-tidy/misc/ExplicitConstructorCheck.h libdevel/libclang-23-dev
.
71408a
usr/lib/llvm-23/include/clang-tidy/llvm/FormatvStringCheck.h libdevel/libclang-23-dev
.
71406,71407d
71395d
71336a
usr/lib/llvm-23/include/clang-tidy/bugprone/UnhandledCodePathsCheck.h libdevel/libclang-23-dev
.
71304a
usr/lib/llvm-23/include/clang-tidy/bugprone/SignedBitwiseCheck.h libdevel/libclang-23-dev
.
71284a
usr/lib/llvm-23/include/clang-tidy/bugprone/MissingEndComparisonCheck.h libdevel/libclang-23-dev
.
71154a
usr/lib/llvm-23/include/c++/v1/text_encoding            libdevel/libc++-23-dev
.
71104d
71094d
71066d
71019a
usr/lib/llvm-23/include/c++/v1/__vector/layout.h        libdevel/libc++-23-dev
.
70989a
usr/lib/llvm-23/include/c++/v1/__utility/constant_wrapper.h libdevel/libc++-23-dev
.
70956d
70952d
70935d
70932d
70881d
70838d
70836d
70811a
usr/lib/llvm-23/include/c++/v1/__ranges/stride_view.h   libdevel/libc++-23-dev
.
70792a
usr/lib/llvm-23/include/c++/v1/__ranges/enumerate_view.h libdevel/libc++-23-dev
.
70779a
usr/lib/llvm-23/include/c++/v1/__ranges/concat_view.h   libdevel/libc++-23-dev
.
70672a
usr/lib/llvm-23/include/c++/v1/__memory/uninitialized_multidimensional_algorithms.h libdevel/libc++-23-dev
.
70608a
usr/lib/llvm-23/include/c++/v1/__locale_dir/support/openbsd.h libdevel/libc++-23-dev
.
70607a
usr/lib/llvm-23/include/c++/v1/__locale_dir/support/no_locale/conversions.h libdevel/libc++-23-dev
usr/lib/llvm-23/include/c++/v1/__locale_dir/support/no_locale/formatting.h libdevel/libc++-23-dev
.
70604a
usr/lib/llvm-23/include/c++/v1/__locale_dir/support/llvm_libc.h libdevel/libc++-23-dev
.
70593d
69829a
usr/lib/llvm-23/include/c++/v1/__configuration/pstl.h   libdevel/libc++-23-dev
usr/lib/llvm-23/include/c++/v1/__configuration/utility.h libdevel/libc++-23-dev
.
69828a
usr/lib/llvm-23/include/c++/v1/__configuration/namespace.h libdevel/libc++-23-dev
.
69825a
usr/lib/llvm-23/include/c++/v1/__configuration/diagnostic_suppression.h libdevel/libc++-23-dev
.
69812a
usr/lib/llvm-23/include/c++/v1/__concepts/primary_template.h libdevel/libc++-23-dev
usr/lib/llvm-23/include/c++/v1/__concepts/referenceable.h libdevel/libc++-23-dev
.
69451a
usr/lib/llvm-23/bin/mlir-src-sharder                    devel/mlir-23-tools
.
69440a
usr/lib/llvm-23/bin/mlir-irdl-to-cpp                    devel/mlir-23-tools
.
69352c
usr/lib/llvm-23/bin/lldb-server-23.1.0                  devel/lldb-23
.
68849a
usr/lib/jni/libopencv_java500.so                        java/libopencv500-jni
.
66924a
usr/lib/debug/lib/modules/7.2-rt-arm64/kernel/drivers/regulator/qcom-refgen-regulator.ko debug/linux-image-7.2-rt-arm64-dbg
.
64533a
usr/lib/debug/lib/modules/7.2-rt-arm64/kernel/drivers/gpio/gpio-sim.ko debug/linux-image-7.2-rt-arm64-dbg
.
63131a
usr/lib/debug/lib/modules/7.2-cloud-arm64/kernel/drivers/gpio/gpio-sim.ko debug/linux-image-7.2-cloud-arm64-dbg
.
61444a
usr/lib/debug/lib/modules/7.2-arm64/kernel/drivers/regulator/qcom-refgen-regulator.ko debug/linux-image-7.2-arm64-dbg
.
59053a
usr/lib/debug/lib/modules/7.2-arm64/kernel/drivers/gpio/gpio-sim.ko debug/linux-image-7.2-arm64-dbg
.
57043a
usr/lib/debug/lib/modules/7.2-arm64-16k/kernel/drivers/regulator/qcom-refgen-regulator.ko debug/linux-image-7.2-arm64-16k-dbg
.
54655a
usr/lib/debug/lib/modules/7.2-arm64-16k/kernel/drivers/gpio/gpio-sim.ko debug/linux-image-7.2-arm64-16k-dbg
.
54130d
54116a
usr/lib/debug/.build-id/d6/02a4baa2cd0dc6f1cd075055a2f975720e0d42.debug debug/linux-image-7.2-arm64-16k-dbg
.
54113d
54110c
usr/lib/debug/.build-id/ce/73a31efb33977fc001c9faad7d4163a29dd358.debug debug/linux-image-7.2-cloud-arm64-dbg
.
54088a
usr/lib/debug/.build-id/86/20dc6ce83ea7b78f3d7bca325df263ceea998e.debug debug/linux-image-7.2-arm64-16k-dbg
.
54080a
usr/lib/debug/.build-id/6b/c3e9f988127d5c4f677d862fb8a364e9443437.debug debug/linux-image-7.2-cloud-arm64-dbg
.
54068a
usr/lib/debug/.build-id/4e/b62df12375701033d01314c225cc987e0cb1f1.debug debug/linux-image-7.2-rt-arm64-dbg
.
54067a
usr/lib/debug/.build-id/45/82c086a1114da1ea6f65a6046b5aec2edc4681.debug debug/linux-image-7.2-arm64-dbg
.
54064a
usr/lib/debug/.build-id/37/9968bafe22c05716d34eaaf7ed38eba0540f21.debug debug/linux-image-7.2-arm64-dbg
.
54063d
54061c
usr/lib/debug/.build-id/28/525bebf0abbceaf5e87542d2b56433c0e7c366.debug debug/linux-image-7.2-rt-arm64-dbg
.
54055d
54050d
54045d
53952,53953c
usr/lib/clang/23.1.0/include                            libdevel/libclang-common-23-dev
usr/lib/clang/23.1.0/lib                                libdevel/libclang-common-23-dev
.
52847d
52841,52842d
47403d
47400d
47385a
usr/lib/aarch64-linux-gnu/pkgconfig/pygobject-3.0.pc    python/python-gi-dev
.
47372a
usr/lib/aarch64-linux-gnu/pkgconfig/opencv5.pc          libdevel/libopencv-dev
.
47357a
usr/lib/aarch64-linux-gnu/pkgconfig/libzim.pc           libdevel/libzim-dev
.
43998,44386d
37718,43691c
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
.
34349,37665c
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
.
34280,34319d
33491,34235d
33035,33343d
31671,31978d
31653a
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
.
31504d
31500,31501d
31490d
31480,31481d
31226a
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
.
31205c
usr/lib/aarch64-linux-gnu/libomptarget.so.23.1          devel/liboffload-23
.
30998,30999c
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
.
30995,30996c
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
.
30372c
usr/lib/aarch64-linux-gnu/libclang-cpp.so.23.1          libs/libclang-cpp23
.
30287,30288c
usr/lib/aarch64-linux-gnu/libaquamarine.so.0.14.0       libs/libaquamarine13
usr/lib/aarch64-linux-gnu/libaquamarine.so.13           libs/libaquamarine13
.
30180,30181c
usr/lib/aarch64-linux-gnu/libLLVM.so.23.1               libs/libllvm23
usr/lib/aarch64-linux-gnu/libLLVMOffload.so.23.1        devel/liboffload-23
.
27147d
27068d
26173a
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
.
25174a
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
.
23814,23900d
22152a
usr/include/pygobject-3.0/pygobject-types.h             python/python-gi-dev
usr/include/pygobject-3.0/pygobject.h                   python/python-gi-dev
.
17744a
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
.
16725a
usr/include/llvm-23/llvm/Transforms/Vectorize/SandboxVectorizer/SandboxVectorizerIR.h devel/llvm-23-dev
usr/include/llvm-23/llvm/Transforms/Vectorize/SandboxVectorizer/SandboxVectorizerIRValues.def devel/llvm-23-dev
.
16724a
usr/include/llvm-23/llvm/Transforms/Vectorize/SandboxVectorizer/RegionWithScore.h devel/llvm-23-dev
.
16697c
usr/include/llvm-23/llvm/Transforms/Utils/TriggerCrashPass.h devel/llvm-23-dev
.
16693a
usr/include/llvm-23/llvm/Transforms/Utils/StripConvergenceIntrinsics.h devel/llvm-23-dev
.
16659a
usr/include/llvm-23/llvm/Transforms/Utils/LowerCommentStringPass.h devel/llvm-23-dev
.
16647a
usr/include/llvm-23/llvm/Transforms/Utils/KCFIHash.h    devel/llvm-23-dev
.
16611a
usr/include/llvm-23/llvm/Transforms/Utils/AssignGUID.h  devel/llvm-23-dev
.
16477a
usr/include/llvm-23/llvm/Transforms/IPO/Instrumentor.h  devel/llvm-23-dev
usr/include/llvm-23/llvm/Transforms/IPO/InstrumentorConfigFile.h devel/llvm-23-dev
usr/include/llvm-23/llvm/Transforms/IPO/InstrumentorRuntimeHelper.h devel/llvm-23-dev
usr/include/llvm-23/llvm/Transforms/IPO/InstrumentorStubPrinter.h devel/llvm-23-dev
usr/include/llvm-23/llvm/Transforms/IPO/InstrumentorUtils.h devel/llvm-23-dev
usr/include/llvm-23/llvm/Transforms/IPO/InstrumentorVariables.inc devel/llvm-23-dev
.
16405a
usr/include/llvm-23/llvm/TargetParser/TripleName.def    devel/llvm-23-dev
.
16386a
usr/include/llvm-23/llvm/TargetParser/AMDGPUTargetParser.h devel/llvm-23-dev
.
16314a
usr/include/llvm-23/llvm/Support/UndefPoison.h          devel/llvm-23-dev
.
16214,16217d
16148a
usr/include/llvm-23/llvm/Support/CHERICapabilityFormat.h devel/llvm-23-dev
.
16113a
usr/include/llvm-23/llvm/Support/AMDGPUObjLinkingInfo.h devel/llvm-23-dev
.
16109a
usr/include/llvm-23/llvm/SandboxIR/ValuesDefFilesList.def devel/llvm-23-dev
.
16053a
usr/include/llvm-23/llvm/ProfileData/ETMTraceDecoder.h  devel/llvm-23-dev
.
16016a
usr/include/llvm-23/llvm/ObjectYAML/ContiguousBlobAccumulator.h devel/llvm-23-dev
.
16011a
usr/include/llvm-23/llvm/ObjectYAML/BBAddrMapYAML.h     devel/llvm-23-dev
.
15973a
usr/include/llvm-23/llvm/Object/BBAddrMap.def           devel/llvm-23-dev
.
15832a
usr/include/llvm-23/llvm/MC/DXContainerInfo.h           devel/llvm-23-dev
.
15718a
usr/include/llvm-23/llvm/IR/IntrinsicsAVR.h             devel/llvm-23-dev
usr/include/llvm-23/llvm/IR/IntrinsicsAVR.td            devel/llvm-23-dev
.
15649a
usr/include/llvm-23/llvm/IR/BundleAttributes.def        devel/llvm-23-dev
usr/include/llvm-23/llvm/IR/BundleAttributes.h          devel/llvm-23-dev
.
15637a
usr/include/llvm-23/llvm/HTTP/HTTPClient.h              devel/llvm-23-dev
usr/include/llvm-23/llvm/HTTP/HTTPServer.h              devel/llvm-23-dev
usr/include/llvm-23/llvm/HTTP/StreamedHTTPResponseHandler.h devel/llvm-23-dev
.
15574a
usr/include/llvm-23/llvm/ExecutionEngine/Orc/SymbolLookupSet.h devel/llvm-23-dev
.
15525a
usr/include/llvm-23/llvm/ExecutionEngine/Orc/InProcessEPC.h devel/llvm-23-dev
.
15304a
usr/include/llvm-23/llvm/DebugInfo/LogicalView/Readers/LVIRReader.h devel/llvm-23-dev
.
15276a
usr/include/llvm-23/llvm/DebugInfo/GSYM/HeaderV2.h      devel/llvm-23-dev
.
15275a
usr/include/llvm-23/llvm/DebugInfo/GSYM/GsymReaderV1.h  devel/llvm-23-dev
usr/include/llvm-23/llvm/DebugInfo/GSYM/GsymReaderV2.h  devel/llvm-23-dev
usr/include/llvm-23/llvm/DebugInfo/GSYM/GsymTypes.h     devel/llvm-23-dev
.
15274a
usr/include/llvm-23/llvm/DebugInfo/GSYM/GsymCreatorV1.h devel/llvm-23-dev
usr/include/llvm-23/llvm/DebugInfo/GSYM/GsymCreatorV2.h devel/llvm-23-dev
usr/include/llvm-23/llvm/DebugInfo/GSYM/GsymDataExtractor.h devel/llvm-23-dev
.
15272a
usr/include/llvm-23/llvm/DebugInfo/GSYM/GlobalData.h    devel/llvm-23-dev
.
15161c
usr/include/llvm-23/llvm/DWP/ELFWriter.h                devel/llvm-23-dev
.
15124c
usr/include/llvm-23/llvm/CodeGen/WasmEHInfo.h           devel/llvm-23-dev
.
15101a
usr/include/llvm-23/llvm/CodeGen/StaticDataAnnotator.h  devel/llvm-23-dev
usr/include/llvm-23/llvm/CodeGen/StaticDataSplitter.h   devel/llvm-23-dev
.
15018a
usr/include/llvm-23/llvm/CodeGen/MachineStripDebug.h    devel/llvm-23-dev
.
14990a
usr/include/llvm-23/llvm/CodeGen/MachineIDFSSAUpdater.h devel/llvm-23-dev
.
14982a
usr/include/llvm-23/llvm/CodeGen/MachineDebugify.h      devel/llvm-23-dev
.
14977a
usr/include/llvm-23/llvm/CodeGen/MachineCheckDebugify.h devel/llvm-23-dev
.
14936a
usr/include/llvm-23/llvm/CodeGen/KCFI.h                 devel/llvm-23-dev
.
14911d
14854a
usr/include/llvm-23/llvm/CodeGen/BreakFalseDeps.h       devel/llvm-23-dev
.
14511a
usr/include/llvm-23/llvm/ADT/Eytzinger.h                devel/llvm-23-dev
.
14508a
usr/include/llvm-23/llvm/ADT/Enum.h                     devel/llvm-23-dev
.
14479a
usr/include/llvm-23/llvm/ABI/IRTypeMapper.h             devel/llvm-23-dev
usr/include/llvm-23/llvm/ABI/TargetInfo.h               devel/llvm-23-dev
.
13685a
usr/include/kokkos/traits/Kokkos_TeamHandleTrait.hpp    libdevel/libkokkos-dev
.
13652d
13568d
13561d
13533d
13526a
usr/include/kokkos/impl/Kokkos_RandomAccessIterator.hpp libdevel/libkokkos-dev
.
13469a
usr/include/kokkos/fwd/Kokkos_Fwd_NEXTSILICON.hpp       libdevel/libkokkos-dev
.
13438a
usr/include/kokkos/desul/atomics/cuda/cuda_cc7_asm_store_op.inc libdevel/libkokkos-dev
.
13437a
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
.
13427a
usr/include/kokkos/desul/atomics/cuda/CUDA_asm_loadstore.hpp libdevel/libkokkos-dev
.
13414a
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
.
13403a
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
.
13371a
usr/include/kokkos/decl/Kokkos_Declare_NEXTSILICON.hpp  libdevel/libkokkos-dev
.
13275a
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
.
13271d
13263d
13245d
13230a
usr/include/kokkos/Kokkos_Iterator.hpp                  libdevel/libkokkos-dev
.
8988c
usr/include/clang/23.1.0/include                        libdevel/libclang-common-23-dev
.
6571a
usr/include/aarch64-linux-gnu/opencv5/opencv2/cvconfig.h libdevel/libopencv-core-dev
.
3013,3014d
3008d
2889d
2662,2665d
2604d
2391d
2083d
2058a
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
.
1992d
1928a
usr/bin/mlir-src-sharder-23                             devel/mlir-23-tools
.
1917a
usr/bin/mlir-irdl-to-cpp-23                             devel/mlir-23-tools
.
1247d
1193,1194d
810a
etc/lldb/lldbinit                                       libs/liblldb-23
.
