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 aarch64

From Fedora 45 testing updates for aarch64 / 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:54:38 2026
Group: Development/Debug Build host: buildvm-a64-43.rdu3.fedoraproject.org
Size: 56784737 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/d62de533d4528f20f2d3164a89218ef55a62c5
/usr/lib/debug/.build-id/01/d62de533d4528f20f2d3164a89218ef55a62c5.debug
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/609a2c863b109c1a3601814125aada99877732
/usr/lib/debug/.build-id/02/609a2c863b109c1a3601814125aada99877732.debug
/usr/lib/debug/.build-id/03
/usr/lib/debug/.build-id/03/572225c0ad9e8a73b4411050aa0cf0ea270852
/usr/lib/debug/.build-id/03/572225c0ad9e8a73b4411050aa0cf0ea270852.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/d7cdb3629ae0e4da372644b7fad75b87018239
/usr/lib/debug/.build-id/07/d7cdb3629ae0e4da372644b7fad75b87018239.debug
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/d30b5594ecf831f8e3b3f3db444c77af38ae09
/usr/lib/debug/.build-id/09/d30b5594ecf831f8e3b3f3db444c77af38ae09.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/f0171ca47a80267deda6e36c8dd7001a0e8cc4
/usr/lib/debug/.build-id/0c/f0171ca47a80267deda6e36c8dd7001a0e8cc4.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/393e5d4e74df973fac4ecf11b63af41b4b7a6d
/usr/lib/debug/.build-id/0d/393e5d4e74df973fac4ecf11b63af41b4b7a6d.debug
/usr/lib/debug/.build-id/0d/ea3e675086a072c03ed559bbf8e38bac48ceef
/usr/lib/debug/.build-id/0d/ea3e675086a072c03ed559bbf8e38bac48ceef.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/a17cc0aa94d58edf542630e2be042f565c1aba
/usr/lib/debug/.build-id/15/a17cc0aa94d58edf542630e2be042f565c1aba.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/700bb910a3ec7c76cc09523c2822d4b4b8f0c8
/usr/lib/debug/.build-id/19/700bb910a3ec7c76cc09523c2822d4b4b8f0c8.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/be1d5231f9d3833d9d7be35739fcbb0064478a
/usr/lib/debug/.build-id/1b/be1d5231f9d3833d9d7be35739fcbb0064478a.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/b405f6bc39380f9243da8f452fb897f3282747
/usr/lib/debug/.build-id/21/b405f6bc39380f9243da8f452fb897f3282747.debug
/usr/lib/debug/.build-id/21/e6e4140e691b6259f7d9cfb491696ef0e2829a
/usr/lib/debug/.build-id/21/e6e4140e691b6259f7d9cfb491696ef0e2829a.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/7ac8c5fda09eb2ad3612a2d0f2e3ea63a91e18
/usr/lib/debug/.build-id/23/7ac8c5fda09eb2ad3612a2d0f2e3ea63a91e18.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/0f8037ae8cbb268965a15ddaedec30d0ee451c
/usr/lib/debug/.build-id/28/0f8037ae8cbb268965a15ddaedec30d0ee451c.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/64e7a2f2582a63a3d91a3e0d737224a4656592
/usr/lib/debug/.build-id/34/64e7a2f2582a63a3d91a3e0d737224a4656592.debug
/usr/lib/debug/.build-id/3a
/usr/lib/debug/.build-id/3a/212921ba762dd50887e82c29fa4da1a85d0991
/usr/lib/debug/.build-id/3a/212921ba762dd50887e82c29fa4da1a85d0991.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/727cdf60dca1f470caf120b0520731001e7ec1
/usr/lib/debug/.build-id/41/727cdf60dca1f470caf120b0520731001e7ec1.debug
/usr/lib/debug/.build-id/46
/usr/lib/debug/.build-id/46/8746d1b10581592d2cf965408fe4b40d694179
/usr/lib/debug/.build-id/46/8746d1b10581592d2cf965408fe4b40d694179.debug
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/6893c9490ad8ec32865a90bdb0ff12a777ce93
/usr/lib/debug/.build-id/4d/6893c9490ad8ec32865a90bdb0ff12a777ce93.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/e63fe36ba8d02cfa13c86f10342b7f6514043a
/usr/lib/debug/.build-id/4f/e63fe36ba8d02cfa13c86f10342b7f6514043a.debug
/usr/lib/debug/.build-id/53
/usr/lib/debug/.build-id/53/cda59a0dc9e18b0765c718727c0d4854e12220
/usr/lib/debug/.build-id/53/cda59a0dc9e18b0765c718727c0d4854e12220.debug
/usr/lib/debug/.build-id/54
/usr/lib/debug/.build-id/54/35c6031846ec35116d1265ea4c64efe482725e
/usr/lib/debug/.build-id/54/35c6031846ec35116d1265ea4c64efe482725e.debug
/usr/lib/debug/.build-id/59
/usr/lib/debug/.build-id/59/e576a38ca9738153bf2054163c738e4be6c096
/usr/lib/debug/.build-id/59/e576a38ca9738153bf2054163c738e4be6c096.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/cc0312c21099506995ccd6e7bc7274c88a0b65
/usr/lib/debug/.build-id/5a/cc0312c21099506995ccd6e7bc7274c88a0b65.debug
/usr/lib/debug/.build-id/5e
/usr/lib/debug/.build-id/5e/8092f03acaa289a94bd270586cbe90eea0a3aa
/usr/lib/debug/.build-id/5e/8092f03acaa289a94bd270586cbe90eea0a3aa.debug
/usr/lib/debug/.build-id/60
/usr/lib/debug/.build-id/60/b3969585c65aabe55f8dd436a8c72c157b5b0d
/usr/lib/debug/.build-id/60/b3969585c65aabe55f8dd436a8c72c157b5b0d.debug
/usr/lib/debug/.build-id/65
/usr/lib/debug/.build-id/65/fa0aefbe68ba59999d20a60f91934b5e1fbef0
/usr/lib/debug/.build-id/65/fa0aefbe68ba59999d20a60f91934b5e1fbef0.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/f317b82050de0c34b4db697c30042ceedc93c7
/usr/lib/debug/.build-id/6a/f317b82050de0c34b4db697c30042ceedc93c7.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/3bf76de80e9ad5c8187d7964a78da7d2776975
/usr/lib/debug/.build-id/70/3bf76de80e9ad5c8187d7964a78da7d2776975.debug
/usr/lib/debug/.build-id/70/9df7ca22dcab2dbc7a33ede3896ad68457bd22
/usr/lib/debug/.build-id/70/9df7ca22dcab2dbc7a33ede3896ad68457bd22.debug
/usr/lib/debug/.build-id/79
/usr/lib/debug/.build-id/79/39fe0715b25263787f5e318dc52781c30e9ffc
/usr/lib/debug/.build-id/79/39fe0715b25263787f5e318dc52781c30e9ffc.debug
/usr/lib/debug/.build-id/7e
/usr/lib/debug/.build-id/7e/2e77c805b95416e667d929e4bc8e6797855000
/usr/lib/debug/.build-id/7e/2e77c805b95416e667d929e4bc8e6797855000.debug
/usr/lib/debug/.build-id/80
/usr/lib/debug/.build-id/80/0c01e4d914fb39c01813af95e907492511b3ef
/usr/lib/debug/.build-id/80/0c01e4d914fb39c01813af95e907492511b3ef.debug
/usr/lib/debug/.build-id/80/bfe26169653e34deda696e6f8ad7f001ebd41b
/usr/lib/debug/.build-id/80/bfe26169653e34deda696e6f8ad7f001ebd41b.debug
/usr/lib/debug/.build-id/8a
/usr/lib/debug/.build-id/8a/84b28d9663faf9753baea2bec77a54f60edcb8
/usr/lib/debug/.build-id/8a/84b28d9663faf9753baea2bec77a54f60edcb8.debug
/usr/lib/debug/.build-id/8b
/usr/lib/debug/.build-id/8b/0b5ecb20b815e6626ed8f12e279d5f29dd9149
/usr/lib/debug/.build-id/8b/0b5ecb20b815e6626ed8f12e279d5f29dd9149.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/df4774c38376ed7391957f5c19c7e0056c2a45
/usr/lib/debug/.build-id/8e/df4774c38376ed7391957f5c19c7e0056c2a45.debug
/usr/lib/debug/.build-id/8f
/usr/lib/debug/.build-id/8f/06a15838598bf3359b7a3576c9f57cd18bbed4
/usr/lib/debug/.build-id/8f/06a15838598bf3359b7a3576c9f57cd18bbed4.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/528844651db7b16348347f9e79d145f945016e
/usr/lib/debug/.build-id/96/528844651db7b16348347f9e79d145f945016e.debug
/usr/lib/debug/.build-id/9e
/usr/lib/debug/.build-id/9e/d20da63cc93f8f44edcaad43569ebaa19ce8cf
/usr/lib/debug/.build-id/9e/d20da63cc93f8f44edcaad43569ebaa19ce8cf.debug
/usr/lib/debug/.build-id/a6
/usr/lib/debug/.build-id/a6/0bb8e990672f52cb9e49fb2be4f1a5e4a84bed
/usr/lib/debug/.build-id/a6/0bb8e990672f52cb9e49fb2be4f1a5e4a84bed.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/8993b8ce0dbb310621ba5ec53d03b94b5aa7b9
/usr/lib/debug/.build-id/a7/8993b8ce0dbb310621ba5ec53d03b94b5aa7b9.debug
/usr/lib/debug/.build-id/aa
/usr/lib/debug/.build-id/aa/589f098668688b7c604c5d5efdcfa1a5186b8a
/usr/lib/debug/.build-id/aa/589f098668688b7c604c5d5efdcfa1a5186b8a.debug
/usr/lib/debug/.build-id/ac
/usr/lib/debug/.build-id/ac/3a87537ede480b653391f674038ff648486872
/usr/lib/debug/.build-id/ac/3a87537ede480b653391f674038ff648486872.debug
/usr/lib/debug/.build-id/ac/b9a00f1edf303cf2f43e6dde45aee0ab7eed7e
/usr/lib/debug/.build-id/ac/b9a00f1edf303cf2f43e6dde45aee0ab7eed7e.debug
/usr/lib/debug/.build-id/b7
/usr/lib/debug/.build-id/b7/5d9561e8d959d6875f3a38ad0dce8e285ece65
/usr/lib/debug/.build-id/b7/5d9561e8d959d6875f3a38ad0dce8e285ece65.debug
/usr/lib/debug/.build-id/b7/79bbd42dc13cdcf639ce642c18be67f85829eb
/usr/lib/debug/.build-id/b7/79bbd42dc13cdcf639ce642c18be67f85829eb.debug
/usr/lib/debug/.build-id/bc
/usr/lib/debug/.build-id/bc/2928c3e1149285c71366ff8ad533b7b3fd92da
/usr/lib/debug/.build-id/bc/2928c3e1149285c71366ff8ad533b7b3fd92da.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/4462a373a86058dc9786f56e84c417c00b3f32
/usr/lib/debug/.build-id/c2/4462a373a86058dc9786f56e84c417c00b3f32.debug
/usr/lib/debug/.build-id/cc
/usr/lib/debug/.build-id/cc/c5eb36098a2b3fce832bec10bcb05c47ec6262
/usr/lib/debug/.build-id/cc/c5eb36098a2b3fce832bec10bcb05c47ec6262.debug
/usr/lib/debug/.build-id/ce
/usr/lib/debug/.build-id/ce/0cd07f11497d6f80388c3530759af02effead5
/usr/lib/debug/.build-id/ce/0cd07f11497d6f80388c3530759af02effead5.debug
/usr/lib/debug/.build-id/cf
/usr/lib/debug/.build-id/cf/2cf236c81bb141b2f361e93403a168bfc39d1f
/usr/lib/debug/.build-id/cf/2cf236c81bb141b2f361e93403a168bfc39d1f.debug
/usr/lib/debug/.build-id/d1
/usr/lib/debug/.build-id/d1/185f69c38548ae2a11602936bd64e920271978
/usr/lib/debug/.build-id/d1/185f69c38548ae2a11602936bd64e920271978.debug
/usr/lib/debug/.build-id/d2
/usr/lib/debug/.build-id/d2/47d9574fd3203229a01d80095a2a2ea7ec7e69
/usr/lib/debug/.build-id/d2/47d9574fd3203229a01d80095a2a2ea7ec7e69.debug
/usr/lib/debug/.build-id/d7
/usr/lib/debug/.build-id/d7/af9cdf5b69945a17c2490df9a15dfd101b4f65
/usr/lib/debug/.build-id/d7/af9cdf5b69945a17c2490df9a15dfd101b4f65.debug
/usr/lib/debug/.build-id/da
/usr/lib/debug/.build-id/da/8573bfa52c07ab373a8e061fc056c3df42d225
/usr/lib/debug/.build-id/da/8573bfa52c07ab373a8e061fc056c3df42d225.debug
/usr/lib/debug/.build-id/db
/usr/lib/debug/.build-id/db/776204c431d31506092958ad3da4bec8072b51
/usr/lib/debug/.build-id/db/776204c431d31506092958ad3da4bec8072b51.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/486876663cd178c6b8f954687aa8106bb128ca
/usr/lib/debug/.build-id/dd/486876663cd178c6b8f954687aa8106bb128ca.debug
/usr/lib/debug/.build-id/de
/usr/lib/debug/.build-id/de/bed4c55ff7865d1c6d184cb404767250ab2265
/usr/lib/debug/.build-id/de/bed4c55ff7865d1c6d184cb404767250ab2265.debug
/usr/lib/debug/.build-id/df
/usr/lib/debug/.build-id/df/4b9402e17cb0e51e2c32e6247040003aa810ca
/usr/lib/debug/.build-id/df/4b9402e17cb0e51e2c32e6247040003aa810ca.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/72867920531784537a6daf84abca9f051647a9
/usr/lib/debug/.build-id/f5/72867920531784537a6daf84abca9f051647a9.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/d4a8b717126312303057dcb4db6b261ab94ce4
/usr/lib/debug/.build-id/f9/d4a8b717126312303057dcb4db6b261ab94ce4.debug
/usr/lib/debug/.build-id/ff
/usr/lib/debug/.build-id/ff/069b53c7ad1e762621ff1fa5260d42ecfeb9c4
/usr/lib/debug/.build-id/ff/069b53c7ad1e762621ff1fa5260d42ecfeb9c4.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.3.0-2.fc45.aarch64.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.3.0-2.fc45.aarch64.debug
/usr/lib/debug/usr/bin/rocq-9.3.0-2.fc45.aarch64.debug
/usr/lib/debug/usr/bin/rocqchk-9.3.0-2.fc45.aarch64.debug
/usr/lib/debug/usr/bin/votour-9.3.0-2.fc45.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.3.0-2.fc45.aarch64.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.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.3.0-2.fc45.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.3.0-2.fc45.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.3.0-2.fc45.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Oct 8 00:34:07 2026