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 aarch64

From Fedora 44 testing updates for aarch64 / 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:29:48 2026
Group: Development/Debug Build host: buildvm-a64-19.rdu3.fedoraproject.org
Size: 77026025 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/04
/usr/lib/debug/.build-id/04/a3f5c3bcc9353a52da62d37cec3971214e0963
/usr/lib/debug/.build-id/04/a3f5c3bcc9353a52da62d37cec3971214e0963.debug
/usr/lib/debug/.build-id/06
/usr/lib/debug/.build-id/06/f9d7d3aaa8b4fdd135c4e969f901da2f827334
/usr/lib/debug/.build-id/06/f9d7d3aaa8b4fdd135c4e969f901da2f827334.debug
/usr/lib/debug/.build-id/08
/usr/lib/debug/.build-id/08/369232e13f0af58464fb321682cb376ee0ce67
/usr/lib/debug/.build-id/08/369232e13f0af58464fb321682cb376ee0ce67.debug
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/c51c68e267ca895be026555fbf330dae696c0b
/usr/lib/debug/.build-id/09/c51c68e267ca895be026555fbf330dae696c0b.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/8387fe8293e4ac86f67d8f2f98bc428c8f1c64
/usr/lib/debug/.build-id/15/8387fe8293e4ac86f67d8f2f98bc428c8f1c64.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/1f82f7a4840a7552003c83fd345b3a643eff1f
/usr/lib/debug/.build-id/18/1f82f7a4840a7552003c83fd345b3a643eff1f.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/00a9bcbfa6f026e17b457f3d2d01e260a8c964
/usr/lib/debug/.build-id/1e/00a9bcbfa6f026e17b457f3d2d01e260a8c964.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/3757d82fc3c4db90193b2092c608cf09fe659c
/usr/lib/debug/.build-id/1f/3757d82fc3c4db90193b2092c608cf09fe659c.debug
/usr/lib/debug/.build-id/1f/ab30ca4af86c052c48034680ecef72ae1687d0
/usr/lib/debug/.build-id/1f/ab30ca4af86c052c48034680ecef72ae1687d0.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/38a6502e368b666b64f81015265d3f7c9468a8
/usr/lib/debug/.build-id/20/38a6502e368b666b64f81015265d3f7c9468a8.debug
/usr/lib/debug/.build-id/20/7b641b1165c2f2665c13e79c06b6aed2cf80d4
/usr/lib/debug/.build-id/20/7b641b1165c2f2665c13e79c06b6aed2cf80d4.debug
/usr/lib/debug/.build-id/24
/usr/lib/debug/.build-id/24/aa717f5807b95286ea8f1105aa4b88750277ee
/usr/lib/debug/.build-id/24/aa717f5807b95286ea8f1105aa4b88750277ee.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/cdd5d6d96e0fba8a5612b8bef359a9d41c79c2
/usr/lib/debug/.build-id/2a/cdd5d6d96e0fba8a5612b8bef359a9d41c79c2.debug
/usr/lib/debug/.build-id/30
/usr/lib/debug/.build-id/30/199fc71d49652ad4e3ef1b41b9353115f574e8
/usr/lib/debug/.build-id/30/199fc71d49652ad4e3ef1b41b9353115f574e8.debug
/usr/lib/debug/.build-id/30/5f6c2ac671980b5f030e6b789e61c776cbe02b
/usr/lib/debug/.build-id/30/5f6c2ac671980b5f030e6b789e61c776cbe02b.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/2fef873aaea549892034db2c9d2cc0600b225e
/usr/lib/debug/.build-id/31/2fef873aaea549892034db2c9d2cc0600b225e.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/6c53278aece31bc2ad1e443ac502d1dd7fc6d2
/usr/lib/debug/.build-id/33/6c53278aece31bc2ad1e443ac502d1dd7fc6d2.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/4f68c914ab49053476c6688522291b4500cf7a
/usr/lib/debug/.build-id/36/4f68c914ab49053476c6688522291b4500cf7a.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/3b8d7d9183d8ed8b3e5c344812fd0cfa6f08b2
/usr/lib/debug/.build-id/3b/3b8d7d9183d8ed8b3e5c344812fd0cfa6f08b2.debug
/usr/lib/debug/.build-id/3b/44302530d69543c695d0e563d3dcd73e5bffd2
/usr/lib/debug/.build-id/3b/44302530d69543c695d0e563d3dcd73e5bffd2.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/84d26b12a76f5363dbb3f4f5cce36a1f47b922
/usr/lib/debug/.build-id/3d/84d26b12a76f5363dbb3f4f5cce36a1f47b922.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/874893cc5a652ac1d3e7d94218ba82ecac1196
/usr/lib/debug/.build-id/44/874893cc5a652ac1d3e7d94218ba82ecac1196.debug
/usr/lib/debug/.build-id/50
/usr/lib/debug/.build-id/50/501eef94a3cd6c0a6b516f2d6ecdccce50d8ff
/usr/lib/debug/.build-id/50/501eef94a3cd6c0a6b516f2d6ecdccce50d8ff.debug
/usr/lib/debug/.build-id/59
/usr/lib/debug/.build-id/59/ae0be5d5cadc12b644cef026c67e4446ef8311
/usr/lib/debug/.build-id/59/ae0be5d5cadc12b644cef026c67e4446ef8311.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/e11aeae5f2bf9ed110f8751de055ea80d07834
/usr/lib/debug/.build-id/5a/e11aeae5f2bf9ed110f8751de055ea80d07834.debug
/usr/lib/debug/.build-id/5d
/usr/lib/debug/.build-id/5d/a81d21c23907c04f5b6ee6cc8948b8147b1618
/usr/lib/debug/.build-id/5d/a81d21c23907c04f5b6ee6cc8948b8147b1618.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/40f4943aa4238d82d4a9172e724aba1e1bd096
/usr/lib/debug/.build-id/61/40f4943aa4238d82d4a9172e724aba1e1bd096.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/9ab0b9bbe836c355131fd4922ef2551efd998b
/usr/lib/debug/.build-id/6e/9ab0b9bbe836c355131fd4922ef2551efd998b.debug
/usr/lib/debug/.build-id/6e/a57874e6e6233e7818d0cb7398ecde68046830
/usr/lib/debug/.build-id/6e/a57874e6e6233e7818d0cb7398ecde68046830.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/4b863c20b6ba5579d661c83ea418addb151288
/usr/lib/debug/.build-id/74/4b863c20b6ba5579d661c83ea418addb151288.debug
/usr/lib/debug/.build-id/74/5c15d4e1bd599b4d0b7770bb2cd4010001a505
/usr/lib/debug/.build-id/74/5c15d4e1bd599b4d0b7770bb2cd4010001a505.debug
/usr/lib/debug/.build-id/75
/usr/lib/debug/.build-id/75/185da49268b26fdd818169ad60849218466300
/usr/lib/debug/.build-id/75/185da49268b26fdd818169ad60849218466300.debug
/usr/lib/debug/.build-id/79
/usr/lib/debug/.build-id/79/5035d703919bba9c92207ee616b4902c5a3a5d
/usr/lib/debug/.build-id/79/5035d703919bba9c92207ee616b4902c5a3a5d.debug
/usr/lib/debug/.build-id/80
/usr/lib/debug/.build-id/80/2d5a537e0f40075eaffa7b79719270d7d10327
/usr/lib/debug/.build-id/80/2d5a537e0f40075eaffa7b79719270d7d10327.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/1b39754a365fe54131e791a8e184817ed27b7a
/usr/lib/debug/.build-id/87/1b39754a365fe54131e791a8e184817ed27b7a.debug
/usr/lib/debug/.build-id/97
/usr/lib/debug/.build-id/97/74729fa6ef6262564227283bcefd9a32679b8a
/usr/lib/debug/.build-id/97/74729fa6ef6262564227283bcefd9a32679b8a.debug
/usr/lib/debug/.build-id/9d
/usr/lib/debug/.build-id/9d/56b495cc56cf55ddf8710e1df4a8a2bb188787
/usr/lib/debug/.build-id/9d/56b495cc56cf55ddf8710e1df4a8a2bb188787.debug
/usr/lib/debug/.build-id/a4
/usr/lib/debug/.build-id/a4/566ae4298385869733e1a85012a2c86f05f604
/usr/lib/debug/.build-id/a4/566ae4298385869733e1a85012a2c86f05f604.debug
/usr/lib/debug/.build-id/a8
/usr/lib/debug/.build-id/a8/b38f6eb46267d4b90f5c4fd6c94a1835fca958
/usr/lib/debug/.build-id/a8/b38f6eb46267d4b90f5c4fd6c94a1835fca958.debug
/usr/lib/debug/.build-id/aa
/usr/lib/debug/.build-id/aa/1e41b8dfc41f79a11d5eb9e928392616f7745c
/usr/lib/debug/.build-id/aa/1e41b8dfc41f79a11d5eb9e928392616f7745c.debug
/usr/lib/debug/.build-id/ab
/usr/lib/debug/.build-id/ab/878881ce26dfed0c6a93ed83ab8cfdc38e03e6
/usr/lib/debug/.build-id/ab/878881ce26dfed0c6a93ed83ab8cfdc38e03e6.debug
/usr/lib/debug/.build-id/ab/c3d027566fd13c86b19c4fabb2ec24f850e09c
/usr/lib/debug/.build-id/ab/c3d027566fd13c86b19c4fabb2ec24f850e09c.debug
/usr/lib/debug/.build-id/b5
/usr/lib/debug/.build-id/b5/479bd2d03b8805b28b57366daa7f23e8746138
/usr/lib/debug/.build-id/b5/479bd2d03b8805b28b57366daa7f23e8746138.debug
/usr/lib/debug/.build-id/ba
/usr/lib/debug/.build-id/ba/6b7dc46591f5066b2c893d4eca65192b2dee7d
/usr/lib/debug/.build-id/ba/6b7dc46591f5066b2c893d4eca65192b2dee7d.debug
/usr/lib/debug/.build-id/c1
/usr/lib/debug/.build-id/c1/29aeaecf622d98709120e5e9589f79ae97d1fe
/usr/lib/debug/.build-id/c1/29aeaecf622d98709120e5e9589f79ae97d1fe.debug
/usr/lib/debug/.build-id/c9
/usr/lib/debug/.build-id/c9/8f7f08d97b1feca5e5f723fbd40ab11c23da2a
/usr/lib/debug/.build-id/c9/8f7f08d97b1feca5e5f723fbd40ab11c23da2a.debug
/usr/lib/debug/.build-id/cf
/usr/lib/debug/.build-id/cf/dddb1db23af09c6f43e989ec99d41be025ea33
/usr/lib/debug/.build-id/cf/dddb1db23af09c6f43e989ec99d41be025ea33.debug
/usr/lib/debug/.build-id/d6
/usr/lib/debug/.build-id/d6/025e90a1c538b620d05183703ed13b9d024755
/usr/lib/debug/.build-id/d6/025e90a1c538b620d05183703ed13b9d024755.debug
/usr/lib/debug/.build-id/d8
/usr/lib/debug/.build-id/d8/005a564ea9efd760e9c264a14b71450228c596
/usr/lib/debug/.build-id/d8/005a564ea9efd760e9c264a14b71450228c596.debug
/usr/lib/debug/.build-id/d8/303e0fa67e57a27ae8a8d724a2f99a36f7f532
/usr/lib/debug/.build-id/d8/303e0fa67e57a27ae8a8d724a2f99a36f7f532.debug
/usr/lib/debug/.build-id/d9
/usr/lib/debug/.build-id/d9/4a8bae8540b2a28b6910a9cf4f178c909ce3fe
/usr/lib/debug/.build-id/d9/4a8bae8540b2a28b6910a9cf4f178c909ce3fe.debug
/usr/lib/debug/.build-id/db
/usr/lib/debug/.build-id/db/64a18e066c061caf0fc2ba668aff403cf08ef1
/usr/lib/debug/.build-id/db/64a18e066c061caf0fc2ba668aff403cf08ef1.debug
/usr/lib/debug/.build-id/db/833e4ab1ea1db652312948843d354a30a7a847
/usr/lib/debug/.build-id/db/833e4ab1ea1db652312948843d354a30a7a847.debug
/usr/lib/debug/.build-id/de
/usr/lib/debug/.build-id/de/232ffa82fa3fdc08501bb731684ee2ea7db44d
/usr/lib/debug/.build-id/de/232ffa82fa3fdc08501bb731684ee2ea7db44d.debug
/usr/lib/debug/.build-id/e0
/usr/lib/debug/.build-id/e0/ecb452d37e97f5bcc1eab5115615c259f42767
/usr/lib/debug/.build-id/e0/ecb452d37e97f5bcc1eab5115615c259f42767.debug
/usr/lib/debug/.build-id/e4
/usr/lib/debug/.build-id/e4/ce83c91ad32e4c8944b4f01defdf7569e3c991
/usr/lib/debug/.build-id/e4/ce83c91ad32e4c8944b4f01defdf7569e3c991.debug
/usr/lib/debug/.build-id/e5
/usr/lib/debug/.build-id/e5/d54527c5fd44c069c60122e8cef2256ae84e0b
/usr/lib/debug/.build-id/e5/d54527c5fd44c069c60122e8cef2256ae84e0b.debug
/usr/lib/debug/.build-id/e8
/usr/lib/debug/.build-id/e8/bc3a405ddea3d43f57b74cc6bf780a2458f567
/usr/lib/debug/.build-id/e8/bc3a405ddea3d43f57b74cc6bf780a2458f567.debug
/usr/lib/debug/.build-id/f8
/usr/lib/debug/.build-id/f8/3fc84e0c258e7804bf6c8b981a2f64195e0b7d
/usr/lib/debug/.build-id/f8/3fc84e0c258e7804bf6c8b981a2f64195e0b7d.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/037dca2f2d62b019171b109e77c7bd02d69938
/usr/lib/debug/.build-id/fb/037dca2f2d62b019171b109e77c7bd02d69938.debug
/usr/lib/debug/.build-id/fb/816d1ef126b00267b161e81140c7673f483726
/usr/lib/debug/.build-id/fb/816d1ef126b00267b161e81140c7673f483726.debug
/usr/lib/debug/.build-id/fc
/usr/lib/debug/.build-id/fc/21a1756a8bb8ba4c48cf8d653b563e7293c765
/usr/lib/debug/.build-id/fc/21a1756a8bb8ba4c48cf8d653b563e7293c765.debug
/usr/lib/debug/.build-id/fc/e62dc197a598a270fb33fa768b0493f9a5cc93
/usr/lib/debug/.build-id/fc/e62dc197a598a270fb33fa768b0493f9a5cc93.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.1.1-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.1.1-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/rocq-9.1.1-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/rocqchk-9.1.1-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/votour-9.1.1-1.fc44.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.1.1-1.fc44.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.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.1.1-1.fc44.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.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.1.1-1.fc44.aarch64.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.aarch64.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.aarch64.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.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.1.1-1.fc44.aarch64.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.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.1.1-1.fc44.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.1.1-1.fc44.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.1.1-1.fc44.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 2 00:50:25 2026