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 aarch64

From Fedora 44 testing updates for aarch64 / 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:02:05 2026
Group: Development/Debug Build host: buildvm-a64-16.rdu3.fedoraproject.org
Size: 77855649 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/06
/usr/lib/debug/.build-id/06/05373e097378e9b7c0bfa402f92cd0fa3b6de2
/usr/lib/debug/.build-id/06/05373e097378e9b7c0bfa402f92cd0fa3b6de2.debug
/usr/lib/debug/.build-id/08
/usr/lib/debug/.build-id/08/641b17f80a59e6bd83e6e559ceca3131554891
/usr/lib/debug/.build-id/08/641b17f80a59e6bd83e6e559ceca3131554891.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/06429fed43cac30451070958336bca256328eb
/usr/lib/debug/.build-id/0c/06429fed43cac30451070958336bca256328eb.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/bc86ccb7970e7c94cfe0ab62cf3ecdd8ce206c
/usr/lib/debug/.build-id/10/bc86ccb7970e7c94cfe0ab62cf3ecdd8ce206c.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/01860f57f73a89152f1f3fb6d5bd08eae40bcc
/usr/lib/debug/.build-id/13/01860f57f73a89152f1f3fb6d5bd08eae40bcc.debug
/usr/lib/debug/.build-id/16
/usr/lib/debug/.build-id/16/84e60a54796f6bcee9bb6014c987c96853c191
/usr/lib/debug/.build-id/16/84e60a54796f6bcee9bb6014c987c96853c191.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/4fcb89da122f2bc4cf64b2f967c949fb95c229
/usr/lib/debug/.build-id/1b/4fcb89da122f2bc4cf64b2f967c949fb95c229.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/6b4dbd1b0476a09a7ca7a5d958dbda2e1eeeaa
/usr/lib/debug/.build-id/22/6b4dbd1b0476a09a7ca7a5d958dbda2e1eeeaa.debug
/usr/lib/debug/.build-id/24
/usr/lib/debug/.build-id/24/cfbbd589abb9aabed97c39ec81ad0e37648e7b
/usr/lib/debug/.build-id/24/cfbbd589abb9aabed97c39ec81ad0e37648e7b.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/ff8a0ef1fc952bb8353748fce674b1fefe41b6
/usr/lib/debug/.build-id/27/ff8a0ef1fc952bb8353748fce674b1fefe41b6.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/fac1fa78cbff8adc512d95c5db77989a6f626e
/usr/lib/debug/.build-id/2a/fac1fa78cbff8adc512d95c5db77989a6f626e.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/62e1e0844b931b056bb311ad82daf41bb809d4
/usr/lib/debug/.build-id/36/62e1e0844b931b056bb311ad82daf41bb809d4.debug
/usr/lib/debug/.build-id/3a
/usr/lib/debug/.build-id/3a/f3567952e47aac5d743c6a47b6fd46cd5461ec
/usr/lib/debug/.build-id/3a/f3567952e47aac5d743c6a47b6fd46cd5461ec.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/20ce427f571fd622334502815ff6256378361c
/usr/lib/debug/.build-id/3d/20ce427f571fd622334502815ff6256378361c.debug
/usr/lib/debug/.build-id/46
/usr/lib/debug/.build-id/46/a566dbb47333899440c855880802511dc2577f
/usr/lib/debug/.build-id/46/a566dbb47333899440c855880802511dc2577f.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/0303d120e192f921f8e1b9c4f5d6ac5c978cf7
/usr/lib/debug/.build-id/4e/0303d120e192f921f8e1b9c4f5d6ac5c978cf7.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/e9b5e41a99a11f0e718594ff418717fc0e10a4
/usr/lib/debug/.build-id/51/e9b5e41a99a11f0e718594ff418717fc0e10a4.debug
/usr/lib/debug/.build-id/59
/usr/lib/debug/.build-id/59/a12130b8df6f6d9561772c8cf8244ed450f750
/usr/lib/debug/.build-id/59/a12130b8df6f6d9561772c8cf8244ed450f750.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/02d26d42b84de51fed7d779ff889697f304390
/usr/lib/debug/.build-id/5b/02d26d42b84de51fed7d779ff889697f304390.debug
/usr/lib/debug/.build-id/60
/usr/lib/debug/.build-id/60/314d2dff35412f2e40ebb510b9a13ccb57c27e
/usr/lib/debug/.build-id/60/314d2dff35412f2e40ebb510b9a13ccb57c27e.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/94e632d71802a77b8460749dd293264fff8cc6
/usr/lib/debug/.build-id/61/94e632d71802a77b8460749dd293264fff8cc6.debug
/usr/lib/debug/.build-id/62
/usr/lib/debug/.build-id/62/20c4d2104b5c7eebfb21bf88bb67e854726218
/usr/lib/debug/.build-id/62/20c4d2104b5c7eebfb21bf88bb67e854726218.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/9cafb650c28c8fae7086b09c564ffb9a9e6548
/usr/lib/debug/.build-id/63/9cafb650c28c8fae7086b09c564ffb9a9e6548.debug
/usr/lib/debug/.build-id/64
/usr/lib/debug/.build-id/64/484a0571f7ec2e35374ca48121a792f51b272c
/usr/lib/debug/.build-id/64/484a0571f7ec2e35374ca48121a792f51b272c.debug
/usr/lib/debug/.build-id/6d
/usr/lib/debug/.build-id/6d/880ebbc31ac5aa67d413823d45abef77ee2155
/usr/lib/debug/.build-id/6d/880ebbc31ac5aa67d413823d45abef77ee2155.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/94b1ca36b5c5ee115875445d806b4558f36feb
/usr/lib/debug/.build-id/6e/94b1ca36b5c5ee115875445d806b4558f36feb.debug
/usr/lib/debug/.build-id/6f
/usr/lib/debug/.build-id/6f/9cb6d86b3e0677d3a2a46c6ffad5f5cd31dd82
/usr/lib/debug/.build-id/6f/9cb6d86b3e0677d3a2a46c6ffad5f5cd31dd82.debug
/usr/lib/debug/.build-id/72
/usr/lib/debug/.build-id/72/066fa72514480ca51637253b80c028b10839e6
/usr/lib/debug/.build-id/72/066fa72514480ca51637253b80c028b10839e6.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/5b1b4fb09fa3afef15e55f4edf660f8bbd7dff
/usr/lib/debug/.build-id/74/5b1b4fb09fa3afef15e55f4edf660f8bbd7dff.debug
/usr/lib/debug/.build-id/7b
/usr/lib/debug/.build-id/7b/0b5d340b3c40b2923bb9588d96cf5632b7c1a3
/usr/lib/debug/.build-id/7b/0b5d340b3c40b2923bb9588d96cf5632b7c1a3.debug
/usr/lib/debug/.build-id/7d
/usr/lib/debug/.build-id/7d/c6e76fbde0e0f3ee8b22836cc1fb6b09491dac
/usr/lib/debug/.build-id/7d/c6e76fbde0e0f3ee8b22836cc1fb6b09491dac.debug
/usr/lib/debug/.build-id/7f
/usr/lib/debug/.build-id/7f/cd9ef15ea051c9d19abf1b981b9bc9005608f1
/usr/lib/debug/.build-id/7f/cd9ef15ea051c9d19abf1b981b9bc9005608f1.debug
/usr/lib/debug/.build-id/8d
/usr/lib/debug/.build-id/8d/fcd89bf27ab4ebbd7c3429a2cf99741bfa436a
/usr/lib/debug/.build-id/8d/fcd89bf27ab4ebbd7c3429a2cf99741bfa436a.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/9a7066df7cf31225b1a69f78be126c1ba9852d
/usr/lib/debug/.build-id/8e/9a7066df7cf31225b1a69f78be126c1ba9852d.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/ddcfdba5f5aa8687a01409b3a1c4527a969d9b
/usr/lib/debug/.build-id/90/ddcfdba5f5aa8687a01409b3a1c4527a969d9b.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/e6e40ef60348b2825250cb9a22854a46964570
/usr/lib/debug/.build-id/94/e6e40ef60348b2825250cb9a22854a46964570.debug
/usr/lib/debug/.build-id/9c
/usr/lib/debug/.build-id/9c/0e37a2bc23ec3e9c39b8e646525df53f541095
/usr/lib/debug/.build-id/9c/0e37a2bc23ec3e9c39b8e646525df53f541095.debug
/usr/lib/debug/.build-id/a3
/usr/lib/debug/.build-id/a3/e15ca4b06d298646221559764fd36945b26505
/usr/lib/debug/.build-id/a3/e15ca4b06d298646221559764fd36945b26505.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/07eee085f27acb007f2dcb96be233f31a4d514
/usr/lib/debug/.build-id/a7/07eee085f27acb007f2dcb96be233f31a4d514.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/d0ac3249ac1ced9b0bed463fa4b6040625fb63
/usr/lib/debug/.build-id/a9/d0ac3249ac1ced9b0bed463fa4b6040625fb63.debug
/usr/lib/debug/.build-id/ad
/usr/lib/debug/.build-id/ad/01795b402b0d36c316bde93f02b14dcf2536f6
/usr/lib/debug/.build-id/ad/01795b402b0d36c316bde93f02b14dcf2536f6.debug
/usr/lib/debug/.build-id/ae
/usr/lib/debug/.build-id/ae/c589e659548eac1256c93ed9f34b4f1ae1bbb9
/usr/lib/debug/.build-id/ae/c589e659548eac1256c93ed9f34b4f1ae1bbb9.debug
/usr/lib/debug/.build-id/b0
/usr/lib/debug/.build-id/b0/f397206356757a00e26e1a056c3f4fb4310be0
/usr/lib/debug/.build-id/b0/f397206356757a00e26e1a056c3f4fb4310be0.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/eb7ab898613d44e52e3c3c11ac692ca5aadf39
/usr/lib/debug/.build-id/b1/eb7ab898613d44e52e3c3c11ac692ca5aadf39.debug
/usr/lib/debug/.build-id/b2
/usr/lib/debug/.build-id/b2/9ebebab20c23c7a3becdd3fbcc7a3e56dee300
/usr/lib/debug/.build-id/b2/9ebebab20c23c7a3becdd3fbcc7a3e56dee300.debug
/usr/lib/debug/.build-id/be
/usr/lib/debug/.build-id/be/c034cb590f95d2e9dddbb9ab4484d0824f3f5e
/usr/lib/debug/.build-id/be/c034cb590f95d2e9dddbb9ab4484d0824f3f5e.debug
/usr/lib/debug/.build-id/c0
/usr/lib/debug/.build-id/c0/08c0c708ddd086cd025e6a17a7caa63287d79a
/usr/lib/debug/.build-id/c0/08c0c708ddd086cd025e6a17a7caa63287d79a.debug
/usr/lib/debug/.build-id/c0/de9857642c8a048aaaf89a3df23070d74db433
/usr/lib/debug/.build-id/c0/de9857642c8a048aaaf89a3df23070d74db433.debug
/usr/lib/debug/.build-id/c4
/usr/lib/debug/.build-id/c4/777783482eed887b9efe6cf8c3aec76a12e3ae
/usr/lib/debug/.build-id/c4/777783482eed887b9efe6cf8c3aec76a12e3ae.debug
/usr/lib/debug/.build-id/c8
/usr/lib/debug/.build-id/c8/9b4a7da52cc98d87adafdb34840003b4a006c7
/usr/lib/debug/.build-id/c8/9b4a7da52cc98d87adafdb34840003b4a006c7.debug
/usr/lib/debug/.build-id/cb
/usr/lib/debug/.build-id/cb/4d24c66b999a43d6124f2bb0dc236549ddc4da
/usr/lib/debug/.build-id/cb/4d24c66b999a43d6124f2bb0dc236549ddc4da.debug
/usr/lib/debug/.build-id/d0
/usr/lib/debug/.build-id/d0/92a1dd0adc4587f15413c0f1142f37e407d5f9
/usr/lib/debug/.build-id/d0/92a1dd0adc4587f15413c0f1142f37e407d5f9.debug
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/7337e884d8522d688e02f836852548be565375
/usr/lib/debug/.build-id/d5/7337e884d8522d688e02f836852548be565375.debug
/usr/lib/debug/.build-id/e1
/usr/lib/debug/.build-id/e1/4a3d296bcca3ba218075b514159b45fda7ac5a
/usr/lib/debug/.build-id/e1/4a3d296bcca3ba218075b514159b45fda7ac5a.debug
/usr/lib/debug/.build-id/e3
/usr/lib/debug/.build-id/e3/a5d541f82e5f07b89c87e79a0cbd5dea5b1dad
/usr/lib/debug/.build-id/e3/a5d541f82e5f07b89c87e79a0cbd5dea5b1dad.debug
/usr/lib/debug/.build-id/e5
/usr/lib/debug/.build-id/e5/76005c73e25098176c8a104959026bfa74e942
/usr/lib/debug/.build-id/e5/76005c73e25098176c8a104959026bfa74e942.debug
/usr/lib/debug/.build-id/e7
/usr/lib/debug/.build-id/e7/c68eb342d79de70a4ed5621a61bac8b2cf5ca8
/usr/lib/debug/.build-id/e7/c68eb342d79de70a4ed5621a61bac8b2cf5ca8.debug
/usr/lib/debug/.build-id/e7/e7b97b7b0ab65c93e06c4940343688bf265c5f
/usr/lib/debug/.build-id/e7/e7b97b7b0ab65c93e06c4940343688bf265c5f.debug
/usr/lib/debug/.build-id/f0
/usr/lib/debug/.build-id/f0/8e1f69991e05898e03d771f73c97b339e43190
/usr/lib/debug/.build-id/f0/8e1f69991e05898e03d771f73c97b339e43190.debug
/usr/lib/debug/.build-id/f2
/usr/lib/debug/.build-id/f2/962f821c8018b2181853fca650f4b649ee8737
/usr/lib/debug/.build-id/f2/962f821c8018b2181853fca650f4b649ee8737.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/a76baa101b020ddb426b437029cc0afcefd476
/usr/lib/debug/.build-id/f4/a76baa101b020ddb426b437029cc0afcefd476.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/45b24dade5755f77560ac85b22ebe22a57d840
/usr/lib/debug/.build-id/f9/45b24dade5755f77560ac85b22ebe22a57d840.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/855ddfbd51f5e1a6e2aa3728cbdb79d864873c
/usr/lib/debug/.build-id/fd/855ddfbd51f5e1a6e2aa3728cbdb79d864873c.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/rocq-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/rocqchk-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/votour-9.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.2.0-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.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-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.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.2.0-1.fc44.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 18 23:26:07 2026