Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

rocq-runtime-debuginfo-9.2.0-1.fc44 RPM for ppc64le

From Fedora 44 testing updates for ppc64le / debug / Packages / r

Name: rocq-runtime-debuginfo Distribution: Fedora Project
Version: 9.2.0 Vendor: Fedora Project
Release: 1.fc44 Build date: Fri Apr 17 22:05:14 2026
Group: Development/Debug Build host: buildvm-ppc64le-20.rdu3.fedoraproject.org
Size: 78279073 Source RPM: rocq-9.2.0-1.fc44.src.rpm
Packager: Fedora Project
Url: https://rocq-prover.org/
Summary: Debug information for package rocq-runtime
 
This package provides debug information for package rocq-runtime.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause

Changelog

* Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-1
  - Version 9.2.0
  - Drop upstreamed documentation patch
  - Enable the native compiler for x86_64
* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 9.1.1-1
  - Initial RPM

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/607d3a62344a93322ef7aa74751cabda44a664
/usr/lib/debug/.build-id/0a/607d3a62344a93322ef7aa74751cabda44a664.debug
/usr/lib/debug/.build-id/0a/8980f52b11d712049e71bced49eb937af69d39
/usr/lib/debug/.build-id/0a/8980f52b11d712049e71bced49eb937af69d39.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/710caf2f9b1e8dc610a14929d5ca857d895bb2
/usr/lib/debug/.build-id/1b/710caf2f9b1e8dc610a14929d5ca857d895bb2.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/c0749e549707f7043e801c9311ff26a5b93c0d
/usr/lib/debug/.build-id/1f/c0749e549707f7043e801c9311ff26a5b93c0d.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/686757f01eccdab7615d688d59cebfef919805
/usr/lib/debug/.build-id/21/686757f01eccdab7615d688d59cebfef919805.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/d642b301adfe3b621a8fefd5d883eb4034b2fd
/usr/lib/debug/.build-id/2d/d642b301adfe3b621a8fefd5d883eb4034b2fd.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/a8fe9b4e9aaf1aa001865b6333465dd756f2bd
/usr/lib/debug/.build-id/33/a8fe9b4e9aaf1aa001865b6333465dd756f2bd.debug
/usr/lib/debug/.build-id/33/fe0909f2bb9899acce0606e0e3f51591b80964
/usr/lib/debug/.build-id/33/fe0909f2bb9899acce0606e0e3f51591b80964.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/ddbb2940b072644e56480c1ce182927ec9be35
/usr/lib/debug/.build-id/3b/ddbb2940b072644e56480c1ce182927ec9be35.debug
/usr/lib/debug/.build-id/3f
/usr/lib/debug/.build-id/3f/1fce0f542e0c6b9710e8a43fa61d6114e7e298
/usr/lib/debug/.build-id/3f/1fce0f542e0c6b9710e8a43fa61d6114e7e298.debug
/usr/lib/debug/.build-id/3f/3906cfe4d0b636c1fe42bac759b18bb4fba357
/usr/lib/debug/.build-id/3f/3906cfe4d0b636c1fe42bac759b18bb4fba357.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/7cdfd48f749dbaaadc776a6d64eda662dac9da
/usr/lib/debug/.build-id/44/7cdfd48f749dbaaadc776a6d64eda662dac9da.debug
/usr/lib/debug/.build-id/44/7f5202b159b2c00cb7193b261d8927938f327a
/usr/lib/debug/.build-id/44/7f5202b159b2c00cb7193b261d8927938f327a.debug
/usr/lib/debug/.build-id/44/e6951c67dc8e0cc139a7dfa48cb4cef0ed1f73
/usr/lib/debug/.build-id/44/e6951c67dc8e0cc139a7dfa48cb4cef0ed1f73.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/0c5caffbaecdcd46c649134637e5d9999e11f8
/usr/lib/debug/.build-id/48/0c5caffbaecdcd46c649134637e5d9999e11f8.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/a81cbf7c18857c980ca935f27dcba00e627c2f
/usr/lib/debug/.build-id/49/a81cbf7c18857c980ca935f27dcba00e627c2f.debug
/usr/lib/debug/.build-id/53
/usr/lib/debug/.build-id/53/e762fcf9839b877397d884fd25a8ec8a7c6938
/usr/lib/debug/.build-id/53/e762fcf9839b877397d884fd25a8ec8a7c6938.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/c3a6ef93e589a053099ba067f213846af78447
/usr/lib/debug/.build-id/5b/c3a6ef93e589a053099ba067f213846af78447.debug
/usr/lib/debug/.build-id/5d
/usr/lib/debug/.build-id/5d/eee140c3855d75b996ae2cf94f6f5174a81872
/usr/lib/debug/.build-id/5d/eee140c3855d75b996ae2cf94f6f5174a81872.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/c102f4f3e4c4c10b6053ea1a77f2280d711c41
/usr/lib/debug/.build-id/5f/c102f4f3e4c4c10b6053ea1a77f2280d711c41.debug
/usr/lib/debug/.build-id/68
/usr/lib/debug/.build-id/68/4056c33d31f5d309f8559626de75440bf72880
/usr/lib/debug/.build-id/68/4056c33d31f5d309f8559626de75440bf72880.debug
/usr/lib/debug/.build-id/68/bdf6c405841e735718e1adc7043b6a6785755b
/usr/lib/debug/.build-id/68/bdf6c405841e735718e1adc7043b6a6785755b.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/87c10ef85cac2e47d09a6597f74a9eaad525a6
/usr/lib/debug/.build-id/69/87c10ef85cac2e47d09a6597f74a9eaad525a6.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/cc0eafa85fea0a8d8ebf1d749d7df01532c245
/usr/lib/debug/.build-id/70/cc0eafa85fea0a8d8ebf1d749d7df01532c245.debug
/usr/lib/debug/.build-id/71
/usr/lib/debug/.build-id/71/edd0bb704e0501dcc081cbc37b78ad2e9d3cc1
/usr/lib/debug/.build-id/71/edd0bb704e0501dcc081cbc37b78ad2e9d3cc1.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/0d6a91fe1b7c1daee3f2a61ecfb9c34e65956f
/usr/lib/debug/.build-id/73/0d6a91fe1b7c1daee3f2a61ecfb9c34e65956f.debug
/usr/lib/debug/.build-id/7d
/usr/lib/debug/.build-id/7d/4cfb507dd11f938e4fd774a2160dcae1ecd06b
/usr/lib/debug/.build-id/7d/4cfb507dd11f938e4fd774a2160dcae1ecd06b.debug
/usr/lib/debug/.build-id/81
/usr/lib/debug/.build-id/81/4f2eb51d0a454c11d5543a369146cc59f83827
/usr/lib/debug/.build-id/81/4f2eb51d0a454c11d5543a369146cc59f83827.debug
/usr/lib/debug/.build-id/82
/usr/lib/debug/.build-id/82/3cd1ec7b1b38e96a760db0ded22666e669945f
/usr/lib/debug/.build-id/82/3cd1ec7b1b38e96a760db0ded22666e669945f.debug
/usr/lib/debug/.build-id/86
/usr/lib/debug/.build-id/86/0caeb9fa4c483fe3cbf52945492c4d5d2898c1
/usr/lib/debug/.build-id/86/0caeb9fa4c483fe3cbf52945492c4d5d2898c1.debug
/usr/lib/debug/.build-id/88
/usr/lib/debug/.build-id/88/c3f50748f39853d03e7cc0e7e3cd124ad072df
/usr/lib/debug/.build-id/88/c3f50748f39853d03e7cc0e7e3cd124ad072df.debug
/usr/lib/debug/.build-id/8d
/usr/lib/debug/.build-id/8d/4509ece3f7286fd4d6ca5184216d439ce39e6c
/usr/lib/debug/.build-id/8d/4509ece3f7286fd4d6ca5184216d439ce39e6c.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/8f0ee83c284a70c15b862e17c8c59544568e72
/usr/lib/debug/.build-id/94/8f0ee83c284a70c15b862e17c8c59544568e72.debug
/usr/lib/debug/.build-id/a0
/usr/lib/debug/.build-id/a0/a22970a7cda1ac3e79ce26eb7b109643797eda
/usr/lib/debug/.build-id/a0/a22970a7cda1ac3e79ce26eb7b109643797eda.debug
/usr/lib/debug/.build-id/a1
/usr/lib/debug/.build-id/a1/219733c3bd5e682f31c5278b840ec8f0dee0b2
/usr/lib/debug/.build-id/a1/219733c3bd5e682f31c5278b840ec8f0dee0b2.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/09fffa421686e38dcc51828d31c765a68908a7
/usr/lib/debug/.build-id/a2/09fffa421686e38dcc51828d31c765a68908a7.debug
/usr/lib/debug/.build-id/a3
/usr/lib/debug/.build-id/a3/68d89bb045e3ae1bb28d2f16fae3981283ea6c
/usr/lib/debug/.build-id/a3/68d89bb045e3ae1bb28d2f16fae3981283ea6c.debug
/usr/lib/debug/.build-id/a4
/usr/lib/debug/.build-id/a4/b2e76fd8aea88a506f42789c01b7e764feb71f
/usr/lib/debug/.build-id/a4/b2e76fd8aea88a506f42789c01b7e764feb71f.debug
/usr/lib/debug/.build-id/a6
/usr/lib/debug/.build-id/a6/ef2780fc65a9a88ac0768ac05dc1168654ba26
/usr/lib/debug/.build-id/a6/ef2780fc65a9a88ac0768ac05dc1168654ba26.debug
/usr/lib/debug/.build-id/ab
/usr/lib/debug/.build-id/ab/7eb2c3f647fd2ecbd51c6bfb2c1ae9053d1a00
/usr/lib/debug/.build-id/ab/7eb2c3f647fd2ecbd51c6bfb2c1ae9053d1a00.debug
/usr/lib/debug/.build-id/ad
/usr/lib/debug/.build-id/ad/ab3f87342134a2eb245fe6c818273b1bfb296e
/usr/lib/debug/.build-id/ad/ab3f87342134a2eb245fe6c818273b1bfb296e.debug
/usr/lib/debug/.build-id/b0
/usr/lib/debug/.build-id/b0/2498e0480f0e4317279b8d9e8a85703a82a9cc
/usr/lib/debug/.build-id/b0/2498e0480f0e4317279b8d9e8a85703a82a9cc.debug
/usr/lib/debug/.build-id/b0/98eb0a730cec5406c882c7091e393b328ba628
/usr/lib/debug/.build-id/b0/98eb0a730cec5406c882c7091e393b328ba628.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/b59f04e18ccd151c7726d76baaad7ab5041372
/usr/lib/debug/.build-id/b1/b59f04e18ccd151c7726d76baaad7ab5041372.debug
/usr/lib/debug/.build-id/b6
/usr/lib/debug/.build-id/b6/8d5e50102109fd988e1a3f103e538ef6ec3093
/usr/lib/debug/.build-id/b6/8d5e50102109fd988e1a3f103e538ef6ec3093.debug
/usr/lib/debug/.build-id/b8
/usr/lib/debug/.build-id/b8/b53974d8d9fb0c52b1504e2111b11bce686071
/usr/lib/debug/.build-id/b8/b53974d8d9fb0c52b1504e2111b11bce686071.debug
/usr/lib/debug/.build-id/b9
/usr/lib/debug/.build-id/b9/7c588feb30834a413a794f575367a28fb95181
/usr/lib/debug/.build-id/b9/7c588feb30834a413a794f575367a28fb95181.debug
/usr/lib/debug/.build-id/bf
/usr/lib/debug/.build-id/bf/f0720f55f011074fcb5594efb2d91c11132522
/usr/lib/debug/.build-id/bf/f0720f55f011074fcb5594efb2d91c11132522.debug
/usr/lib/debug/.build-id/c6
/usr/lib/debug/.build-id/c6/8154541b1059ef78f43f857fbb5b510d733d05
/usr/lib/debug/.build-id/c6/8154541b1059ef78f43f857fbb5b510d733d05.debug
/usr/lib/debug/.build-id/c8
/usr/lib/debug/.build-id/c8/a9f27b0d7a03ea9ec8895cf048c4a184dd5ffe
/usr/lib/debug/.build-id/c8/a9f27b0d7a03ea9ec8895cf048c4a184dd5ffe.debug
/usr/lib/debug/.build-id/c8/fde65b1dc77b185234aed0eca9867ad58adb62
/usr/lib/debug/.build-id/c8/fde65b1dc77b185234aed0eca9867ad58adb62.debug
/usr/lib/debug/.build-id/ca
/usr/lib/debug/.build-id/ca/2cd370f0309d58d6733fd04620c5bbd70ddc74
/usr/lib/debug/.build-id/ca/2cd370f0309d58d6733fd04620c5bbd70ddc74.debug
/usr/lib/debug/.build-id/d0
/usr/lib/debug/.build-id/d0/2b49b34554714a9ca0aec4a6b623e6dabd6427
/usr/lib/debug/.build-id/d0/2b49b34554714a9ca0aec4a6b623e6dabd6427.debug
/usr/lib/debug/.build-id/d6
/usr/lib/debug/.build-id/d6/7aee2bb27aedda3e0931c9afbdc2b08b43eb7f
/usr/lib/debug/.build-id/d6/7aee2bb27aedda3e0931c9afbdc2b08b43eb7f.debug
/usr/lib/debug/.build-id/db
/usr/lib/debug/.build-id/db/b720179ff02342ba4f21989ae34f6324034893
/usr/lib/debug/.build-id/db/b720179ff02342ba4f21989ae34f6324034893.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/eab16e34996eb59bf28ccf025b6d8a241a24ce
/usr/lib/debug/.build-id/dd/eab16e34996eb59bf28ccf025b6d8a241a24ce.debug
/usr/lib/debug/.build-id/df
/usr/lib/debug/.build-id/df/2d67edb7c5e72afe6f163edffd9970ea3343ed
/usr/lib/debug/.build-id/df/2d67edb7c5e72afe6f163edffd9970ea3343ed.debug
/usr/lib/debug/.build-id/e2
/usr/lib/debug/.build-id/e2/754f8be1cc270281563ad6072a7e8a29ca6acf
/usr/lib/debug/.build-id/e2/754f8be1cc270281563ad6072a7e8a29ca6acf.debug
/usr/lib/debug/.build-id/ea
/usr/lib/debug/.build-id/ea/6ab2d88cf091e3307b456b1a92461a45f00538
/usr/lib/debug/.build-id/ea/6ab2d88cf091e3307b456b1a92461a45f00538.debug
/usr/lib/debug/.build-id/ee
/usr/lib/debug/.build-id/ee/044e647ae2e8feb6f997815b74e0b4e2bd4af5
/usr/lib/debug/.build-id/ee/044e647ae2e8feb6f997815b74e0b4e2bd4af5.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/1d003ac87dbf68bde5b19210f86580957a84d0
/usr/lib/debug/.build-id/f4/1d003ac87dbf68bde5b19210f86580957a84d0.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/db229b10e1077f117c3d11d0bb3763fdc995d1
/usr/lib/debug/.build-id/fb/db229b10e1077f117c3d11d0bb3763fdc995d1.debug
/usr/lib/debug/.build-id/fe
/usr/lib/debug/.build-id/fe/99ecf785f22a6e068f36aebb873c5c6460ea10
/usr/lib/debug/.build-id/fe/99ecf785f22a6e068f36aebb873c5c6460ea10.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/rocq-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/rocqchk-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/votour-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/boot
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/boot/boot.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/checklib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/checklib/coq_checklib.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/clib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/clib/clib.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/config
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/config/config.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqargs
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqargs/coqargs.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqdeplib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqdeplib/coqdeplib.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqworkmgrapi
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqworkmgrapi/coqworkmgrApi.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/debugger_support
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/debugger_support/debugger_support.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/dev
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/dev/dev.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/engine
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/engine/engine.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/gramlib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/gramlib/gramlib.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/interp
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/interp/interp.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/kernel
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/kernel/kernel.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/lib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/lib/lib.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/library
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/library/library.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/parsing
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/parsing/parsing.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/perf
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/perf/coqperf.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/btauto
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/btauto/btauto_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/cc
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/cc/cc_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/cc_core
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/cc_core/cc_core_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/derive
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/derive/derive_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/extraction
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/extraction/extraction_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/firstorder
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/firstorder/firstorder_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/firstorder_core
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/firstorder_core/firstorder_core_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/funind
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/funind/funind_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ltac
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ltac/ltac_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ltac2
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ltac2/ltac2_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ltac2_ltac1
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ltac2_ltac1/ltac2_ltac1_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/micromega
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/micromega/micromega_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/micromega_core
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/micromega_core/micromega_core_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/nsatz
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/nsatz/nsatz_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/nsatz_core
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/nsatz_core/nsatz_core_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/number_string_notation
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/number_string_notation/number_string_notation_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ring
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ring/ring_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/rtauto
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/rtauto/rtauto_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ssreflect
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ssreflect/ssreflect_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ssrmatching
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ssrmatching/ssrmatching_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tauto
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tauto/tauto_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p0
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p0/tuto0_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p1
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p1/tuto1_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p2
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p2/tuto2_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p3
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p3/tuto3_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p4
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p4/tuto4_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/zify
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/zify/zify_plugin.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/pretyping
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/pretyping/pretyping.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/printing
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/printing/printing.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/proofs
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/proofs/proofs.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqshim
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqshim/rocqshim.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/stm
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/stm/stm.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/sysinit
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/sysinit/sysinit.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/tactics
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/tactics/tactics.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/toplevel
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/toplevel/toplevel.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vernac
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vernac/vernac.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vm
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vm/coqrun.cmxs-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.2.0-1.fc44.ppc64le.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 21 02:33:52 2026