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-1.fc44 RPM for ppc64le

From Fedora 44 updates for ppc64le / debug / Packages / r

Name: rocq-runtime-debuginfo Distribution: Fedora Project
Version: 9.3.0 Vendor: Fedora Project
Release: 1.fc44 Build date: Mon Oct 5 22:48:41 2026
Group: Development/Debug Build host: buildvm-ppc64le-32.rdu3.fedoraproject.org
Size: 54997761 Source RPM: rocq-9.3.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

* Mon Oct 05 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-1
  - Version 9.3.0
  - 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/8d08054895bd730bb442227d54eb28edbe4f73
/usr/lib/debug/.build-id/04/8d08054895bd730bb442227d54eb28edbe4f73.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/881ae7017c751310451ea8680b8e451df1c5b5
/usr/lib/debug/.build-id/07/881ae7017c751310451ea8680b8e451df1c5b5.debug
/usr/lib/debug/.build-id/07/a12da9897d92df40eb915632c545f16dfe0c31
/usr/lib/debug/.build-id/07/a12da9897d92df40eb915632c545f16dfe0c31.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/ca2ae78315ee19bc687c8209aea251c48b8338
/usr/lib/debug/.build-id/0c/ca2ae78315ee19bc687c8209aea251c48b8338.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/8196adb677fcfcfc379f77d37ead287895cfc2
/usr/lib/debug/.build-id/10/8196adb677fcfcfc379f77d37ead287895cfc2.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/6befdc7fab7059e4105306dc91f7920ba1b89a
/usr/lib/debug/.build-id/12/6befdc7fab7059e4105306dc91f7920ba1b89a.debug
/usr/lib/debug/.build-id/12/e2cd9acaf506a6b6aef9f9152ff22f3df8299c
/usr/lib/debug/.build-id/12/e2cd9acaf506a6b6aef9f9152ff22f3df8299c.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/7c3e4922930259fa8bb3ded0d513118724424c
/usr/lib/debug/.build-id/13/7c3e4922930259fa8bb3ded0d513118724424c.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/0e1a4cb05c79b2651709b7a086338ee3b1d17a
/usr/lib/debug/.build-id/18/0e1a4cb05c79b2651709b7a086338ee3b1d17a.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/062df348e699e8fa83cf8f7e18a9ccd27cc43b
/usr/lib/debug/.build-id/1a/062df348e699e8fa83cf8f7e18a9ccd27cc43b.debug
/usr/lib/debug/.build-id/1a/a0a3c1873e65411b2cb9fa1a654f3b375ae385
/usr/lib/debug/.build-id/1a/a0a3c1873e65411b2cb9fa1a654f3b375ae385.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/c5c395a2ad916dffbe8b09d9981608501fd838
/usr/lib/debug/.build-id/33/c5c395a2ad916dffbe8b09d9981608501fd838.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/e8d8c6412ac216db5d0b3506f5d1060be8b08c
/usr/lib/debug/.build-id/36/e8d8c6412ac216db5d0b3506f5d1060be8b08c.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/dbc67249f91d63e62408613d151350aae77719
/usr/lib/debug/.build-id/49/dbc67249f91d63e62408613d151350aae77719.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/a9e9918045bf1a23f8474ba2004442f562a5aa
/usr/lib/debug/.build-id/4c/a9e9918045bf1a23f8474ba2004442f562a5aa.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/46b89bebfa794138cb08e48a70348fbdc83cf6
/usr/lib/debug/.build-id/4f/46b89bebfa794138cb08e48a70348fbdc83cf6.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/9ca8633d95bc7255df93021fcf80fc6bfc9446
/usr/lib/debug/.build-id/51/9ca8633d95bc7255df93021fcf80fc6bfc9446.debug
/usr/lib/debug/.build-id/52
/usr/lib/debug/.build-id/52/281186851420c20ada24c7356162a7094cf73f
/usr/lib/debug/.build-id/52/281186851420c20ada24c7356162a7094cf73f.debug
/usr/lib/debug/.build-id/57
/usr/lib/debug/.build-id/57/5e1e745208455b271692cdf3f71459eaefb061
/usr/lib/debug/.build-id/57/5e1e745208455b271692cdf3f71459eaefb061.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/189d5851ab18a8459900eb1e2cfd7072848962
/usr/lib/debug/.build-id/58/189d5851ab18a8459900eb1e2cfd7072848962.debug
/usr/lib/debug/.build-id/59
/usr/lib/debug/.build-id/59/8a8b699030d5d5b9b5cf54d905aeba4679f8f9
/usr/lib/debug/.build-id/59/8a8b699030d5d5b9b5cf54d905aeba4679f8f9.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/3367b4d0abbf9de61fdc88d24caa64557819d5
/usr/lib/debug/.build-id/5a/3367b4d0abbf9de61fdc88d24caa64557819d5.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/c4aaae76c1c228548b32f50721106719dc8b16
/usr/lib/debug/.build-id/61/c4aaae76c1c228548b32f50721106719dc8b16.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/2b8540adb49f9e672acae71b9f5d0472e5c50e
/usr/lib/debug/.build-id/63/2b8540adb49f9e672acae71b9f5d0472e5c50e.debug
/usr/lib/debug/.build-id/66
/usr/lib/debug/.build-id/66/a971ee00e47c92f34123416116691366b5cc78
/usr/lib/debug/.build-id/66/a971ee00e47c92f34123416116691366b5cc78.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/e9e455c1c6ae5df891ae3cd9649b834594cdb8
/usr/lib/debug/.build-id/69/e9e455c1c6ae5df891ae3cd9649b834594cdb8.debug
/usr/lib/debug/.build-id/6b
/usr/lib/debug/.build-id/6b/db7fa7a3303ffe06ecb1dab959b4af90ea78ef
/usr/lib/debug/.build-id/6b/db7fa7a3303ffe06ecb1dab959b4af90ea78ef.debug
/usr/lib/debug/.build-id/77
/usr/lib/debug/.build-id/77/63da98efd9428f25b46d0b62270205a665fa88
/usr/lib/debug/.build-id/77/63da98efd9428f25b46d0b62270205a665fa88.debug
/usr/lib/debug/.build-id/7a
/usr/lib/debug/.build-id/7a/75baebe33a51d47c40f18cab204e7485433496
/usr/lib/debug/.build-id/7a/75baebe33a51d47c40f18cab204e7485433496.debug
/usr/lib/debug/.build-id/7d
/usr/lib/debug/.build-id/7d/91e82e7b6edd78a6199d30f106b363debf6ba7
/usr/lib/debug/.build-id/7d/91e82e7b6edd78a6199d30f106b363debf6ba7.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/b5b42b7d1453415f1e77626c4b27382b32a525
/usr/lib/debug/.build-id/84/b5b42b7d1453415f1e77626c4b27382b32a525.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/2febc91c2db16f5631c10937f6f8b00cd3060d
/usr/lib/debug/.build-id/85/2febc91c2db16f5631c10937f6f8b00cd3060d.debug
/usr/lib/debug/.build-id/88
/usr/lib/debug/.build-id/88/83318fef736423870969a140bcf6058bd6e3e4
/usr/lib/debug/.build-id/88/83318fef736423870969a140bcf6058bd6e3e4.debug
/usr/lib/debug/.build-id/89
/usr/lib/debug/.build-id/89/964541cc63e86014c8d200f2ef4927c32b7706
/usr/lib/debug/.build-id/89/964541cc63e86014c8d200f2ef4927c32b7706.debug
/usr/lib/debug/.build-id/89/b8630cafad8acd75c2d9fcd2249891a18802fe
/usr/lib/debug/.build-id/89/b8630cafad8acd75c2d9fcd2249891a18802fe.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/c827a71909483b04a14a7621e86a1a89fb346b
/usr/lib/debug/.build-id/8e/c827a71909483b04a14a7621e86a1a89fb346b.debug
/usr/lib/debug/.build-id/99
/usr/lib/debug/.build-id/99/1c9fbd668f82468a6ad9077a2b6490ca234164
/usr/lib/debug/.build-id/99/1c9fbd668f82468a6ad9077a2b6490ca234164.debug
/usr/lib/debug/.build-id/99/d724ebe5b1495a9e75718e08edf25d13119719
/usr/lib/debug/.build-id/99/d724ebe5b1495a9e75718e08edf25d13119719.debug
/usr/lib/debug/.build-id/9f
/usr/lib/debug/.build-id/9f/2ef47f4904ee750de8e54f79be2a10a94c2471
/usr/lib/debug/.build-id/9f/2ef47f4904ee750de8e54f79be2a10a94c2471.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/737e03cec04fa23df49dbf66b303c119a8568a
/usr/lib/debug/.build-id/a2/737e03cec04fa23df49dbf66b303c119a8568a.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/650656161f5dbc907976f01a68966750a5380d
/usr/lib/debug/.build-id/a5/650656161f5dbc907976f01a68966750a5380d.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/27e6f342e7ea7202613f34167f5a88950bc74d
/usr/lib/debug/.build-id/a9/27e6f342e7ea7202613f34167f5a88950bc74d.debug
/usr/lib/debug/.build-id/ab
/usr/lib/debug/.build-id/ab/1d4c77d5836b770727af090bdab132dd6fd3f6
/usr/lib/debug/.build-id/ab/1d4c77d5836b770727af090bdab132dd6fd3f6.debug
/usr/lib/debug/.build-id/af
/usr/lib/debug/.build-id/af/ddfd7701aa217d95bb8b3d4fd36a93b0a721c5
/usr/lib/debug/.build-id/af/ddfd7701aa217d95bb8b3d4fd36a93b0a721c5.debug
/usr/lib/debug/.build-id/bf
/usr/lib/debug/.build-id/bf/da1d85e019c2562f0dee0eb98d2594ca0ef63e
/usr/lib/debug/.build-id/bf/da1d85e019c2562f0dee0eb98d2594ca0ef63e.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/54ea80b422c11265400fde83bee5f33c0e574d
/usr/lib/debug/.build-id/c2/54ea80b422c11265400fde83bee5f33c0e574d.debug
/usr/lib/debug/.build-id/c4
/usr/lib/debug/.build-id/c4/2432e3498283adea4c58572db396c679aa3f1c
/usr/lib/debug/.build-id/c4/2432e3498283adea4c58572db396c679aa3f1c.debug
/usr/lib/debug/.build-id/c4/965c723314461340b4cf3b49a2fea6b395c5be
/usr/lib/debug/.build-id/c4/965c723314461340b4cf3b49a2fea6b395c5be.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/b4932668716abe38b6d5473a3f69b6e86c0cd6
/usr/lib/debug/.build-id/c5/b4932668716abe38b6d5473a3f69b6e86c0cd6.debug
/usr/lib/debug/.build-id/c6
/usr/lib/debug/.build-id/c6/5ae912b4ae31340e0f8e7d93ef7a74c5365404
/usr/lib/debug/.build-id/c6/5ae912b4ae31340e0f8e7d93ef7a74c5365404.debug
/usr/lib/debug/.build-id/c9
/usr/lib/debug/.build-id/c9/ab1e5677ae7cc39a2f1ec5127347951a70843b
/usr/lib/debug/.build-id/c9/ab1e5677ae7cc39a2f1ec5127347951a70843b.debug
/usr/lib/debug/.build-id/cb
/usr/lib/debug/.build-id/cb/c42303d994691d991881b6aeadb0fba5fdd4ad
/usr/lib/debug/.build-id/cb/c42303d994691d991881b6aeadb0fba5fdd4ad.debug
/usr/lib/debug/.build-id/ce
/usr/lib/debug/.build-id/ce/0092ccaa5de5d4ae621b304bede593fc4f225a
/usr/lib/debug/.build-id/ce/0092ccaa5de5d4ae621b304bede593fc4f225a.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/cf35769cee89c458a8df238dba8fd22e441ddc
/usr/lib/debug/.build-id/d4/cf35769cee89c458a8df238dba8fd22e441ddc.debug
/usr/lib/debug/.build-id/d7
/usr/lib/debug/.build-id/d7/9c96de5bd1862cc29c2a8546a7165ecde93230
/usr/lib/debug/.build-id/d7/9c96de5bd1862cc29c2a8546a7165ecde93230.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/51098b88ee376503d937554fe7ef8c9f3067b1
/usr/lib/debug/.build-id/dd/51098b88ee376503d937554fe7ef8c9f3067b1.debug
/usr/lib/debug/.build-id/de
/usr/lib/debug/.build-id/de/312be43eeca5d14c754c5c093b4dcde91d2028
/usr/lib/debug/.build-id/de/312be43eeca5d14c754c5c093b4dcde91d2028.debug
/usr/lib/debug/.build-id/e4
/usr/lib/debug/.build-id/e4/031c302ef9fc77dc69fb27b851585668e5295a
/usr/lib/debug/.build-id/e4/031c302ef9fc77dc69fb27b851585668e5295a.debug
/usr/lib/debug/.build-id/e8
/usr/lib/debug/.build-id/e8/f972b51a98fdeb4c0b2cb5048047e77b2c87ec
/usr/lib/debug/.build-id/e8/f972b51a98fdeb4c0b2cb5048047e77b2c87ec.debug
/usr/lib/debug/.build-id/ed
/usr/lib/debug/.build-id/ed/334fdbc6456a1c44cb57e5d2506f78d5f2478d
/usr/lib/debug/.build-id/ed/334fdbc6456a1c44cb57e5d2506f78d5f2478d.debug
/usr/lib/debug/.build-id/ed/d74b804368fd253f0f9689e1f46dc00f1af272
/usr/lib/debug/.build-id/ed/d74b804368fd253f0f9689e1f46dc00f1af272.debug
/usr/lib/debug/.build-id/f1
/usr/lib/debug/.build-id/f1/0323b5f7b906202d8120e5215ff546cc54982f
/usr/lib/debug/.build-id/f1/0323b5f7b906202d8120e5215ff546cc54982f.debug
/usr/lib/debug/.build-id/f2
/usr/lib/debug/.build-id/f2/c7f0e72ea44d144622680a20030797195bb7c8
/usr/lib/debug/.build-id/f2/c7f0e72ea44d144622680a20030797195bb7c8.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/2090ea42dfaed08f796c9ceb1df8ae1a445765
/usr/lib/debug/.build-id/fd/2090ea42dfaed08f796c9ceb1df8ae1a445765.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/rocq-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/rocqchk-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/votour-9.3.0-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.3.0-1.fc44.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-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.3.0-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.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-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.3.0-1.fc44.ppc64le.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Oct 7 04:49:32 2026