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

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

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

Name: rocq-runtime-debuginfo Distribution: Fedora Project
Version: 9.1.1 Vendor: Fedora Project
Release: 1.fc44 Build date: Fri Mar 20 20:31:55 2026
Group: Development/Debug Build host: buildvm-ppc64le-19.rdu3.fedoraproject.org
Size: 77402849 Source RPM: rocq-9.1.1-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

* 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/01
/usr/lib/debug/.build-id/01/207260bdafbe20c91b8288cc4eee75b625553e
/usr/lib/debug/.build-id/01/207260bdafbe20c91b8288cc4eee75b625553e.debug
/usr/lib/debug/.build-id/08
/usr/lib/debug/.build-id/08/a2708bdec59bc5781b74daf4bb2b3f8eda4fda
/usr/lib/debug/.build-id/08/a2708bdec59bc5781b74daf4bb2b3f8eda4fda.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/13a74e06c1c50ffd4948ded3f7734725c29830
/usr/lib/debug/.build-id/10/13a74e06c1c50ffd4948ded3f7734725c29830.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/6e8c599fde52657c667ef6a1e419950cb1e9ce
/usr/lib/debug/.build-id/14/6e8c599fde52657c667ef6a1e419950cb1e9ce.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/7b6f8d380b6f04cd624699e5917d77a07a4ca3
/usr/lib/debug/.build-id/1a/7b6f8d380b6f04cd624699e5917d77a07a4ca3.debug
/usr/lib/debug/.build-id/1c
/usr/lib/debug/.build-id/1c/a1e7e1485c4f869c0ebcebd6d55c948a02ad6e
/usr/lib/debug/.build-id/1c/a1e7e1485c4f869c0ebcebd6d55c948a02ad6e.debug
/usr/lib/debug/.build-id/24
/usr/lib/debug/.build-id/24/672fa88c5c70a46fd636767e524fd0042e71a7
/usr/lib/debug/.build-id/24/672fa88c5c70a46fd636767e524fd0042e71a7.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/915a0e30a7289f88b2f66707adb138c838a832
/usr/lib/debug/.build-id/27/915a0e30a7289f88b2f66707adb138c838a832.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/27a52be3108667121713f049cb36d4af46176c
/usr/lib/debug/.build-id/29/27a52be3108667121713f049cb36d4af46176c.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/8913034a058905c64ec9b3552ca7eb46051baa
/usr/lib/debug/.build-id/2a/8913034a058905c64ec9b3552ca7eb46051baa.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/25a2b7bd479f54c46db692a3f56c7545bc324d
/usr/lib/debug/.build-id/2e/25a2b7bd479f54c46db692a3f56c7545bc324d.debug
/usr/lib/debug/.build-id/3c
/usr/lib/debug/.build-id/3c/11b799e0c85c3588f4576a07bada9d2b1ff723
/usr/lib/debug/.build-id/3c/11b799e0c85c3588f4576a07bada9d2b1ff723.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/5f63c64006af84735d2fdc7112c035da26aee8
/usr/lib/debug/.build-id/49/5f63c64006af84735d2fdc7112c035da26aee8.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/e316c04a52bbf2f9a13c24405c5020f0a94364
/usr/lib/debug/.build-id/4c/e316c04a52bbf2f9a13c24405c5020f0a94364.debug
/usr/lib/debug/.build-id/52
/usr/lib/debug/.build-id/52/556aad7966b07ae0646074abd4e18ab4a5d1f7
/usr/lib/debug/.build-id/52/556aad7966b07ae0646074abd4e18ab4a5d1f7.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/fe0b8de0eeb2851d52d706174b4edf79503fdd
/usr/lib/debug/.build-id/5b/fe0b8de0eeb2851d52d706174b4edf79503fdd.debug
/usr/lib/debug/.build-id/5e
/usr/lib/debug/.build-id/5e/66ba472f421ee1e7235b5ccbd14b168a9d1b7d
/usr/lib/debug/.build-id/5e/66ba472f421ee1e7235b5ccbd14b168a9d1b7d.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/b0bf762518ce48f87e4f4de7ab2794f4b4ccb7
/usr/lib/debug/.build-id/61/b0bf762518ce48f87e4f4de7ab2794f4b4ccb7.debug
/usr/lib/debug/.build-id/62
/usr/lib/debug/.build-id/62/fb8a0affee3a464804ba721eb3237b6520fbd8
/usr/lib/debug/.build-id/62/fb8a0affee3a464804ba721eb3237b6520fbd8.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/d7a6e56aa5b43a07986964694a25a0f4f2e64d
/usr/lib/debug/.build-id/63/d7a6e56aa5b43a07986964694a25a0f4f2e64d.debug
/usr/lib/debug/.build-id/64
/usr/lib/debug/.build-id/64/e561831b1e029111c954f9d81587c80092b327
/usr/lib/debug/.build-id/64/e561831b1e029111c954f9d81587c80092b327.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/c3d6b96e30753413af82be832597abed151314
/usr/lib/debug/.build-id/69/c3d6b96e30753413af82be832597abed151314.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/5b3ebdbd53fc446f62ae5f73cfbb26a1a3f023
/usr/lib/debug/.build-id/74/5b3ebdbd53fc446f62ae5f73cfbb26a1a3f023.debug
/usr/lib/debug/.build-id/7d
/usr/lib/debug/.build-id/7d/3b169c95d871f11a700c9caa68c9a56eeef1d7
/usr/lib/debug/.build-id/7d/3b169c95d871f11a700c9caa68c9a56eeef1d7.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/6807669f4f1914cc071caae045caac1474f0e2
/usr/lib/debug/.build-id/84/6807669f4f1914cc071caae045caac1474f0e2.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/05370b4f33c3babb00581434c0d000a8c97e47
/usr/lib/debug/.build-id/85/05370b4f33c3babb00581434c0d000a8c97e47.debug
/usr/lib/debug/.build-id/86
/usr/lib/debug/.build-id/86/0a63d34783128af46ba0163bdce6b6b2544320
/usr/lib/debug/.build-id/86/0a63d34783128af46ba0163bdce6b6b2544320.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/883b5476acaf67e42e3030eee1d3acaa80649a
/usr/lib/debug/.build-id/87/883b5476acaf67e42e3030eee1d3acaa80649a.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/c8a12cceb44b32ae07cf20ff8c90a760157686
/usr/lib/debug/.build-id/94/c8a12cceb44b32ae07cf20ff8c90a760157686.debug
/usr/lib/debug/.build-id/9a
/usr/lib/debug/.build-id/9a/af31c7712c12deb4388de22233315f22c9ef01
/usr/lib/debug/.build-id/9a/af31c7712c12deb4388de22233315f22c9ef01.debug
/usr/lib/debug/.build-id/9d
/usr/lib/debug/.build-id/9d/789d149a7ff826c97845c2dd98d01e65f6fadb
/usr/lib/debug/.build-id/9d/789d149a7ff826c97845c2dd98d01e65f6fadb.debug
/usr/lib/debug/.build-id/9f
/usr/lib/debug/.build-id/9f/e461f0f746313e39c3f57966ee5099fd78b771
/usr/lib/debug/.build-id/9f/e461f0f746313e39c3f57966ee5099fd78b771.debug
/usr/lib/debug/.build-id/a0
/usr/lib/debug/.build-id/a0/5a0628c73aaa575fb3f3fced960182894ed084
/usr/lib/debug/.build-id/a0/5a0628c73aaa575fb3f3fced960182894ed084.debug
/usr/lib/debug/.build-id/a6
/usr/lib/debug/.build-id/a6/1febd427a771e360fbf581edea4e5e357e73f8
/usr/lib/debug/.build-id/a6/1febd427a771e360fbf581edea4e5e357e73f8.debug
/usr/lib/debug/.build-id/aa
/usr/lib/debug/.build-id/aa/cdf0b7ce1a821363e7ee3eae4aead927174c74
/usr/lib/debug/.build-id/aa/cdf0b7ce1a821363e7ee3eae4aead927174c74.debug
/usr/lib/debug/.build-id/af
/usr/lib/debug/.build-id/af/9263289b2f13e5e8ee17d25ec21f5176df098b
/usr/lib/debug/.build-id/af/9263289b2f13e5e8ee17d25ec21f5176df098b.debug
/usr/lib/debug/.build-id/af/971f73ea8d76c9cb0a1aa37efb27499ed7ebc6
/usr/lib/debug/.build-id/af/971f73ea8d76c9cb0a1aa37efb27499ed7ebc6.debug
/usr/lib/debug/.build-id/b0
/usr/lib/debug/.build-id/b0/9c8d09ed44d82e0e9ec6d12470d4f7baf74ce9
/usr/lib/debug/.build-id/b0/9c8d09ed44d82e0e9ec6d12470d4f7baf74ce9.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/f05255539254c13dadedf93ca419fc0b6c2eeb
/usr/lib/debug/.build-id/b1/f05255539254c13dadedf93ca419fc0b6c2eeb.debug
/usr/lib/debug/.build-id/b2
/usr/lib/debug/.build-id/b2/54afeaaddcc380f434cac184c567f575ecec11
/usr/lib/debug/.build-id/b2/54afeaaddcc380f434cac184c567f575ecec11.debug
/usr/lib/debug/.build-id/b4
/usr/lib/debug/.build-id/b4/1bae501382e19c4822d191171a5bc876ca7d49
/usr/lib/debug/.build-id/b4/1bae501382e19c4822d191171a5bc876ca7d49.debug
/usr/lib/debug/.build-id/b8
/usr/lib/debug/.build-id/b8/044cb3dbc8537223d66319abdb7b66e10f5cbf
/usr/lib/debug/.build-id/b8/044cb3dbc8537223d66319abdb7b66e10f5cbf.debug
/usr/lib/debug/.build-id/ba
/usr/lib/debug/.build-id/ba/67efd2735170d4e2f21ea9b92b31bf7aeef23d
/usr/lib/debug/.build-id/ba/67efd2735170d4e2f21ea9b92b31bf7aeef23d.debug
/usr/lib/debug/.build-id/ba/77a25b5c4bdf6cbaaaeb03a93e00b7fe1003bc
/usr/lib/debug/.build-id/ba/77a25b5c4bdf6cbaaaeb03a93e00b7fe1003bc.debug
/usr/lib/debug/.build-id/c3
/usr/lib/debug/.build-id/c3/a01d3daf4e66c0e14a6f02b2e7043c010c6655
/usr/lib/debug/.build-id/c3/a01d3daf4e66c0e14a6f02b2e7043c010c6655.debug
/usr/lib/debug/.build-id/c8
/usr/lib/debug/.build-id/c8/300dad2c11f64d699e04e617c62e72ef004852
/usr/lib/debug/.build-id/c8/300dad2c11f64d699e04e617c62e72ef004852.debug
/usr/lib/debug/.build-id/cd
/usr/lib/debug/.build-id/cd/ff2aa241d25b158a0002ef42b6dc0226b3bfec
/usr/lib/debug/.build-id/cd/ff2aa241d25b158a0002ef42b6dc0226b3bfec.debug
/usr/lib/debug/.build-id/cf
/usr/lib/debug/.build-id/cf/db795713d8a8aaa9e46b6c05a3fb9c0bd675df
/usr/lib/debug/.build-id/cf/db795713d8a8aaa9e46b6c05a3fb9c0bd675df.debug
/usr/lib/debug/.build-id/d2
/usr/lib/debug/.build-id/d2/4fdcabb93ca37eff41607ee5d4415a798d88ee
/usr/lib/debug/.build-id/d2/4fdcabb93ca37eff41607ee5d4415a798d88ee.debug
/usr/lib/debug/.build-id/d2/cf763776d9a1941c86a6ee6d080c0478bd1945
/usr/lib/debug/.build-id/d2/cf763776d9a1941c86a6ee6d080c0478bd1945.debug
/usr/lib/debug/.build-id/d3
/usr/lib/debug/.build-id/d3/11a94b9d80313e3297c657316605eb974f623f
/usr/lib/debug/.build-id/d3/11a94b9d80313e3297c657316605eb974f623f.debug
/usr/lib/debug/.build-id/d3/2c0abdd24104da232fa41813a168d934fd1acd
/usr/lib/debug/.build-id/d3/2c0abdd24104da232fa41813a168d934fd1acd.debug
/usr/lib/debug/.build-id/d3/545e8d64fb6ec39d34cca46b438cb9bae25680
/usr/lib/debug/.build-id/d3/545e8d64fb6ec39d34cca46b438cb9bae25680.debug
/usr/lib/debug/.build-id/d3/7c432b8f90b76430e649fb58e2a5506a1e4f55
/usr/lib/debug/.build-id/d3/7c432b8f90b76430e649fb58e2a5506a1e4f55.debug
/usr/lib/debug/.build-id/d9
/usr/lib/debug/.build-id/d9/dff449fa2cdc8304785da8bdf2bb76aaa591d4
/usr/lib/debug/.build-id/d9/dff449fa2cdc8304785da8bdf2bb76aaa591d4.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/98e41e223113d9169a819c2ba9e3260d0d0a4b
/usr/lib/debug/.build-id/dd/98e41e223113d9169a819c2ba9e3260d0d0a4b.debug
/usr/lib/debug/.build-id/e2
/usr/lib/debug/.build-id/e2/0c467845106581d118d1798b0495371ee75a36
/usr/lib/debug/.build-id/e2/0c467845106581d118d1798b0495371ee75a36.debug
/usr/lib/debug/.build-id/e7
/usr/lib/debug/.build-id/e7/66b034db1507011639a58fd365e3bb119f0574
/usr/lib/debug/.build-id/e7/66b034db1507011639a58fd365e3bb119f0574.debug
/usr/lib/debug/.build-id/e8
/usr/lib/debug/.build-id/e8/1a75b131c2f408442256d11277c3dab6c26f20
/usr/lib/debug/.build-id/e8/1a75b131c2f408442256d11277c3dab6c26f20.debug
/usr/lib/debug/.build-id/e9
/usr/lib/debug/.build-id/e9/a770d38949ead7e2d0289570a59b8fb2394c3e
/usr/lib/debug/.build-id/e9/a770d38949ead7e2d0289570a59b8fb2394c3e.debug
/usr/lib/debug/.build-id/eb
/usr/lib/debug/.build-id/eb/a0773fcbda0910a0ba3ff81711a4ef131b99cc
/usr/lib/debug/.build-id/eb/a0773fcbda0910a0ba3ff81711a4ef131b99cc.debug
/usr/lib/debug/.build-id/f7
/usr/lib/debug/.build-id/f7/581f00c8c20d023d064484196443e784613940
/usr/lib/debug/.build-id/f7/581f00c8c20d023d064484196443e784613940.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/c93c1f79b187addb5a144aeff41a18f1a30635
/usr/lib/debug/.build-id/fd/c93c1f79b187addb5a144aeff41a18f1a30635.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.1.1-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.1.1-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/rocq-9.1.1-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/rocqchk-9.1.1-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/votour-9.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.1.1-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.1.1-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-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.1.1-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.1.1-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.1.1-1.fc44.ppc64le.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 1 01:40:57 2026