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 s390x

From Fedora 44 testing updates for s390x / 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:13:34 2026
Group: Development/Debug Build host: buildvm-s390x-06.s390.fedoraproject.org
Size: 78353923 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/0c
/usr/lib/debug/.build-id/0c/af0055cff59729c5490a21c7da20924659da77
/usr/lib/debug/.build-id/0c/af0055cff59729c5490a21c7da20924659da77.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/7cbbd36a788bdfccadee95c0fbc1391bfd1ff9
/usr/lib/debug/.build-id/0d/7cbbd36a788bdfccadee95c0fbc1391bfd1ff9.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/930b6d38cc27da35c90b09258b05f9c18c56f0
/usr/lib/debug/.build-id/0f/930b6d38cc27da35c90b09258b05f9c18c56f0.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/c75e72e1d8c3f32a46ccdea087179fd42200f5
/usr/lib/debug/.build-id/12/c75e72e1d8c3f32a46ccdea087179fd42200f5.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/c66ae7b9fd9e0b5b0d7b9d2493782b50b3b845
/usr/lib/debug/.build-id/13/c66ae7b9fd9e0b5b0d7b9d2493782b50b3b845.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/b0b0ac065a71d065b78d913cf4856cff915a98
/usr/lib/debug/.build-id/15/b0b0ac065a71d065b78d913cf4856cff915a98.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/c26b33abdc5609d000ce2ab509852f77897ee3
/usr/lib/debug/.build-id/19/c26b33abdc5609d000ce2ab509852f77897ee3.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/b771e2cfa519f4d9f31be2d5e7d1e6a26e1fe8
/usr/lib/debug/.build-id/1b/b771e2cfa519f4d9f31be2d5e7d1e6a26e1fe8.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/0210199349ef42ab18eba7574fca3adeae3c3a
/usr/lib/debug/.build-id/1f/0210199349ef42ab18eba7574fca3adeae3c3a.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/6f33e4545342c30e359ad996f791a2f155c618
/usr/lib/debug/.build-id/20/6f33e4545342c30e359ad996f791a2f155c618.debug
/usr/lib/debug/.build-id/26
/usr/lib/debug/.build-id/26/c68bf617e1aca330c058eb6f83f7152b85651b
/usr/lib/debug/.build-id/26/c68bf617e1aca330c058eb6f83f7152b85651b.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/acc57928912588f68ad4c8421d600dd28c6c43
/usr/lib/debug/.build-id/2c/acc57928912588f68ad4c8421d600dd28c6c43.debug
/usr/lib/debug/.build-id/2f
/usr/lib/debug/.build-id/2f/5f38037b3b3ac8ffb3a92fde5c0be605bba716
/usr/lib/debug/.build-id/2f/5f38037b3b3ac8ffb3a92fde5c0be605bba716.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/2c73168e7e25bea5b8af0060d39da09fa0a1b3
/usr/lib/debug/.build-id/33/2c73168e7e25bea5b8af0060d39da09fa0a1b3.debug
/usr/lib/debug/.build-id/33/a46c4e189e47e4f25427258b312a31656978b2
/usr/lib/debug/.build-id/33/a46c4e189e47e4f25427258b312a31656978b2.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/5bce83e3e940a0e43dbef8f22edcb9e7f61e9a
/usr/lib/debug/.build-id/34/5bce83e3e940a0e43dbef8f22edcb9e7f61e9a.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/5d5ac190fa3ededf66559dff028cacf8f587c3
/usr/lib/debug/.build-id/36/5d5ac190fa3ededf66559dff028cacf8f587c3.debug
/usr/lib/debug/.build-id/39
/usr/lib/debug/.build-id/39/898ba57d39a6e9639010f8bf8d972b89c4a23d
/usr/lib/debug/.build-id/39/898ba57d39a6e9639010f8bf8d972b89c4a23d.debug
/usr/lib/debug/.build-id/3a
/usr/lib/debug/.build-id/3a/224d1382c753ea07f529cd944db6c3ef4cb4d7
/usr/lib/debug/.build-id/3a/224d1382c753ea07f529cd944db6c3ef4cb4d7.debug
/usr/lib/debug/.build-id/40
/usr/lib/debug/.build-id/40/126a7729a48e5730a55c6b013642e1054ecef2
/usr/lib/debug/.build-id/40/126a7729a48e5730a55c6b013642e1054ecef2.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/0955c8c4f067bda73477bae9bce316314ba16e
/usr/lib/debug/.build-id/47/0955c8c4f067bda73477bae9bce316314ba16e.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/164192faa3c7e19ee8b28d02484ffbc5ac343e
/usr/lib/debug/.build-id/48/164192faa3c7e19ee8b28d02484ffbc5ac343e.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/af390dfab1e580396653a8dc7d0d2b3b47471c
/usr/lib/debug/.build-id/4e/af390dfab1e580396653a8dc7d0d2b3b47471c.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/fc19b4c774976baf49e23f0aefaca64b103bc8
/usr/lib/debug/.build-id/55/fc19b4c774976baf49e23f0aefaca64b103bc8.debug
/usr/lib/debug/.build-id/60
/usr/lib/debug/.build-id/60/a9f2926f82c544c4e0d2ea006709e293cff1dc
/usr/lib/debug/.build-id/60/a9f2926f82c544c4e0d2ea006709e293cff1dc.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/5d6ccae6c9635a4e8aa3a162194184aa25aec3
/usr/lib/debug/.build-id/69/5d6ccae6c9635a4e8aa3a162194184aa25aec3.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/901ac95304bc83b2bd3f8c3d2174f891c57f31
/usr/lib/debug/.build-id/6a/901ac95304bc83b2bd3f8c3d2174f891c57f31.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/d15e82a92843a166a07792c7c045c3772e772d
/usr/lib/debug/.build-id/7c/d15e82a92843a166a07792c7c045c3772e772d.debug
/usr/lib/debug/.build-id/7e
/usr/lib/debug/.build-id/7e/7546fdc74033d55b92857e6a3685aa68aa9bc0
/usr/lib/debug/.build-id/7e/7546fdc74033d55b92857e6a3685aa68aa9bc0.debug
/usr/lib/debug/.build-id/81
/usr/lib/debug/.build-id/81/156fda4db0e344eeabb13f1c0e3f0e6bbd997c
/usr/lib/debug/.build-id/81/156fda4db0e344eeabb13f1c0e3f0e6bbd997c.debug
/usr/lib/debug/.build-id/83
/usr/lib/debug/.build-id/83/a8b4409a61b9472cdad669963386fe6f405a6b
/usr/lib/debug/.build-id/83/a8b4409a61b9472cdad669963386fe6f405a6b.debug
/usr/lib/debug/.build-id/83/febd678abbcce4ef20b3c302262563b8accac1
/usr/lib/debug/.build-id/83/febd678abbcce4ef20b3c302262563b8accac1.debug
/usr/lib/debug/.build-id/86
/usr/lib/debug/.build-id/86/ce1a97bf6ccaa0d30da9cc588d8eb348049a4e
/usr/lib/debug/.build-id/86/ce1a97bf6ccaa0d30da9cc588d8eb348049a4e.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/1a13becbcdd28bad42e5edffbab6023e2e5a77
/usr/lib/debug/.build-id/87/1a13becbcdd28bad42e5edffbab6023e2e5a77.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/97763b623a78dbf9db75b7817697a21728946a
/usr/lib/debug/.build-id/90/97763b623a78dbf9db75b7817697a21728946a.debug
/usr/lib/debug/.build-id/93
/usr/lib/debug/.build-id/93/eab09d9f5be5e2962de7da9113a04b9cb00465
/usr/lib/debug/.build-id/93/eab09d9f5be5e2962de7da9113a04b9cb00465.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/c802a86b111687be73083e1a13b405e7d48245
/usr/lib/debug/.build-id/94/c802a86b111687be73083e1a13b405e7d48245.debug
/usr/lib/debug/.build-id/99
/usr/lib/debug/.build-id/99/85d2b2c646a0254a7f0c3a9d2022a685c30de5
/usr/lib/debug/.build-id/99/85d2b2c646a0254a7f0c3a9d2022a685c30de5.debug
/usr/lib/debug/.build-id/9c
/usr/lib/debug/.build-id/9c/26dc84654294be8f650e8c7fc496cfeca5aab9
/usr/lib/debug/.build-id/9c/26dc84654294be8f650e8c7fc496cfeca5aab9.debug
/usr/lib/debug/.build-id/aa
/usr/lib/debug/.build-id/aa/9e8fe468c0aea675f55ea030d27410de98b949
/usr/lib/debug/.build-id/aa/9e8fe468c0aea675f55ea030d27410de98b949.debug
/usr/lib/debug/.build-id/ac
/usr/lib/debug/.build-id/ac/372abd9f0c5e6928b226fa27ceeeb088ebbfef
/usr/lib/debug/.build-id/ac/372abd9f0c5e6928b226fa27ceeeb088ebbfef.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/a385d950f761ee7b95492ddce537da4b32bbcd
/usr/lib/debug/.build-id/b1/a385d950f761ee7b95492ddce537da4b32bbcd.debug
/usr/lib/debug/.build-id/b3
/usr/lib/debug/.build-id/b3/95684bff8cd3d493651352e6f0fbe733604c87
/usr/lib/debug/.build-id/b3/95684bff8cd3d493651352e6f0fbe733604c87.debug
/usr/lib/debug/.build-id/bb
/usr/lib/debug/.build-id/bb/8b706b4853f9d342027f41fd478d9736cc21ed
/usr/lib/debug/.build-id/bb/8b706b4853f9d342027f41fd478d9736cc21ed.debug
/usr/lib/debug/.build-id/bd
/usr/lib/debug/.build-id/bd/7d23f1ac81fa79fdbdc8c47fd5f4feb66f7a68
/usr/lib/debug/.build-id/bd/7d23f1ac81fa79fdbdc8c47fd5f4feb66f7a68.debug
/usr/lib/debug/.build-id/bf
/usr/lib/debug/.build-id/bf/58c1f83eb3a1a5c990b7b416edd237942ffd59
/usr/lib/debug/.build-id/bf/58c1f83eb3a1a5c990b7b416edd237942ffd59.debug
/usr/lib/debug/.build-id/bf/9ed6294d1e98c3ad7abe6c715b06008d4b8f57
/usr/lib/debug/.build-id/bf/9ed6294d1e98c3ad7abe6c715b06008d4b8f57.debug
/usr/lib/debug/.build-id/c1
/usr/lib/debug/.build-id/c1/8e2a58fb1e200a798ec0b48fb8018cea072c7d
/usr/lib/debug/.build-id/c1/8e2a58fb1e200a798ec0b48fb8018cea072c7d.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/1af7d02ad4d1e7789cb70100ac977b409af84d
/usr/lib/debug/.build-id/c2/1af7d02ad4d1e7789cb70100ac977b409af84d.debug
/usr/lib/debug/.build-id/c2/80e886a12a64e3f010817196af15e4c7064fd2
/usr/lib/debug/.build-id/c2/80e886a12a64e3f010817196af15e4c7064fd2.debug
/usr/lib/debug/.build-id/cb
/usr/lib/debug/.build-id/cb/975284818f28b2751a0978dee39614c8a39389
/usr/lib/debug/.build-id/cb/975284818f28b2751a0978dee39614c8a39389.debug
/usr/lib/debug/.build-id/cd
/usr/lib/debug/.build-id/cd/88b1f8b1f584ed168ea24d394ed5f0ede35c0d
/usr/lib/debug/.build-id/cd/88b1f8b1f584ed168ea24d394ed5f0ede35c0d.debug
/usr/lib/debug/.build-id/d3
/usr/lib/debug/.build-id/d3/76e73a457cf41ce3d7e2423b136ced8c0fe973
/usr/lib/debug/.build-id/d3/76e73a457cf41ce3d7e2423b136ced8c0fe973.debug
/usr/lib/debug/.build-id/d9
/usr/lib/debug/.build-id/d9/51b1433bcd21420529f81685527c5a2b40494f
/usr/lib/debug/.build-id/d9/51b1433bcd21420529f81685527c5a2b40494f.debug
/usr/lib/debug/.build-id/d9/bfe552eef18b2d8cf4d374269feb409946cf12
/usr/lib/debug/.build-id/d9/bfe552eef18b2d8cf4d374269feb409946cf12.debug
/usr/lib/debug/.build-id/dc
/usr/lib/debug/.build-id/dc/8132d658d9f8fc647893eff732f66d1cb70ea6
/usr/lib/debug/.build-id/dc/8132d658d9f8fc647893eff732f66d1cb70ea6.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/4b41d6bf8c8ad62f41daf57b5661e630d3e10d
/usr/lib/debug/.build-id/dd/4b41d6bf8c8ad62f41daf57b5661e630d3e10d.debug
/usr/lib/debug/.build-id/e5
/usr/lib/debug/.build-id/e5/f702e9f861b265bfbf4595516629a7b68971d4
/usr/lib/debug/.build-id/e5/f702e9f861b265bfbf4595516629a7b68971d4.debug
/usr/lib/debug/.build-id/e6
/usr/lib/debug/.build-id/e6/b21c0d0e1808338a47bd881cde40f26983ee62
/usr/lib/debug/.build-id/e6/b21c0d0e1808338a47bd881cde40f26983ee62.debug
/usr/lib/debug/.build-id/ed
/usr/lib/debug/.build-id/ed/3aca4017446b1ec0ee0b3861a49420fcb92515
/usr/lib/debug/.build-id/ed/3aca4017446b1ec0ee0b3861a49420fcb92515.debug
/usr/lib/debug/.build-id/ed/6d2463dcfbe305dceaa9a37195e89819caa38c
/usr/lib/debug/.build-id/ed/6d2463dcfbe305dceaa9a37195e89819caa38c.debug
/usr/lib/debug/.build-id/f7
/usr/lib/debug/.build-id/f7/aa0e3eb429b6c639ed5987033346bebefd3d76
/usr/lib/debug/.build-id/f7/aa0e3eb429b6c639ed5987033346bebefd3d76.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/2a4f3061d03dfa3217cfdd7ace977fb72999e7
/usr/lib/debug/.build-id/fb/2a4f3061d03dfa3217cfdd7ace977fb72999e7.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/rocq-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/rocqchk-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/votour-9.2.0-1.fc44.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.2.0-1.fc44.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.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.2.0-1.fc44.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.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.2.0-1.fc44.s390x.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.s390x.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.s390x.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.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.2.0-1.fc44.s390x.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.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.2.0-1.fc44.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.2.0-1.fc44.s390x.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Apr 19 01:18:54 2026