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 aarch64

From Fedora 44 testing updates for aarch64 / 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:46:40 2026
Group: Development/Debug Build host: buildvm-a64-44.rdu3.fedoraproject.org
Size: 55733601 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/06
/usr/lib/debug/.build-id/06/e179858dc40c0af18449c44d69b27c4ad2ada0
/usr/lib/debug/.build-id/06/e179858dc40c0af18449c44d69b27c4ad2ada0.debug
/usr/lib/debug/.build-id/08
/usr/lib/debug/.build-id/08/d5a0e1a885855b615e626658270a8ff51e65e1
/usr/lib/debug/.build-id/08/d5a0e1a885855b615e626658270a8ff51e65e1.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/1c66ec224dfe4c9ec86e59c56095f8f1214b7f
/usr/lib/debug/.build-id/0b/1c66ec224dfe4c9ec86e59c56095f8f1214b7f.debug
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/934bbda62b13599679af486669191a5f074cb1
/usr/lib/debug/.build-id/0e/934bbda62b13599679af486669191a5f074cb1.debug
/usr/lib/debug/.build-id/16
/usr/lib/debug/.build-id/16/062433c9fff7ab79f7d596bb7351617168fe3f
/usr/lib/debug/.build-id/16/062433c9fff7ab79f7d596bb7351617168fe3f.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/703d76892ae28495c745ff19cad5cc7a37eb9a
/usr/lib/debug/.build-id/27/703d76892ae28495c745ff19cad5cc7a37eb9a.debug
/usr/lib/debug/.build-id/27/e2d8e850cf58c5699d2b131c8d844a7ed435c1
/usr/lib/debug/.build-id/27/e2d8e850cf58c5699d2b131c8d844a7ed435c1.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/cdf0013ca3c625b10902b2450a83148c7485c6
/usr/lib/debug/.build-id/2d/cdf0013ca3c625b10902b2450a83148c7485c6.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/b14e63e6154458fa650d6672cd73c1e8dd7f05
/usr/lib/debug/.build-id/31/b14e63e6154458fa650d6672cd73c1e8dd7f05.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/348165b48ec20cf311b073ec433e3a271244db
/usr/lib/debug/.build-id/34/348165b48ec20cf311b073ec433e3a271244db.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/6e90136c2ebae5d979fb50757ad341cabc1cd3
/usr/lib/debug/.build-id/36/6e90136c2ebae5d979fb50757ad341cabc1cd3.debug
/usr/lib/debug/.build-id/3a
/usr/lib/debug/.build-id/3a/7cd13dd4b316a6b49f39ff78e50bf54605939c
/usr/lib/debug/.build-id/3a/7cd13dd4b316a6b49f39ff78e50bf54605939c.debug
/usr/lib/debug/.build-id/40
/usr/lib/debug/.build-id/40/4ad0c8af80b1aad9d4a9bfadeed3bc7a133888
/usr/lib/debug/.build-id/40/4ad0c8af80b1aad9d4a9bfadeed3bc7a133888.debug
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/d04a09883012725c5b6686561b6538ade9fc93
/usr/lib/debug/.build-id/42/d04a09883012725c5b6686561b6538ade9fc93.debug
/usr/lib/debug/.build-id/4a
/usr/lib/debug/.build-id/4a/a886c65fdbd3c0eaf044e0722f853ef98266cd
/usr/lib/debug/.build-id/4a/a886c65fdbd3c0eaf044e0722f853ef98266cd.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/4ffaeba5a6fb8b2f5bf28b9d5f152673a9c1eb
/usr/lib/debug/.build-id/4c/4ffaeba5a6fb8b2f5bf28b9d5f152673a9c1eb.debug
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/3984311054ab5a96a6cc1837e0ddabc27d9042
/usr/lib/debug/.build-id/4d/3984311054ab5a96a6cc1837e0ddabc27d9042.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/03fa9c0dcdb2b14328efd32b756889f424c5cc
/usr/lib/debug/.build-id/4f/03fa9c0dcdb2b14328efd32b756889f424c5cc.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/a6393ba416f2a9ef4e031198d0421901a0839d
/usr/lib/debug/.build-id/51/a6393ba416f2a9ef4e031198d0421901a0839d.debug
/usr/lib/debug/.build-id/53
/usr/lib/debug/.build-id/53/7996dbf1cfecd6e0ab2cebbe589be82b81a890
/usr/lib/debug/.build-id/53/7996dbf1cfecd6e0ab2cebbe589be82b81a890.debug
/usr/lib/debug/.build-id/54
/usr/lib/debug/.build-id/54/fc10fbfc437c5a8eb00032a4daccec88321043
/usr/lib/debug/.build-id/54/fc10fbfc437c5a8eb00032a4daccec88321043.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/e66f3d4807eac5f74527e1fe7446963f01f61e
/usr/lib/debug/.build-id/55/e66f3d4807eac5f74527e1fe7446963f01f61e.debug
/usr/lib/debug/.build-id/57
/usr/lib/debug/.build-id/57/53340995b374abf6e4d78d1bf9d70f88a99dd6
/usr/lib/debug/.build-id/57/53340995b374abf6e4d78d1bf9d70f88a99dd6.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/64f3e95baf225553eef205cc7dabb1c7db359f
/usr/lib/debug/.build-id/5c/64f3e95baf225553eef205cc7dabb1c7db359f.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/8da0f4020d5de58142bda9193634f42d98f00c
/usr/lib/debug/.build-id/73/8da0f4020d5de58142bda9193634f42d98f00c.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/4676425dbc5da03c6afe4be70bcd6f0ae57b0e
/usr/lib/debug/.build-id/7c/4676425dbc5da03c6afe4be70bcd6f0ae57b0e.debug
/usr/lib/debug/.build-id/7d
/usr/lib/debug/.build-id/7d/e560bc29008ee1a6d555804b2366dc10b237ed
/usr/lib/debug/.build-id/7d/e560bc29008ee1a6d555804b2366dc10b237ed.debug
/usr/lib/debug/.build-id/7e
/usr/lib/debug/.build-id/7e/8dab951a80be247950a6b8638d8b2d54703053
/usr/lib/debug/.build-id/7e/8dab951a80be247950a6b8638d8b2d54703053.debug
/usr/lib/debug/.build-id/83
/usr/lib/debug/.build-id/83/e11be11ef747ee875a92978f4c33963f25d143
/usr/lib/debug/.build-id/83/e11be11ef747ee875a92978f4c33963f25d143.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/dcccb568a94c3393a3135a9eeccf64bc346569
/usr/lib/debug/.build-id/84/dcccb568a94c3393a3135a9eeccf64bc346569.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/44a535c20c50258ae666e362d20c0b9c4fd105
/usr/lib/debug/.build-id/8c/44a535c20c50258ae666e362d20c0b9c4fd105.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/928a04dd4e65d043a709b94c9e166a275038bc
/usr/lib/debug/.build-id/8e/928a04dd4e65d043a709b94c9e166a275038bc.debug
/usr/lib/debug/.build-id/8e/e1374693e47e84c3aeb0f41f15c244188ff533
/usr/lib/debug/.build-id/8e/e1374693e47e84c3aeb0f41f15c244188ff533.debug
/usr/lib/debug/.build-id/8f
/usr/lib/debug/.build-id/8f/cfd401f47c362b566bac6c0861edf22f719717
/usr/lib/debug/.build-id/8f/cfd401f47c362b566bac6c0861edf22f719717.debug
/usr/lib/debug/.build-id/9c
/usr/lib/debug/.build-id/9c/77da7a18916bee7ad2f4ae1a5fcabbce41f47e
/usr/lib/debug/.build-id/9c/77da7a18916bee7ad2f4ae1a5fcabbce41f47e.debug
/usr/lib/debug/.build-id/9d
/usr/lib/debug/.build-id/9d/08af251d083f163a563e6c65065c0b6c3a594d
/usr/lib/debug/.build-id/9d/08af251d083f163a563e6c65065c0b6c3a594d.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/c0afba8329e94876c415f8b1cc02bd17b6bcf3
/usr/lib/debug/.build-id/a2/c0afba8329e94876c415f8b1cc02bd17b6bcf3.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/1078ed9ebd63f0a7627a8b717fce79b878afdb
/usr/lib/debug/.build-id/a7/1078ed9ebd63f0a7627a8b717fce79b878afdb.debug
/usr/lib/debug/.build-id/ab
/usr/lib/debug/.build-id/ab/536f2d519e12338b0d677539dff853f77092ef
/usr/lib/debug/.build-id/ab/536f2d519e12338b0d677539dff853f77092ef.debug
/usr/lib/debug/.build-id/b2
/usr/lib/debug/.build-id/b2/299b3c6d3811cf96a5cd07393b44a9ea5dbc4d
/usr/lib/debug/.build-id/b2/299b3c6d3811cf96a5cd07393b44a9ea5dbc4d.debug
/usr/lib/debug/.build-id/bd
/usr/lib/debug/.build-id/bd/285c1d9255ee62c7a210d02af5397f23c154b1
/usr/lib/debug/.build-id/bd/285c1d9255ee62c7a210d02af5397f23c154b1.debug
/usr/lib/debug/.build-id/bd/6ebe256698cf7e4fad2cc1d3d614148c1c7858
/usr/lib/debug/.build-id/bd/6ebe256698cf7e4fad2cc1d3d614148c1c7858.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/2355640f0087676e78aca5b9248b48cc87eeaf
/usr/lib/debug/.build-id/c2/2355640f0087676e78aca5b9248b48cc87eeaf.debug
/usr/lib/debug/.build-id/c3
/usr/lib/debug/.build-id/c3/04741350f22bcfa04ab268fc8ca0f177daef6a
/usr/lib/debug/.build-id/c3/04741350f22bcfa04ab268fc8ca0f177daef6a.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/4ebf1f4454f080a6bfc1fa95cbd19f4f07f46e
/usr/lib/debug/.build-id/c5/4ebf1f4454f080a6bfc1fa95cbd19f4f07f46e.debug
/usr/lib/debug/.build-id/c5/bef344d563fbe8b21fdca8257651e391aa101c
/usr/lib/debug/.build-id/c5/bef344d563fbe8b21fdca8257651e391aa101c.debug
/usr/lib/debug/.build-id/d1
/usr/lib/debug/.build-id/d1/8549ad61f23166782d84619e0aeb5eb213f318
/usr/lib/debug/.build-id/d1/8549ad61f23166782d84619e0aeb5eb213f318.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/047e038f2e27aa83a25b20b0faecde0c17a670
/usr/lib/debug/.build-id/d4/047e038f2e27aa83a25b20b0faecde0c17a670.debug
/usr/lib/debug/.build-id/d6
/usr/lib/debug/.build-id/d6/82434e35a91214b90c37795cf9887a6e83f95d
/usr/lib/debug/.build-id/d6/82434e35a91214b90c37795cf9887a6e83f95d.debug
/usr/lib/debug/.build-id/da
/usr/lib/debug/.build-id/da/300f1c84d854e85f28e979e033f85fb3e5bd21
/usr/lib/debug/.build-id/da/300f1c84d854e85f28e979e033f85fb3e5bd21.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/68b5de65d17b8e018523c43815d122d91e0dcb
/usr/lib/debug/.build-id/dd/68b5de65d17b8e018523c43815d122d91e0dcb.debug
/usr/lib/debug/.build-id/df
/usr/lib/debug/.build-id/df/bbbc3caff88eec6c4625d2a359601fea9b99fa
/usr/lib/debug/.build-id/df/bbbc3caff88eec6c4625d2a359601fea9b99fa.debug
/usr/lib/debug/.build-id/df/f9295df240e3e47da24286224cec10b76540e7
/usr/lib/debug/.build-id/df/f9295df240e3e47da24286224cec10b76540e7.debug
/usr/lib/debug/.build-id/e4
/usr/lib/debug/.build-id/e4/50d5b3223fa398257dbcb4bf6bfb6544062f1d
/usr/lib/debug/.build-id/e4/50d5b3223fa398257dbcb4bf6bfb6544062f1d.debug
/usr/lib/debug/.build-id/e4/dc43bebd6e43e8051124bd7e5be25fbb556e72
/usr/lib/debug/.build-id/e4/dc43bebd6e43e8051124bd7e5be25fbb556e72.debug
/usr/lib/debug/.build-id/e9
/usr/lib/debug/.build-id/e9/673a0e9a58a7dcdae0b8d6a6cfe7e3f3564d9f
/usr/lib/debug/.build-id/e9/673a0e9a58a7dcdae0b8d6a6cfe7e3f3564d9f.debug
/usr/lib/debug/.build-id/eb
/usr/lib/debug/.build-id/eb/5ca782cbea682962bdd671f6bad69f9d00d3f4
/usr/lib/debug/.build-id/eb/5ca782cbea682962bdd671f6bad69f9d00d3f4.debug
/usr/lib/debug/.build-id/f0
/usr/lib/debug/.build-id/f0/2295ffa915f4455d1e57cab11c26f5bd4c451c
/usr/lib/debug/.build-id/f0/2295ffa915f4455d1e57cab11c26f5bd4c451c.debug
/usr/lib/debug/.build-id/f0/5c278c59b5ad8a30e2fd5e9e93e8792b914b89
/usr/lib/debug/.build-id/f0/5c278c59b5ad8a30e2fd5e9e93e8792b914b89.debug
/usr/lib/debug/.build-id/f3
/usr/lib/debug/.build-id/f3/a0a301c2462b3a48c8daeb841e52a287932fec
/usr/lib/debug/.build-id/f3/a0a301c2462b3a48c8daeb841e52a287932fec.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/dda5ef95bd5cd8d264450740e575531d601fb0
/usr/lib/debug/.build-id/f4/dda5ef95bd5cd8d264450740e575531d601fb0.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/656e00ce8a98f115b2f90b4ed56785d9f59b7e
/usr/lib/debug/.build-id/f5/656e00ce8a98f115b2f90b4ed56785d9f59b7e.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/c030a3943bab6e18e220d6fcaa19a83ee64c17
/usr/lib/debug/.build-id/f9/c030a3943bab6e18e220d6fcaa19a83ee64c17.debug
/usr/lib/debug/.build-id/fe
/usr/lib/debug/.build-id/fe/8877d241161bcd2b88bcfd552193cd061ff826
/usr/lib/debug/.build-id/fe/8877d241161bcd2b88bcfd552193cd061ff826.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/rocq-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/rocqchk-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/votour-9.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.0-1.fc44.aarch64.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.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.3.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.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.3.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.3.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.3.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.3.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.3.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.3.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.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.3.0-1.fc44.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Oct 7 02:39:41 2026