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

rocq-runtime-debuginfo-9.3.0-2.fc45 RPM for ppc64le

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

Name: rocq-runtime-debuginfo Distribution: Fedora Project
Version: 9.3.0 Vendor: Fedora Project
Release: 2.fc45 Build date: Sat Oct 3 16:56:59 2026
Group: Development/Debug Build host: buildvm-ppc64le-14.rdu3.fedoraproject.org
Size: 55968241 Source RPM: rocq-9.3.0-2.fc45.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

* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-2
  - Disable native compilation for aarch64
* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-1
  - Version 9.3.0
  - Drop upstreamed dune patch
* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 9.2.0-4
  - OCaml 5.5.1 rebuild
* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 9.2.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-2
  - OCaml 5.5.0 rebuild
  - Add patch to adapt to dune 3.24
  - Fix rocq.xml
* 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/04
/usr/lib/debug/.build-id/04/90a0392ac45041c1198a2331a6d8c1ccfedbc8
/usr/lib/debug/.build-id/04/90a0392ac45041c1198a2331a6d8c1ccfedbc8.debug
/usr/lib/debug/.build-id/08
/usr/lib/debug/.build-id/08/b0d5f298e8310072720738d766cc57503233d8
/usr/lib/debug/.build-id/08/b0d5f298e8310072720738d766cc57503233d8.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/f5690e0b765d7d8d2af8aeb5bfc4c801d2c948
/usr/lib/debug/.build-id/0b/f5690e0b765d7d8d2af8aeb5bfc4c801d2c948.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/589c43e35d524ae82542ad628cf36be217d5b5
/usr/lib/debug/.build-id/0c/589c43e35d524ae82542ad628cf36be217d5b5.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/076064d99a45881d9091931ebc6c818fc3eb89
/usr/lib/debug/.build-id/0d/076064d99a45881d9091931ebc6c818fc3eb89.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/551865eb93e8a43ec3a2cce19e5617523b0301
/usr/lib/debug/.build-id/13/551865eb93e8a43ec3a2cce19e5617523b0301.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/b6610bab694c0e974e80603364e7e7a73b1c1e
/usr/lib/debug/.build-id/14/b6610bab694c0e974e80603364e7e7a73b1c1e.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/6c7ee089b6c63f5f58a8016026358e6238d0e9
/usr/lib/debug/.build-id/20/6c7ee089b6c63f5f58a8016026358e6238d0e9.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/83e46f1d315141c6ab448aa01324c7447fca1c
/usr/lib/debug/.build-id/2a/83e46f1d315141c6ab448aa01324c7447fca1c.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/ee500e8030a196b7bf1cf2e339dc9cb57e58e2
/usr/lib/debug/.build-id/2d/ee500e8030a196b7bf1cf2e339dc9cb57e58e2.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/5b69e04e7f58f554380b367fa7d19302c7b4b0
/usr/lib/debug/.build-id/31/5b69e04e7f58f554380b367fa7d19302c7b4b0.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/80ffb22dffa2f2be99f5efbd6d9eca2ab4f621
/usr/lib/debug/.build-id/35/80ffb22dffa2f2be99f5efbd6d9eca2ab4f621.debug
/usr/lib/debug/.build-id/35/9cd9057a2364576e9478f81042bfdb2a2e64e7
/usr/lib/debug/.build-id/35/9cd9057a2364576e9478f81042bfdb2a2e64e7.debug
/usr/lib/debug/.build-id/3a
/usr/lib/debug/.build-id/3a/4ce67728c9673aade1c0d7640645abab2e6f13
/usr/lib/debug/.build-id/3a/4ce67728c9673aade1c0d7640645abab2e6f13.debug
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/26227c85f25283baa7f691627c47dedc57956a
/usr/lib/debug/.build-id/3e/26227c85f25283baa7f691627c47dedc57956a.debug
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/62ce7da6406586654e3b9e0df532914ffe236e
/usr/lib/debug/.build-id/42/62ce7da6406586654e3b9e0df532914ffe236e.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/f4a95b98ab0134697775bc18648f14d93062a9
/usr/lib/debug/.build-id/47/f4a95b98ab0134697775bc18648f14d93062a9.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/8baf82988a7e6ffde94ee78a9945348adc4219
/usr/lib/debug/.build-id/4c/8baf82988a7e6ffde94ee78a9945348adc4219.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/f52ac45d88ee5e72112e0e95109012149391d8
/usr/lib/debug/.build-id/4e/f52ac45d88ee5e72112e0e95109012149391d8.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/103bda7392529c6fb059eaabda1df9325218c9
/usr/lib/debug/.build-id/55/103bda7392529c6fb059eaabda1df9325218c9.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/17127b6e3f2deddc938f6c7ce91fe30ca95ab0
/usr/lib/debug/.build-id/5c/17127b6e3f2deddc938f6c7ce91fe30ca95ab0.debug
/usr/lib/debug/.build-id/5c/d4eaa4c2cc04b547d7ba2de500c9ebb686e7a8
/usr/lib/debug/.build-id/5c/d4eaa4c2cc04b547d7ba2de500c9ebb686e7a8.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/fe43348eb379538b88b41d90b4aa4352b766be
/usr/lib/debug/.build-id/5f/fe43348eb379538b88b41d90b4aa4352b766be.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/26f5f3eccbaad1bd0712a1c1d1685880a0bec2
/usr/lib/debug/.build-id/61/26f5f3eccbaad1bd0712a1c1d1685880a0bec2.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/b872eb332d84e1fad5a54437f3995e396eb7c1
/usr/lib/debug/.build-id/6a/b872eb332d84e1fad5a54437f3995e396eb7c1.debug
/usr/lib/debug/.build-id/6f
/usr/lib/debug/.build-id/6f/2a83ddd8368d5aa896abca317c330ae6d08836
/usr/lib/debug/.build-id/6f/2a83ddd8368d5aa896abca317c330ae6d08836.debug
/usr/lib/debug/.build-id/71
/usr/lib/debug/.build-id/71/a7d44536b010825579801df04bd2ec253ef629
/usr/lib/debug/.build-id/71/a7d44536b010825579801df04bd2ec253ef629.debug
/usr/lib/debug/.build-id/76
/usr/lib/debug/.build-id/76/2c2b98536f8649c41e27f51cf205f91a715aa7
/usr/lib/debug/.build-id/76/2c2b98536f8649c41e27f51cf205f91a715aa7.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/475710dc4526d0aa5ce4f114e191047ae2121d
/usr/lib/debug/.build-id/7c/475710dc4526d0aa5ce4f114e191047ae2121d.debug
/usr/lib/debug/.build-id/7d
/usr/lib/debug/.build-id/7d/70385c7c9954bdd5300d8a6dcf6301850fbbdd
/usr/lib/debug/.build-id/7d/70385c7c9954bdd5300d8a6dcf6301850fbbdd.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/0eba3a4ef7f4bace675f8ba1a031b71301ce93
/usr/lib/debug/.build-id/85/0eba3a4ef7f4bace675f8ba1a031b71301ce93.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/b61f5f96622a68eeb3258c5a8c4bf8a4e2800c
/usr/lib/debug/.build-id/87/b61f5f96622a68eeb3258c5a8c4bf8a4e2800c.debug
/usr/lib/debug/.build-id/88
/usr/lib/debug/.build-id/88/5c16bdf369300ca33d147492e2d13cad2a5c72
/usr/lib/debug/.build-id/88/5c16bdf369300ca33d147492e2d13cad2a5c72.debug
/usr/lib/debug/.build-id/89
/usr/lib/debug/.build-id/89/06edac129e3a2a342d02d941f8497f44ac0386
/usr/lib/debug/.build-id/89/06edac129e3a2a342d02d941f8497f44ac0386.debug
/usr/lib/debug/.build-id/89/2b608de5f96063c6299bb4d94f556339d9e085
/usr/lib/debug/.build-id/89/2b608de5f96063c6299bb4d94f556339d9e085.debug
/usr/lib/debug/.build-id/91
/usr/lib/debug/.build-id/91/2c80b5c6ac33e6e69d94fb743fd0cb5153f93c
/usr/lib/debug/.build-id/91/2c80b5c6ac33e6e69d94fb743fd0cb5153f93c.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/8b1ca693397943aae399d82e73b8b693cb50e8
/usr/lib/debug/.build-id/95/8b1ca693397943aae399d82e73b8b693cb50e8.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/b8aa27de083d8418b2b02124abdf0b66f4bb53
/usr/lib/debug/.build-id/96/b8aa27de083d8418b2b02124abdf0b66f4bb53.debug
/usr/lib/debug/.build-id/99
/usr/lib/debug/.build-id/99/3cd0810a8e18274be516d5a8ca99936b5d4c76
/usr/lib/debug/.build-id/99/3cd0810a8e18274be516d5a8ca99936b5d4c76.debug
/usr/lib/debug/.build-id/9b
/usr/lib/debug/.build-id/9b/2b51eb4753f702757a700a64559835dea69b25
/usr/lib/debug/.build-id/9b/2b51eb4753f702757a700a64559835dea69b25.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/100b34d698ce8eb40084d839d97291837bf788
/usr/lib/debug/.build-id/a5/100b34d698ce8eb40084d839d97291837bf788.debug
/usr/lib/debug/.build-id/aa
/usr/lib/debug/.build-id/aa/fa42c7958375b6c564565c1b70a66e47151987
/usr/lib/debug/.build-id/aa/fa42c7958375b6c564565c1b70a66e47151987.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/5cd7676998af3429b75d7f5a79ad09da22669d
/usr/lib/debug/.build-id/b1/5cd7676998af3429b75d7f5a79ad09da22669d.debug
/usr/lib/debug/.build-id/b4
/usr/lib/debug/.build-id/b4/43bcc301a5015181badbfbf4bb8444209e3e73
/usr/lib/debug/.build-id/b4/43bcc301a5015181badbfbf4bb8444209e3e73.debug
/usr/lib/debug/.build-id/b7
/usr/lib/debug/.build-id/b7/7a9ddcb2fcb88af069716c7a140c2918a09d1b
/usr/lib/debug/.build-id/b7/7a9ddcb2fcb88af069716c7a140c2918a09d1b.debug
/usr/lib/debug/.build-id/b8
/usr/lib/debug/.build-id/b8/56b30c8398ededa0f4e03494f8a492e4020e96
/usr/lib/debug/.build-id/b8/56b30c8398ededa0f4e03494f8a492e4020e96.debug
/usr/lib/debug/.build-id/b8/7642682450b3d8d04346c5c255a7a3a4c773f8
/usr/lib/debug/.build-id/b8/7642682450b3d8d04346c5c255a7a3a4c773f8.debug
/usr/lib/debug/.build-id/ba
/usr/lib/debug/.build-id/ba/74808c950ae06c3e53658dfae194fc55785e9b
/usr/lib/debug/.build-id/ba/74808c950ae06c3e53658dfae194fc55785e9b.debug
/usr/lib/debug/.build-id/ba/b28c48de611a4957f2b984b0dfbb0c7a9ccd14
/usr/lib/debug/.build-id/ba/b28c48de611a4957f2b984b0dfbb0c7a9ccd14.debug
/usr/lib/debug/.build-id/bb
/usr/lib/debug/.build-id/bb/da604a9079c10a84d0ab4547dcc36a1bc895c8
/usr/lib/debug/.build-id/bb/da604a9079c10a84d0ab4547dcc36a1bc895c8.debug
/usr/lib/debug/.build-id/bf
/usr/lib/debug/.build-id/bf/345045cdf20e4d37e67115448d54b17a7f2e7b
/usr/lib/debug/.build-id/bf/345045cdf20e4d37e67115448d54b17a7f2e7b.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/d086e6c2ac18cd12f5c35667dc7f1c1e0da921
/usr/lib/debug/.build-id/c5/d086e6c2ac18cd12f5c35667dc7f1c1e0da921.debug
/usr/lib/debug/.build-id/cc
/usr/lib/debug/.build-id/cc/368738593c815e18fab2d1a5bd99372a504506
/usr/lib/debug/.build-id/cc/368738593c815e18fab2d1a5bd99372a504506.debug
/usr/lib/debug/.build-id/d3
/usr/lib/debug/.build-id/d3/04475cc4f411af19d3cfff4ecbfb56d330b08f
/usr/lib/debug/.build-id/d3/04475cc4f411af19d3cfff4ecbfb56d330b08f.debug
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/63477d85abd882fb2b8448d2be5751931eebfa
/usr/lib/debug/.build-id/d5/63477d85abd882fb2b8448d2be5751931eebfa.debug
/usr/lib/debug/.build-id/d6
/usr/lib/debug/.build-id/d6/ba052443a84d6bc09c3209c316ef7a42550e6f
/usr/lib/debug/.build-id/d6/ba052443a84d6bc09c3209c316ef7a42550e6f.debug
/usr/lib/debug/.build-id/db
/usr/lib/debug/.build-id/db/5de73cde4efd2aecfe12cf12f671910b0c7ef2
/usr/lib/debug/.build-id/db/5de73cde4efd2aecfe12cf12f671910b0c7ef2.debug
/usr/lib/debug/.build-id/e4
/usr/lib/debug/.build-id/e4/447946bcedf08ec45738ccaa334009b68df5ce
/usr/lib/debug/.build-id/e4/447946bcedf08ec45738ccaa334009b68df5ce.debug
/usr/lib/debug/.build-id/eb
/usr/lib/debug/.build-id/eb/0eb0b018beef64e4fa69f095200eeffd988ed0
/usr/lib/debug/.build-id/eb/0eb0b018beef64e4fa69f095200eeffd988ed0.debug
/usr/lib/debug/.build-id/f6
/usr/lib/debug/.build-id/f6/337a5f30f77d61842bf4d4d09c893e0682eda4
/usr/lib/debug/.build-id/f6/337a5f30f77d61842bf4d4d09c893e0682eda4.debug
/usr/lib/debug/.build-id/f7
/usr/lib/debug/.build-id/f7/93b9191dd38e498001747c9810fbf4f9f2e834
/usr/lib/debug/.build-id/f7/93b9191dd38e498001747c9810fbf4f9f2e834.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/8af6618633310c03b0d53f45df7677b4ffe5c9
/usr/lib/debug/.build-id/fb/8af6618633310c03b0d53f45df7677b4ffe5c9.debug
/usr/lib/debug/.build-id/fc
/usr/lib/debug/.build-id/fc/1bc4b23ed8e21da2242732e6476405774201a6
/usr/lib/debug/.build-id/fc/1bc4b23ed8e21da2242732e6476405774201a6.debug
/usr/lib/debug/.build-id/ff
/usr/lib/debug/.build-id/ff/994a0c36e49e7cd34c4efa08bce69bc27d062f
/usr/lib/debug/.build-id/ff/994a0c36e49e7cd34c4efa08bce69bc27d062f.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/bin/rocq-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/bin/rocqchk-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/bin/votour-9.3.0-2.fc45.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.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/checklib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/checklib/coq_checklib.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/clib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/clib/clib.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/config
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/config/config.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqargs
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqargs/coqargs.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqdeplib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqdeplib/coqdeplib.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqworkmgrapi
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqworkmgrapi/coqworkmgrApi.cmxs-9.3.0-2.fc45.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.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/dev
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/dev/dev.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/engine
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/engine/engine.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/gramlib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/gramlib/gramlib.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/interp
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/interp/interp.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/kernel
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/kernel/kernel.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/lib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/lib/lib.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/library
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/library/library.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/parsing
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/parsing/parsing.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/perf
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/perf/coqperf.cmxs-9.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ssreflect_rewrite
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/plugins/ssreflect_rewrite/ssreflect_rewrite_plugin.cmxs-9.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.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.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/pretyping
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/pretyping/pretyping.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/printing
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/printing/printing.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/proofs
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/proofs/proofs.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqshim
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqshim/rocqshim.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/stm
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/stm/stm.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/sysinit
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/sysinit/sysinit.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/tactics
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/tactics/tactics.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/toplevel
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/toplevel/toplevel.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vernac
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vernac/vernac.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vm
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vm/coqrun.cmxs-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.3.0-2.fc45.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.3.0-2.fc45.ppc64le.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Oct 6 00:59:25 2026