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 s390x

From Fedora 45 testing updates for s390x / 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:19 2026
Group: Development/Debug Build host: buildvm-s390x-20.s390.fedoraproject.org
Size: 56242905 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/02
/usr/lib/debug/.build-id/02/77ad4bb018076eb7430cd53987ab3c3bf9a49d
/usr/lib/debug/.build-id/02/77ad4bb018076eb7430cd53987ab3c3bf9a49d.debug
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/db1e06d85b9dde99ed9501d2f93066fbe91a45
/usr/lib/debug/.build-id/05/db1e06d85b9dde99ed9501d2f93066fbe91a45.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/4ec1eb2ae2c4d9d2e5f14541245af3806478bd
/usr/lib/debug/.build-id/07/4ec1eb2ae2c4d9d2e5f14541245af3806478bd.debug
/usr/lib/debug/.build-id/07/5a708eb2b2809c57aad0c2c0db5a55bb8afb3d
/usr/lib/debug/.build-id/07/5a708eb2b2809c57aad0c2c0db5a55bb8afb3d.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/585a6fdcceb1242157da1a6cbcdc48594b86bc
/usr/lib/debug/.build-id/0a/585a6fdcceb1242157da1a6cbcdc48594b86bc.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/dc18e7d422f1b01f4360019b951e75bdd1da27
/usr/lib/debug/.build-id/0d/dc18e7d422f1b01f4360019b951e75bdd1da27.debug
/usr/lib/debug/.build-id/0d/e871a4791be33799914290ce4a99a668894d24
/usr/lib/debug/.build-id/0d/e871a4791be33799914290ce4a99a668894d24.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/45081f5d5e3976dc2618c85cda6132dcf16ed3
/usr/lib/debug/.build-id/0f/45081f5d5e3976dc2618c85cda6132dcf16ed3.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/f65de2170f2c2254ba1859918d0889e408a4de
/usr/lib/debug/.build-id/12/f65de2170f2c2254ba1859918d0889e408a4de.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/cb1f8bf0ad14d2cb7807cc4416f14c60cf3b4f
/usr/lib/debug/.build-id/13/cb1f8bf0ad14d2cb7807cc4416f14c60cf3b4f.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/2fdaf4bf795f47c2226cdde59824bd435c8cf1
/usr/lib/debug/.build-id/14/2fdaf4bf795f47c2226cdde59824bd435c8cf1.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/d21791a47963e4d595232175da717c669b838b
/usr/lib/debug/.build-id/1e/d21791a47963e4d595232175da717c669b838b.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/e9ef9cc3ebe37449739e3cb67f6ce2f1772505
/usr/lib/debug/.build-id/22/e9ef9cc3ebe37449739e3cb67f6ce2f1772505.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/3d75c4244a2998a535cc9402f8f156848d5160
/usr/lib/debug/.build-id/23/3d75c4244a2998a535cc9402f8f156848d5160.debug
/usr/lib/debug/.build-id/26
/usr/lib/debug/.build-id/26/d1e56f8b9a550b4029fc75487a3a968a72f7f7
/usr/lib/debug/.build-id/26/d1e56f8b9a550b4029fc75487a3a968a72f7f7.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/b88d2d993f16c75d1d0e7f9e60fd0b4427ea3b
/usr/lib/debug/.build-id/27/b88d2d993f16c75d1d0e7f9e60fd0b4427ea3b.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/bf827235143a828f88a340a7923b961f531d63
/usr/lib/debug/.build-id/2a/bf827235143a828f88a340a7923b961f531d63.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/adb7489317ce7421c689bd40790c0449cd7836
/usr/lib/debug/.build-id/2b/adb7489317ce7421c689bd40790c0449cd7836.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/79b65ca5052f690912883fb1da83cbf23a3e1d
/usr/lib/debug/.build-id/2e/79b65ca5052f690912883fb1da83cbf23a3e1d.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/6515290c451c9c6835d9dc43a5be50999e2369
/usr/lib/debug/.build-id/35/6515290c451c9c6835d9dc43a5be50999e2369.debug
/usr/lib/debug/.build-id/38
/usr/lib/debug/.build-id/38/d935a6d4e4f8d0b54ae0faa17a659db0c39da5
/usr/lib/debug/.build-id/38/d935a6d4e4f8d0b54ae0faa17a659db0c39da5.debug
/usr/lib/debug/.build-id/3a
/usr/lib/debug/.build-id/3a/39e4a8e371ee7b432b0081a39d3773db304486
/usr/lib/debug/.build-id/3a/39e4a8e371ee7b432b0081a39d3773db304486.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/4c64226af596caad5c596af4f7d00725e19264
/usr/lib/debug/.build-id/3b/4c64226af596caad5c596af4f7d00725e19264.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/d469ad72e151b6c7edfd12e544fabeffff0350
/usr/lib/debug/.build-id/41/d469ad72e151b6c7edfd12e544fabeffff0350.debug
/usr/lib/debug/.build-id/46
/usr/lib/debug/.build-id/46/f9ab62a5964c3555bc893b8c8409aa6eb3641f
/usr/lib/debug/.build-id/46/f9ab62a5964c3555bc893b8c8409aa6eb3641f.debug
/usr/lib/debug/.build-id/4a
/usr/lib/debug/.build-id/4a/e65b91bd8390fecfe8e3173bb53382d5e1f8db
/usr/lib/debug/.build-id/4a/e65b91bd8390fecfe8e3173bb53382d5e1f8db.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/762333dec01bbcec5fe7d245cf4283dd72e671
/usr/lib/debug/.build-id/4e/762333dec01bbcec5fe7d245cf4283dd72e671.debug
/usr/lib/debug/.build-id/5d
/usr/lib/debug/.build-id/5d/db6ffbadd99e05c76d10159be8541713f26726
/usr/lib/debug/.build-id/5d/db6ffbadd99e05c76d10159be8541713f26726.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/a85a228111a3094f8ebe624271d7ffd734cad1
/usr/lib/debug/.build-id/61/a85a228111a3094f8ebe624271d7ffd734cad1.debug
/usr/lib/debug/.build-id/71
/usr/lib/debug/.build-id/71/511dde7698f9ac5e125d2152665d577b74dd54
/usr/lib/debug/.build-id/71/511dde7698f9ac5e125d2152665d577b74dd54.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/05e05b21b18184d4c629d70fada13f0de53085
/usr/lib/debug/.build-id/73/05e05b21b18184d4c629d70fada13f0de53085.debug
/usr/lib/debug/.build-id/73/e43d51515fefe2c6cd5c0ff3eadbaa8e2b17bf
/usr/lib/debug/.build-id/73/e43d51515fefe2c6cd5c0ff3eadbaa8e2b17bf.debug
/usr/lib/debug/.build-id/7b
/usr/lib/debug/.build-id/7b/e0a18c283b1ea35e3910c559196bd3763d555b
/usr/lib/debug/.build-id/7b/e0a18c283b1ea35e3910c559196bd3763d555b.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/ffd5422159738f63374f7edaa277372db856a9
/usr/lib/debug/.build-id/7c/ffd5422159738f63374f7edaa277372db856a9.debug
/usr/lib/debug/.build-id/81
/usr/lib/debug/.build-id/81/f14c8ec35bd7fe6c88453fa20659ddac36688d
/usr/lib/debug/.build-id/81/f14c8ec35bd7fe6c88453fa20659ddac36688d.debug
/usr/lib/debug/.build-id/8b
/usr/lib/debug/.build-id/8b/77e7f39a51fbdb611c10407f0e179c90974a18
/usr/lib/debug/.build-id/8b/77e7f39a51fbdb611c10407f0e179c90974a18.debug
/usr/lib/debug/.build-id/91
/usr/lib/debug/.build-id/91/4d184eafea3c4f57fb955ae6d5fdee1d75cd28
/usr/lib/debug/.build-id/91/4d184eafea3c4f57fb955ae6d5fdee1d75cd28.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/47d4ec9d1095b8d8ff4b8dff4d4cb6aef3ddc9
/usr/lib/debug/.build-id/96/47d4ec9d1095b8d8ff4b8dff4d4cb6aef3ddc9.debug
/usr/lib/debug/.build-id/99
/usr/lib/debug/.build-id/99/0968bb23e5f06bf545dea0b10f5ad50a088c5a
/usr/lib/debug/.build-id/99/0968bb23e5f06bf545dea0b10f5ad50a088c5a.debug
/usr/lib/debug/.build-id/9f
/usr/lib/debug/.build-id/9f/8ea4148ce1a387b116d0d0d15f06d2bd2ae2de
/usr/lib/debug/.build-id/9f/8ea4148ce1a387b116d0d0d15f06d2bd2ae2de.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/62493ff7753beb483da48552a2539856fd5278
/usr/lib/debug/.build-id/a2/62493ff7753beb483da48552a2539856fd5278.debug
/usr/lib/debug/.build-id/a2/a292d3f1508dfd815d82b037f35cd223fd7830
/usr/lib/debug/.build-id/a2/a292d3f1508dfd815d82b037f35cd223fd7830.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/5acf60cb9f17bcedb7a91aaa9150a0f0ea3190
/usr/lib/debug/.build-id/a5/5acf60cb9f17bcedb7a91aaa9150a0f0ea3190.debug
/usr/lib/debug/.build-id/a8
/usr/lib/debug/.build-id/a8/0928e82589e62a66a2ba9a5859cfd871eac4db
/usr/lib/debug/.build-id/a8/0928e82589e62a66a2ba9a5859cfd871eac4db.debug
/usr/lib/debug/.build-id/a8/55ff3831607d74f394ea7c71b7d32fee77b614
/usr/lib/debug/.build-id/a8/55ff3831607d74f394ea7c71b7d32fee77b614.debug
/usr/lib/debug/.build-id/b5
/usr/lib/debug/.build-id/b5/b03439cd12d39c7ad12fb5cfc9e1eefb5bc1fd
/usr/lib/debug/.build-id/b5/b03439cd12d39c7ad12fb5cfc9e1eefb5bc1fd.debug
/usr/lib/debug/.build-id/ba
/usr/lib/debug/.build-id/ba/0d69f7e9d17ff0e687ffccbaeb8178286d8364
/usr/lib/debug/.build-id/ba/0d69f7e9d17ff0e687ffccbaeb8178286d8364.debug
/usr/lib/debug/.build-id/c4
/usr/lib/debug/.build-id/c4/915d3369b4b3f8895441ec92a8033a8d22d203
/usr/lib/debug/.build-id/c4/915d3369b4b3f8895441ec92a8033a8d22d203.debug
/usr/lib/debug/.build-id/c8
/usr/lib/debug/.build-id/c8/549e2a1a8ebcbab382cdf285020c9226ba4b4b
/usr/lib/debug/.build-id/c8/549e2a1a8ebcbab382cdf285020c9226ba4b4b.debug
/usr/lib/debug/.build-id/c8/974f181ddbf1576156e2b7d88055315c37c004
/usr/lib/debug/.build-id/c8/974f181ddbf1576156e2b7d88055315c37c004.debug
/usr/lib/debug/.build-id/cc
/usr/lib/debug/.build-id/cc/356a2c61b6fbb3ecaa6841272077f5e71d2709
/usr/lib/debug/.build-id/cc/356a2c61b6fbb3ecaa6841272077f5e71d2709.debug
/usr/lib/debug/.build-id/d2
/usr/lib/debug/.build-id/d2/e226dd94c7abdf25298ef8be4bc510fee38485
/usr/lib/debug/.build-id/d2/e226dd94c7abdf25298ef8be4bc510fee38485.debug
/usr/lib/debug/.build-id/d3
/usr/lib/debug/.build-id/d3/7a7a5cc77edf66c368ea024fa7c7a7cd410eba
/usr/lib/debug/.build-id/d3/7a7a5cc77edf66c368ea024fa7c7a7cd410eba.debug
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/671465e86e3db2bdef09570883dbb2502fa6b2
/usr/lib/debug/.build-id/d5/671465e86e3db2bdef09570883dbb2502fa6b2.debug
/usr/lib/debug/.build-id/de
/usr/lib/debug/.build-id/de/1ae62a187a61f06e1defd8a47ebc694750b84e
/usr/lib/debug/.build-id/de/1ae62a187a61f06e1defd8a47ebc694750b84e.debug
/usr/lib/debug/.build-id/e3
/usr/lib/debug/.build-id/e3/105630bfb0b624af0afb07e742a5c63f0044b4
/usr/lib/debug/.build-id/e3/105630bfb0b624af0afb07e742a5c63f0044b4.debug
/usr/lib/debug/.build-id/e6
/usr/lib/debug/.build-id/e6/4c2240e7376a1aea55265749196992747eeb15
/usr/lib/debug/.build-id/e6/4c2240e7376a1aea55265749196992747eeb15.debug
/usr/lib/debug/.build-id/e9
/usr/lib/debug/.build-id/e9/8764a8e1de21c388e1e03adc4217ea16f282c3
/usr/lib/debug/.build-id/e9/8764a8e1de21c388e1e03adc4217ea16f282c3.debug
/usr/lib/debug/.build-id/eb
/usr/lib/debug/.build-id/eb/9d1c38659ee5c2ebae4844305fcd2e7a754f2a
/usr/lib/debug/.build-id/eb/9d1c38659ee5c2ebae4844305fcd2e7a754f2a.debug
/usr/lib/debug/.build-id/ec
/usr/lib/debug/.build-id/ec/26ec9c1711698e3df39a3ae9f18c982973a530
/usr/lib/debug/.build-id/ec/26ec9c1711698e3df39a3ae9f18c982973a530.debug
/usr/lib/debug/.build-id/ef
/usr/lib/debug/.build-id/ef/bf8dfeabc79b1757a7a746a52b7cd9ca04d944
/usr/lib/debug/.build-id/ef/bf8dfeabc79b1757a7a746a52b7cd9ca04d944.debug
/usr/lib/debug/.build-id/f7
/usr/lib/debug/.build-id/f7/0b15d8b2cbccc49e89b24dbc2065f1a13aca90
/usr/lib/debug/.build-id/f7/0b15d8b2cbccc49e89b24dbc2065f1a13aca90.debug
/usr/lib/debug/.build-id/fa
/usr/lib/debug/.build-id/fa/472ef27b01000a5c3235b57a34e0ef350716c4
/usr/lib/debug/.build-id/fa/472ef27b01000a5c3235b57a34e0ef350716c4.debug
/usr/lib/debug/.build-id/fe
/usr/lib/debug/.build-id/fe/6bc9ccd65dd96ca2cdee62baa8dcb76fb117e1
/usr/lib/debug/.build-id/fe/6bc9ccd65dd96ca2cdee62baa8dcb76fb117e1.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.3.0-2.fc45.s390x.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.3.0-2.fc45.s390x.debug
/usr/lib/debug/usr/bin/rocq-9.3.0-2.fc45.s390x.debug
/usr/lib/debug/usr/bin/rocqchk-9.3.0-2.fc45.s390x.debug
/usr/lib/debug/usr/bin/votour-9.3.0-2.fc45.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.3.0-2.fc45.s390x.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.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.3.0-2.fc45.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.3.0-2.fc45.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.3.0-2.fc45.s390x.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 9 02:05:34 2026