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 x86_64

From Fedora 45 testing updates for x86_64 / 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:53:14 2026
Group: Development/Debug Build host: buildhw-x86-03.rdu3.fedoraproject.org
Size: 58400737 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/01
/usr/lib/debug/.build-id/01/05306ef1d6481dba7abe881bb1968cc25cf0fa
/usr/lib/debug/.build-id/01/05306ef1d6481dba7abe881bb1968cc25cf0fa.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/bf623366a8f3aa25300b3d3021c3ab6300237c
/usr/lib/debug/.build-id/0d/bf623366a8f3aa25300b3d3021c3ab6300237c.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/329e21d46af13e17ca9a5bb12b4b15ecbd962f
/usr/lib/debug/.build-id/10/329e21d46af13e17ca9a5bb12b4b15ecbd962f.debug
/usr/lib/debug/.build-id/1c
/usr/lib/debug/.build-id/1c/d6e2ec59fc75e42a14574732728d8092a59153
/usr/lib/debug/.build-id/1c/d6e2ec59fc75e42a14574732728d8092a59153.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/f93b31c56f10ce666ba6ce21ddc8435d0b421f
/usr/lib/debug/.build-id/23/f93b31c56f10ce666ba6ce21ddc8435d0b421f.debug
/usr/lib/debug/.build-id/25
/usr/lib/debug/.build-id/25/124d023ea513e6f017d13cb2228f3a1647b855
/usr/lib/debug/.build-id/25/124d023ea513e6f017d13cb2228f3a1647b855.debug
/usr/lib/debug/.build-id/25/a5d700d9ad5c1de9ae504fd523a6296950c207
/usr/lib/debug/.build-id/25/a5d700d9ad5c1de9ae504fd523a6296950c207.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/d102320b76fe51c273faaaaf29a217f05e73e5
/usr/lib/debug/.build-id/27/d102320b76fe51c273faaaaf29a217f05e73e5.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/b747f1f3df462090c15d6d74b9fd91be532290
/usr/lib/debug/.build-id/28/b747f1f3df462090c15d6d74b9fd91be532290.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/0d7de8d6b795ee10fbffaf74d79b0a06c99f66
/usr/lib/debug/.build-id/2e/0d7de8d6b795ee10fbffaf74d79b0a06c99f66.debug
/usr/lib/debug/.build-id/2e/5d6880b2f0fa36c675bd63dc29b559f1acff9e
/usr/lib/debug/.build-id/2e/5d6880b2f0fa36c675bd63dc29b559f1acff9e.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/6d82e37ebe34275148f9019d1797f4520345a4
/usr/lib/debug/.build-id/31/6d82e37ebe34275148f9019d1797f4520345a4.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/9e5a79f932225023e64edb3fe2cb8981792c5e
/usr/lib/debug/.build-id/34/9e5a79f932225023e64edb3fe2cb8981792c5e.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/6dcc837b293970c256d08389026e2f1e6aa9d1
/usr/lib/debug/.build-id/37/6dcc837b293970c256d08389026e2f1e6aa9d1.debug
/usr/lib/debug/.build-id/38
/usr/lib/debug/.build-id/38/3436f4ad63f7fc3bdbbd5e80037901a06fdde9
/usr/lib/debug/.build-id/38/3436f4ad63f7fc3bdbbd5e80037901a06fdde9.debug
/usr/lib/debug/.build-id/38/895b80dfd6594c0d09ccfa09238f5f5ed8180e
/usr/lib/debug/.build-id/38/895b80dfd6594c0d09ccfa09238f5f5ed8180e.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/d1e399a5a1b20a625b704fc1a9b388382813ba
/usr/lib/debug/.build-id/41/d1e399a5a1b20a625b704fc1a9b388382813ba.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/f88df723057d95f70874fff39cae80e85f1bec
/usr/lib/debug/.build-id/44/f88df723057d95f70874fff39cae80e85f1bec.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/bf529b8f0bb26d557b839c8a61720345ee8390
/usr/lib/debug/.build-id/48/bf529b8f0bb26d557b839c8a61720345ee8390.debug
/usr/lib/debug/.build-id/4a
/usr/lib/debug/.build-id/4a/0b1eb96b8f2dd2eee0d94c3b99dfc713f0ac21
/usr/lib/debug/.build-id/4a/0b1eb96b8f2dd2eee0d94c3b99dfc713f0ac21.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/e9fdde5149038cded18c042b3d8ba00718bc0f
/usr/lib/debug/.build-id/4c/e9fdde5149038cded18c042b3d8ba00718bc0f.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/b69fd2c1dd734fd5a0575f5f3acf12f708ee9d
/usr/lib/debug/.build-id/4f/b69fd2c1dd734fd5a0575f5f3acf12f708ee9d.debug
/usr/lib/debug/.build-id/54
/usr/lib/debug/.build-id/54/c0c29f55e721eefab35592f186c23fb52b58e4
/usr/lib/debug/.build-id/54/c0c29f55e721eefab35592f186c23fb52b58e4.debug
/usr/lib/debug/.build-id/54/ca3f2b8ac9b2e22a0ce819d66448fa7bf9a96e
/usr/lib/debug/.build-id/54/ca3f2b8ac9b2e22a0ce819d66448fa7bf9a96e.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/9c19a027f57aaec8f6edb731c3f8f98e53ef29
/usr/lib/debug/.build-id/58/9c19a027f57aaec8f6edb731c3f8f98e53ef29.debug
/usr/lib/debug/.build-id/5e
/usr/lib/debug/.build-id/5e/b6919c22a627d8aeb11a0684824f9d79bcbb23
/usr/lib/debug/.build-id/5e/b6919c22a627d8aeb11a0684824f9d79bcbb23.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/7ff8a9bb40074bb6fda268bfc981da2af3d7c9
/usr/lib/debug/.build-id/61/7ff8a9bb40074bb6fda268bfc981da2af3d7c9.debug
/usr/lib/debug/.build-id/65
/usr/lib/debug/.build-id/65/dffebf9ecedf0db0ccdab5fe9951248114bae0
/usr/lib/debug/.build-id/65/dffebf9ecedf0db0ccdab5fe9951248114bae0.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/3fe0def58d0b7295f0be30bbebde41f695b795
/usr/lib/debug/.build-id/6e/3fe0def58d0b7295f0be30bbebde41f695b795.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/7c3978aff930ef53d3b5c6a0e98191971edf64
/usr/lib/debug/.build-id/70/7c3978aff930ef53d3b5c6a0e98191971edf64.debug
/usr/lib/debug/.build-id/77
/usr/lib/debug/.build-id/77/aa4a7cfcba1a6a415e75fa0b919d5f56bf5bec
/usr/lib/debug/.build-id/77/aa4a7cfcba1a6a415e75fa0b919d5f56bf5bec.debug
/usr/lib/debug/.build-id/7b
/usr/lib/debug/.build-id/7b/366c843c99103c660b9198798046a4c9e24d26
/usr/lib/debug/.build-id/7b/366c843c99103c660b9198798046a4c9e24d26.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/3f7d91e5f82bb2bf7719ab2a7616e4d9be539d
/usr/lib/debug/.build-id/7c/3f7d91e5f82bb2bf7719ab2a7616e4d9be539d.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/6329c12512ae587d9631511958a8ec2e8642cb
/usr/lib/debug/.build-id/87/6329c12512ae587d9631511958a8ec2e8642cb.debug
/usr/lib/debug/.build-id/88
/usr/lib/debug/.build-id/88/c3139b59736467b674844c8293863b7499aa33
/usr/lib/debug/.build-id/88/c3139b59736467b674844c8293863b7499aa33.debug
/usr/lib/debug/.build-id/88/dfba1df4f8bd9941fc3fd8c648eb23c39534e2
/usr/lib/debug/.build-id/88/dfba1df4f8bd9941fc3fd8c648eb23c39534e2.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/24fec0e6624e1b1b658f6ba46445ff66b6cf7e
/usr/lib/debug/.build-id/8c/24fec0e6624e1b1b658f6ba46445ff66b6cf7e.debug
/usr/lib/debug/.build-id/8d
/usr/lib/debug/.build-id/8d/be6f4a2f4722108e81422089a2bb7998c59496
/usr/lib/debug/.build-id/8d/be6f4a2f4722108e81422089a2bb7998c59496.debug
/usr/lib/debug/.build-id/93
/usr/lib/debug/.build-id/93/2c364e23b434aeee28f8ef39e877f8b60b5819
/usr/lib/debug/.build-id/93/2c364e23b434aeee28f8ef39e877f8b60b5819.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/b0bfb181ccae223e87db04fd8068ef9e3c8db9
/usr/lib/debug/.build-id/96/b0bfb181ccae223e87db04fd8068ef9e3c8db9.debug
/usr/lib/debug/.build-id/99
/usr/lib/debug/.build-id/99/9439ea6af9f1096a4ce95ac06d44fe19b9b23d
/usr/lib/debug/.build-id/99/9439ea6af9f1096a4ce95ac06d44fe19b9b23d.debug
/usr/lib/debug/.build-id/99/ad9c06218f9f0032299e2912c12dc9ff884f3a
/usr/lib/debug/.build-id/99/ad9c06218f9f0032299e2912c12dc9ff884f3a.debug
/usr/lib/debug/.build-id/99/cb7716a6d9c31af5e8f9d2a5ed4086f5a0e3b9
/usr/lib/debug/.build-id/99/cb7716a6d9c31af5e8f9d2a5ed4086f5a0e3b9.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/cbf534c8b969651ef67c071c4700de0888d1f4
/usr/lib/debug/.build-id/a2/cbf534c8b969651ef67c071c4700de0888d1f4.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/5be11374de7bed4336d0165d8eda7e69de5ab7
/usr/lib/debug/.build-id/a5/5be11374de7bed4336d0165d8eda7e69de5ab7.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/2edb88674f7f9cc17dfb10bf8bc899bbdd5dcb
/usr/lib/debug/.build-id/a7/2edb88674f7f9cc17dfb10bf8bc899bbdd5dcb.debug
/usr/lib/debug/.build-id/aa
/usr/lib/debug/.build-id/aa/18edfd864ee5d24e4f7a90a66f84aac3bfcf8b
/usr/lib/debug/.build-id/aa/18edfd864ee5d24e4f7a90a66f84aac3bfcf8b.debug
/usr/lib/debug/.build-id/aa/7f8dec8704d689ab0081809d76ec1f6f0ce743
/usr/lib/debug/.build-id/aa/7f8dec8704d689ab0081809d76ec1f6f0ce743.debug
/usr/lib/debug/.build-id/b6
/usr/lib/debug/.build-id/b6/98a8dfa444dc2dce59cc926415fdbe088d5943
/usr/lib/debug/.build-id/b6/98a8dfa444dc2dce59cc926415fdbe088d5943.debug
/usr/lib/debug/.build-id/b6/bc24f0f2133940623beb2fb95d2ca625834246
/usr/lib/debug/.build-id/b6/bc24f0f2133940623beb2fb95d2ca625834246.debug
/usr/lib/debug/.build-id/be
/usr/lib/debug/.build-id/be/927ad088f9c8f49b37d0b7535ce911a2ee448a
/usr/lib/debug/.build-id/be/927ad088f9c8f49b37d0b7535ce911a2ee448a.debug
/usr/lib/debug/.build-id/bf
/usr/lib/debug/.build-id/bf/a510fd33dec8fa6fc98bf8471e52759ee2dad5
/usr/lib/debug/.build-id/bf/a510fd33dec8fa6fc98bf8471e52759ee2dad5.debug
/usr/lib/debug/.build-id/c3
/usr/lib/debug/.build-id/c3/bb0fca0072a3769b29a7d1c1cedc8b52fcfd21
/usr/lib/debug/.build-id/c3/bb0fca0072a3769b29a7d1c1cedc8b52fcfd21.debug
/usr/lib/debug/.build-id/cd
/usr/lib/debug/.build-id/cd/e30693b698c16c270d32846f23ee5672c93344
/usr/lib/debug/.build-id/cd/e30693b698c16c270d32846f23ee5672c93344.debug
/usr/lib/debug/.build-id/ce
/usr/lib/debug/.build-id/ce/ebf1cfcd5dab1fce58b47a56481f5ed4d766e5
/usr/lib/debug/.build-id/ce/ebf1cfcd5dab1fce58b47a56481f5ed4d766e5.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/37d0402aa97ea885d8b67d5cef5379d141c04e
/usr/lib/debug/.build-id/d4/37d0402aa97ea885d8b67d5cef5379d141c04e.debug
/usr/lib/debug/.build-id/e0
/usr/lib/debug/.build-id/e0/9541321413b47bbbeddaf4607b63110d0d4522
/usr/lib/debug/.build-id/e0/9541321413b47bbbeddaf4607b63110d0d4522.debug
/usr/lib/debug/.build-id/e3
/usr/lib/debug/.build-id/e3/435a374265134e79086a24cff45b3d24795652
/usr/lib/debug/.build-id/e3/435a374265134e79086a24cff45b3d24795652.debug
/usr/lib/debug/.build-id/ed
/usr/lib/debug/.build-id/ed/e849a54d5ae4ff42b3c37ec458e4027677652d
/usr/lib/debug/.build-id/ed/e849a54d5ae4ff42b3c37ec458e4027677652d.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/9d7ff1b8c65dcbdf58f3031f2da66cdaddc9d1
/usr/lib/debug/.build-id/f4/9d7ff1b8c65dcbdf58f3031f2da66cdaddc9d1.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/2b829663c75e23aa5342bc2949199374f3b042
/usr/lib/debug/.build-id/f5/2b829663c75e23aa5342bc2949199374f3b042.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/466aa96da394485886eae030dd2760a9fc28e7
/usr/lib/debug/.build-id/f9/466aa96da394485886eae030dd2760a9fc28e7.debug
/usr/lib/debug/.build-id/fc
/usr/lib/debug/.build-id/fc/c58e80cdff2f2d2663365a3d100b47d1d11c59
/usr/lib/debug/.build-id/fc/c58e80cdff2f2d2663365a3d100b47d1d11c59.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/c59fe6096cc0dc0092c10a515e2f783eb24e79
/usr/lib/debug/.build-id/fd/c59fe6096cc0dc0092c10a515e2f783eb24e79.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.3.0-2.fc45.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.3.0-2.fc45.x86_64.debug
/usr/lib/debug/usr/bin/rocq-9.3.0-2.fc45.x86_64.debug
/usr/lib/debug/usr/bin/rocqchk-9.3.0-2.fc45.x86_64.debug
/usr/lib/debug/usr/bin/votour-9.3.0-2.fc45.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.3.0-2.fc45.x86_64.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.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.3.0-2.fc45.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.3.0-2.fc45.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.3.0-2.fc45.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 9 00:52:20 2026