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

rocq-runtime-debuginfo-9.2.0-1.fc44 RPM for x86_64

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

Name: rocq-runtime-debuginfo Distribution: Fedora Project
Version: 9.2.0 Vendor: Fedora Project
Release: 1.fc44 Build date: Fri Apr 17 22:01:38 2026
Group: Development/Debug Build host: buildvm-x86-10.rdu3.fedoraproject.org
Size: 81875642 Source RPM: rocq-9.2.0-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

* 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/0efb48f0f46a53c7099a7f06a30251c13902e7
/usr/lib/debug/.build-id/04/0efb48f0f46a53c7099a7f06a30251c13902e7.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/577bbe4ab7e75de659e17397c81602beef6bfc
/usr/lib/debug/.build-id/0c/577bbe4ab7e75de659e17397c81602beef6bfc.debug
/usr/lib/debug/.build-id/0c/a504b34f940b040d00fd52e93d366f9c78aefa
/usr/lib/debug/.build-id/0c/a504b34f940b040d00fd52e93d366f9c78aefa.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/af03570898d069fc1d3abd468ff99fe946fd2b
/usr/lib/debug/.build-id/0f/af03570898d069fc1d3abd468ff99fe946fd2b.debug
/usr/lib/debug/.build-id/17
/usr/lib/debug/.build-id/17/301254d38d57822941aab156dcf7d8ed6accd3
/usr/lib/debug/.build-id/17/301254d38d57822941aab156dcf7d8ed6accd3.debug
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/c3c1616ae29b0311e1c9ec421d3a6013885fbc
/usr/lib/debug/.build-id/1d/c3c1616ae29b0311e1c9ec421d3a6013885fbc.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/ad419221550425d1210114d8dd304be55b903d
/usr/lib/debug/.build-id/1e/ad419221550425d1210114d8dd304be55b903d.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/03c8c066cc20b4d5bad17030b6c41f506b9297
/usr/lib/debug/.build-id/20/03c8c066cc20b4d5bad17030b6c41f506b9297.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/1860bbd79803c2d9085dd8cb59df3c46f57b09
/usr/lib/debug/.build-id/23/1860bbd79803c2d9085dd8cb59df3c46f57b09.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/fb390dee50f192a3b385d3ba88d513284f348a
/usr/lib/debug/.build-id/27/fb390dee50f192a3b385d3ba88d513284f348a.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/72800c45e7d384cd15d750ea4f299347e7d6b4
/usr/lib/debug/.build-id/29/72800c45e7d384cd15d750ea4f299347e7d6b4.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/492e1b9024967042ab0a575ef9cb8562d1cca1
/usr/lib/debug/.build-id/2b/492e1b9024967042ab0a575ef9cb8562d1cca1.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/3f6f8a4727cfcc7e496b84dbac06b421d5bf50
/usr/lib/debug/.build-id/2d/3f6f8a4727cfcc7e496b84dbac06b421d5bf50.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/f8a830ee54dbaa3fae7dd922309dc7c4b36bd7
/usr/lib/debug/.build-id/35/f8a830ee54dbaa3fae7dd922309dc7c4b36bd7.debug
/usr/lib/debug/.build-id/35/fd4b5aeca13ac43b03fa07eb59b7c8f826a840
/usr/lib/debug/.build-id/35/fd4b5aeca13ac43b03fa07eb59b7c8f826a840.debug
/usr/lib/debug/.build-id/38
/usr/lib/debug/.build-id/38/ef028910bdc1573667b6e621862cd869afcec2
/usr/lib/debug/.build-id/38/ef028910bdc1573667b6e621862cd869afcec2.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/adeef79ad4d9eaf9b48b7346cfeb269f14e1f7
/usr/lib/debug/.build-id/3b/adeef79ad4d9eaf9b48b7346cfeb269f14e1f7.debug
/usr/lib/debug/.build-id/43
/usr/lib/debug/.build-id/43/bf0607c262f55d8e774285049e11c4010a2240
/usr/lib/debug/.build-id/43/bf0607c262f55d8e774285049e11c4010a2240.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/52417848f9fb8b57d0b59f30c5a28c9e34db24
/usr/lib/debug/.build-id/47/52417848f9fb8b57d0b59f30c5a28c9e34db24.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/8d266c49677e729625664db7563acec2a2d0da
/usr/lib/debug/.build-id/4e/8d266c49677e729625664db7563acec2a2d0da.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/4495cb00221444acc41197e9ef52dc35869124
/usr/lib/debug/.build-id/4f/4495cb00221444acc41197e9ef52dc35869124.debug
/usr/lib/debug/.build-id/56
/usr/lib/debug/.build-id/56/9a5a568c7c87efe5438eb52449b389921f9c4b
/usr/lib/debug/.build-id/56/9a5a568c7c87efe5438eb52449b389921f9c4b.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/dc5cddd911064a8b7a369f5f5cd1f1848e065b
/usr/lib/debug/.build-id/58/dc5cddd911064a8b7a369f5f5cd1f1848e065b.debug
/usr/lib/debug/.build-id/5e
/usr/lib/debug/.build-id/5e/2d2d9c946c8b45ed8b57486d1fbaf563db9c16
/usr/lib/debug/.build-id/5e/2d2d9c946c8b45ed8b57486d1fbaf563db9c16.debug
/usr/lib/debug/.build-id/65
/usr/lib/debug/.build-id/65/5e7ff1d9b2ae4a0ceafe780204224aeb84de29
/usr/lib/debug/.build-id/65/5e7ff1d9b2ae4a0ceafe780204224aeb84de29.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/f765c9ca0893426fe7dea4773ee2f912efd40e
/usr/lib/debug/.build-id/6a/f765c9ca0893426fe7dea4773ee2f912efd40e.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/f5e3357bfc4934c9f620b69afd2ec969c7dab2
/usr/lib/debug/.build-id/6e/f5e3357bfc4934c9f620b69afd2ec969c7dab2.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/65e5b439fbdfcd8373f5ed27c381ef08b81488
/usr/lib/debug/.build-id/70/65e5b439fbdfcd8373f5ed27c381ef08b81488.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/1c2f6a5327de59714e8358a52de69037220f46
/usr/lib/debug/.build-id/7c/1c2f6a5327de59714e8358a52de69037220f46.debug
/usr/lib/debug/.build-id/7c/b57473ee6fd7db35ff08cdd839bc5045835fa9
/usr/lib/debug/.build-id/7c/b57473ee6fd7db35ff08cdd839bc5045835fa9.debug
/usr/lib/debug/.build-id/82
/usr/lib/debug/.build-id/82/a0e76a6ea6fdfac5a8767cabb88495c5e3d567
/usr/lib/debug/.build-id/82/a0e76a6ea6fdfac5a8767cabb88495c5e3d567.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/4453a796b25e6884e24d2734ecf3d18d695d73
/usr/lib/debug/.build-id/84/4453a796b25e6884e24d2734ecf3d18d695d73.debug
/usr/lib/debug/.build-id/84/f90599a38d307978d0dc32f56ec7af074260cf
/usr/lib/debug/.build-id/84/f90599a38d307978d0dc32f56ec7af074260cf.debug
/usr/lib/debug/.build-id/8a
/usr/lib/debug/.build-id/8a/159f17dcbcf4bc04a0ca9537e5934bc89d7175
/usr/lib/debug/.build-id/8a/159f17dcbcf4bc04a0ca9537e5934bc89d7175.debug
/usr/lib/debug/.build-id/97
/usr/lib/debug/.build-id/97/f44264a13ac5030a9028c6c0233f824039d857
/usr/lib/debug/.build-id/97/f44264a13ac5030a9028c6c0233f824039d857.debug
/usr/lib/debug/.build-id/9b
/usr/lib/debug/.build-id/9b/0a0cf0a6bdb282abad705b8edecfb5cb30e197
/usr/lib/debug/.build-id/9b/0a0cf0a6bdb282abad705b8edecfb5cb30e197.debug
/usr/lib/debug/.build-id/a4
/usr/lib/debug/.build-id/a4/b32031826191b469b9187370802a8b45c36ac7
/usr/lib/debug/.build-id/a4/b32031826191b469b9187370802a8b45c36ac7.debug
/usr/lib/debug/.build-id/a4/c386aea5dfab636bb53a23d8544e228c51e45e
/usr/lib/debug/.build-id/a4/c386aea5dfab636bb53a23d8544e228c51e45e.debug
/usr/lib/debug/.build-id/a6
/usr/lib/debug/.build-id/a6/907c5e75b378af61e0200163150578b7d9fe52
/usr/lib/debug/.build-id/a6/907c5e75b378af61e0200163150578b7d9fe52.debug
/usr/lib/debug/.build-id/a8
/usr/lib/debug/.build-id/a8/008e97b504b7238d0b30c3f06258d1a70ff307
/usr/lib/debug/.build-id/a8/008e97b504b7238d0b30c3f06258d1a70ff307.debug
/usr/lib/debug/.build-id/ac
/usr/lib/debug/.build-id/ac/525f6b64b3579580e0f1764e3e56c491444be9
/usr/lib/debug/.build-id/ac/525f6b64b3579580e0f1764e3e56c491444be9.debug
/usr/lib/debug/.build-id/ad
/usr/lib/debug/.build-id/ad/f1952e1b0700696a0321401ca81c6dfdb71b01
/usr/lib/debug/.build-id/ad/f1952e1b0700696a0321401ca81c6dfdb71b01.debug
/usr/lib/debug/.build-id/ae
/usr/lib/debug/.build-id/ae/2cc1825d886c212b2f6431ecff74ca817136e9
/usr/lib/debug/.build-id/ae/2cc1825d886c212b2f6431ecff74ca817136e9.debug
/usr/lib/debug/.build-id/ae/80047149efc475b82f6d133bc6549f2d858ae9
/usr/lib/debug/.build-id/ae/80047149efc475b82f6d133bc6549f2d858ae9.debug
/usr/lib/debug/.build-id/b0
/usr/lib/debug/.build-id/b0/49f43f07f862e97c79e2d5f69323b21903fc78
/usr/lib/debug/.build-id/b0/49f43f07f862e97c79e2d5f69323b21903fc78.debug
/usr/lib/debug/.build-id/b2
/usr/lib/debug/.build-id/b2/0e3c1eceec29b4d2dca823f7df97679012af57
/usr/lib/debug/.build-id/b2/0e3c1eceec29b4d2dca823f7df97679012af57.debug
/usr/lib/debug/.build-id/b4
/usr/lib/debug/.build-id/b4/867b6544830b087449a9c4000e97e08a2d3591
/usr/lib/debug/.build-id/b4/867b6544830b087449a9c4000e97e08a2d3591.debug
/usr/lib/debug/.build-id/b5
/usr/lib/debug/.build-id/b5/03272a129b3384992600dc845b4fef0692daca
/usr/lib/debug/.build-id/b5/03272a129b3384992600dc845b4fef0692daca.debug
/usr/lib/debug/.build-id/c1
/usr/lib/debug/.build-id/c1/f7160bc0050e9d0aea2b83753a684951d3e052
/usr/lib/debug/.build-id/c1/f7160bc0050e9d0aea2b83753a684951d3e052.debug
/usr/lib/debug/.build-id/c9
/usr/lib/debug/.build-id/c9/a2b54514dc3a2946dffc34c386c2af9d219b78
/usr/lib/debug/.build-id/c9/a2b54514dc3a2946dffc34c386c2af9d219b78.debug
/usr/lib/debug/.build-id/cd
/usr/lib/debug/.build-id/cd/72784339422989b86710caf546ca9331e7cb89
/usr/lib/debug/.build-id/cd/72784339422989b86710caf546ca9331e7cb89.debug
/usr/lib/debug/.build-id/cd/b47e255cd0d2c1f13deaea0e9897cbb4a1c9f4
/usr/lib/debug/.build-id/cd/b47e255cd0d2c1f13deaea0e9897cbb4a1c9f4.debug
/usr/lib/debug/.build-id/cf
/usr/lib/debug/.build-id/cf/184122dc042564e8329c2991a3298f9be1d991
/usr/lib/debug/.build-id/cf/184122dc042564e8329c2991a3298f9be1d991.debug
/usr/lib/debug/.build-id/d3
/usr/lib/debug/.build-id/d3/570b84384844ba7fc7d16f32b7a72b3c462ee0
/usr/lib/debug/.build-id/d3/570b84384844ba7fc7d16f32b7a72b3c462ee0.debug
/usr/lib/debug/.build-id/df
/usr/lib/debug/.build-id/df/8f1b2756eddf2b59dd7921506d2d712127a3f9
/usr/lib/debug/.build-id/df/8f1b2756eddf2b59dd7921506d2d712127a3f9.debug
/usr/lib/debug/.build-id/e1
/usr/lib/debug/.build-id/e1/8d94483e83f27f2c53d8aea47b0a58bfdfd70b
/usr/lib/debug/.build-id/e1/8d94483e83f27f2c53d8aea47b0a58bfdfd70b.debug
/usr/lib/debug/.build-id/e2
/usr/lib/debug/.build-id/e2/3a386d4b93000b06edee6fb409658df5e50bfc
/usr/lib/debug/.build-id/e2/3a386d4b93000b06edee6fb409658df5e50bfc.debug
/usr/lib/debug/.build-id/ed
/usr/lib/debug/.build-id/ed/f334e3cf9d0a7935384330811fbe2b314848f8
/usr/lib/debug/.build-id/ed/f334e3cf9d0a7935384330811fbe2b314848f8.debug
/usr/lib/debug/.build-id/f1
/usr/lib/debug/.build-id/f1/d744c2869109379d60bd2d4379ce9532eb96b2
/usr/lib/debug/.build-id/f1/d744c2869109379d60bd2d4379ce9532eb96b2.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/335e659b6c5fa1c02386e9662112c4005aaa25
/usr/lib/debug/.build-id/f4/335e659b6c5fa1c02386e9662112c4005aaa25.debug
/usr/lib/debug/.build-id/f7
/usr/lib/debug/.build-id/f7/4859de0b1ac9bf61c902e5be850b4dab14739c
/usr/lib/debug/.build-id/f7/4859de0b1ac9bf61c902e5be850b4dab14739c.debug
/usr/lib/debug/.build-id/fc
/usr/lib/debug/.build-id/fc/be29400547e84c806ab593b24690da8898c9a8
/usr/lib/debug/.build-id/fc/be29400547e84c806ab593b24690da8898c9a8.debug
/usr/lib/debug/.build-id/fe
/usr/lib/debug/.build-id/fe/0bd04a493e7e42a79eb5c4e873734711f8ca44
/usr/lib/debug/.build-id/fe/0bd04a493e7e42a79eb5c4e873734711f8ca44.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/bin/rocq-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/bin/rocqchk-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/bin/votour-9.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/clib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/clib/clib.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/config
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/config/config.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqargs
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqargs/coqargs.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqdeplib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqdeplib/coqdeplib.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqworkmgrapi
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/coqworkmgrapi/coqworkmgrApi.cmxs-9.2.0-1.fc44.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.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/dev
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/dev/dev.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/engine
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/engine/engine.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/gramlib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/gramlib/gramlib.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/interp
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/interp/interp.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/kernel
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/kernel/kernel.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/lib
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/lib/lib.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/library
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/library/library.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/parsing
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/parsing/parsing.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/perf
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/perf/coqperf.cmxs-9.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/pretyping
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/pretyping/pretyping.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/printing
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/printing/printing.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/proofs
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/proofs/proofs.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqshim
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqshim/rocqshim.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/stm
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/stm/stm.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/sysinit
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/sysinit/sysinit.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/tactics
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/tactics/tactics.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/toplevel
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/toplevel/toplevel.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vernac
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vernac/vernac.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vm
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/vm/coqrun.cmxs-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.2.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.2.0-1.fc44.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 23 00:06:43 2026