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 x86_64

From Fedora 44 updates for x86_64 / 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:29 2026
Group: Development/Debug Build host: buildvm-x86-13.rdu3.fedoraproject.org
Size: 57377689 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/01
/usr/lib/debug/.build-id/01/3e168536bfc3c359bf93f3eae0f926e9fbeaca
/usr/lib/debug/.build-id/01/3e168536bfc3c359bf93f3eae0f926e9fbeaca.debug
/usr/lib/debug/.build-id/08
/usr/lib/debug/.build-id/08/815f697db3b7cf825c4ae997cc3f19376673fb
/usr/lib/debug/.build-id/08/815f697db3b7cf825c4ae997cc3f19376673fb.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/2df9f2508b8d9846ec660868304587acb47d1f
/usr/lib/debug/.build-id/0a/2df9f2508b8d9846ec660868304587acb47d1f.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/20d6ccc76c13e3ca0502ee99784265d6b12684
/usr/lib/debug/.build-id/12/20d6ccc76c13e3ca0502ee99784265d6b12684.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/625244f568cb8eae7b9703bbb6a1c855866e55
/usr/lib/debug/.build-id/14/625244f568cb8eae7b9703bbb6a1c855866e55.debug
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/25c6f9a908f74bb70a97fa96f308f6032571f2
/usr/lib/debug/.build-id/1d/25c6f9a908f74bb70a97fa96f308f6032571f2.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/c294e853a5a12ebf0f03d62b86c0184be450fc
/usr/lib/debug/.build-id/20/c294e853a5a12ebf0f03d62b86c0184be450fc.debug
/usr/lib/debug/.build-id/20/d65e562894f2efa6c02d8152e84530aa344a31
/usr/lib/debug/.build-id/20/d65e562894f2efa6c02d8152e84530aa344a31.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/5953921b36e7282ce9db587c029690f114632f
/usr/lib/debug/.build-id/22/5953921b36e7282ce9db587c029690f114632f.debug
/usr/lib/debug/.build-id/22/c5afe1df04dc885aee7425bc7a7af2c259c44d
/usr/lib/debug/.build-id/22/c5afe1df04dc885aee7425bc7a7af2c259c44d.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/bd1590b6aa1fd735e3b0c78fb199ca3fbf7e6b
/usr/lib/debug/.build-id/23/bd1590b6aa1fd735e3b0c78fb199ca3fbf7e6b.debug
/usr/lib/debug/.build-id/24
/usr/lib/debug/.build-id/24/7963f499b8aa1c45ceeb56501cf36ac091c94a
/usr/lib/debug/.build-id/24/7963f499b8aa1c45ceeb56501cf36ac091c94a.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/ce14e83c09ce8dc9598c6ad77ca27c76f3383b
/usr/lib/debug/.build-id/2d/ce14e83c09ce8dc9598c6ad77ca27c76f3383b.debug
/usr/lib/debug/.build-id/2f
/usr/lib/debug/.build-id/2f/60fa749702691dd2db52319037bf43716bc1d3
/usr/lib/debug/.build-id/2f/60fa749702691dd2db52319037bf43716bc1d3.debug
/usr/lib/debug/.build-id/3c
/usr/lib/debug/.build-id/3c/af43f807eb18e1bdc6464645642cd1fb3e141e
/usr/lib/debug/.build-id/3c/af43f807eb18e1bdc6464645642cd1fb3e141e.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/4a4f7a3868e8f493ee441a2ec6e167f06d22de
/usr/lib/debug/.build-id/3d/4a4f7a3868e8f493ee441a2ec6e167f06d22de.debug
/usr/lib/debug/.build-id/3d/de34bcbe34c58f7360353a5d67949b29b33740
/usr/lib/debug/.build-id/3d/de34bcbe34c58f7360353a5d67949b29b33740.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/95b67aaa57ff1b72738bde10745224a7a7e68b
/usr/lib/debug/.build-id/41/95b67aaa57ff1b72738bde10745224a7a7e68b.debug
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/91f3bb93393731af133b7fe0ed3cf8e9d5b60e
/usr/lib/debug/.build-id/42/91f3bb93393731af133b7fe0ed3cf8e9d5b60e.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/2b158995730422e7c87ec05960b294b737cb6f
/usr/lib/debug/.build-id/44/2b158995730422e7c87ec05960b294b737cb6f.debug
/usr/lib/debug/.build-id/46
/usr/lib/debug/.build-id/46/2e167b8efcc6dc157ce97e7209164a407927ac
/usr/lib/debug/.build-id/46/2e167b8efcc6dc157ce97e7209164a407927ac.debug
/usr/lib/debug/.build-id/46/be8d6ea738fb4457f65a99d53952ec9f4a232d
/usr/lib/debug/.build-id/46/be8d6ea738fb4457f65a99d53952ec9f4a232d.debug
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/5ed82842e8e84e118022cb3a853ac13abc4c29
/usr/lib/debug/.build-id/4d/5ed82842e8e84e118022cb3a853ac13abc4c29.debug
/usr/lib/debug/.build-id/50
/usr/lib/debug/.build-id/50/4de23d862fd9d448e67e9e198b2fa8fde2c747
/usr/lib/debug/.build-id/50/4de23d862fd9d448e67e9e198b2fa8fde2c747.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/96213d5970056aa73f5496b9c2d183f0cb45dd
/usr/lib/debug/.build-id/51/96213d5970056aa73f5496b9c2d183f0cb45dd.debug
/usr/lib/debug/.build-id/54
/usr/lib/debug/.build-id/54/a92454894df8977c322f75d822cc93b1408e4d
/usr/lib/debug/.build-id/54/a92454894df8977c322f75d822cc93b1408e4d.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/09c39b1fa5326bf0223f449d13696d4dfb4d49
/usr/lib/debug/.build-id/55/09c39b1fa5326bf0223f449d13696d4dfb4d49.debug
/usr/lib/debug/.build-id/56
/usr/lib/debug/.build-id/56/7313bcfba5bb4e4c498a7d836b8cd17725623e
/usr/lib/debug/.build-id/56/7313bcfba5bb4e4c498a7d836b8cd17725623e.debug
/usr/lib/debug/.build-id/59
/usr/lib/debug/.build-id/59/9f2fa82db43157343ad10114f4d131a19898c6
/usr/lib/debug/.build-id/59/9f2fa82db43157343ad10114f4d131a19898c6.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/b1d2620dedbfb50c47af2e0223900811f17bd3
/usr/lib/debug/.build-id/5a/b1d2620dedbfb50c47af2e0223900811f17bd3.debug
/usr/lib/debug/.build-id/5d
/usr/lib/debug/.build-id/5d/6af126d80cca228509dafb5f117b6f6d047b2e
/usr/lib/debug/.build-id/5d/6af126d80cca228509dafb5f117b6f6d047b2e.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/9f402c172384a46687bc309592de3a47128fa2
/usr/lib/debug/.build-id/63/9f402c172384a46687bc309592de3a47128fa2.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/30832517ee8a18e02ae6028f3d679dda222ad9
/usr/lib/debug/.build-id/6a/30832517ee8a18e02ae6028f3d679dda222ad9.debug
/usr/lib/debug/.build-id/6b
/usr/lib/debug/.build-id/6b/7e5d098de2f57835a0e4ff76b49caf6498fcc9
/usr/lib/debug/.build-id/6b/7e5d098de2f57835a0e4ff76b49caf6498fcc9.debug
/usr/lib/debug/.build-id/6c
/usr/lib/debug/.build-id/6c/85559e87fddd9a04e94e82dccd541d88e71f15
/usr/lib/debug/.build-id/6c/85559e87fddd9a04e94e82dccd541d88e71f15.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/62eaad3262ab8762f3150768bd986db4b41b25
/usr/lib/debug/.build-id/6e/62eaad3262ab8762f3150768bd986db4b41b25.debug
/usr/lib/debug/.build-id/6f
/usr/lib/debug/.build-id/6f/485b24ff486c8b219d8602ca58a5e46dca55cd
/usr/lib/debug/.build-id/6f/485b24ff486c8b219d8602ca58a5e46dca55cd.debug
/usr/lib/debug/.build-id/72
/usr/lib/debug/.build-id/72/698fa79615472a283533385e25705f674f9062
/usr/lib/debug/.build-id/72/698fa79615472a283533385e25705f674f9062.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/3b68b05e82fd221d1ab0df47de3eceaa39408a
/usr/lib/debug/.build-id/7c/3b68b05e82fd221d1ab0df47de3eceaa39408a.debug
/usr/lib/debug/.build-id/7f
/usr/lib/debug/.build-id/7f/d3d4096dbad6315d0bc539f1cf370415543b88
/usr/lib/debug/.build-id/7f/d3d4096dbad6315d0bc539f1cf370415543b88.debug
/usr/lib/debug/.build-id/81
/usr/lib/debug/.build-id/81/fa059ad92864b41493725c332da9ac6d70ddb4
/usr/lib/debug/.build-id/81/fa059ad92864b41493725c332da9ac6d70ddb4.debug
/usr/lib/debug/.build-id/82
/usr/lib/debug/.build-id/82/e7effb2eaeee4d73474df0d1391da1f7bee030
/usr/lib/debug/.build-id/82/e7effb2eaeee4d73474df0d1391da1f7bee030.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/9cc241aaa3b79fb2d08e2f7e0494869ab6b191
/usr/lib/debug/.build-id/87/9cc241aaa3b79fb2d08e2f7e0494869ab6b191.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/379798d7380af7429bdf6ba1bcc47deb4dedd3
/usr/lib/debug/.build-id/8c/379798d7380af7429bdf6ba1bcc47deb4dedd3.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/3502bca40abd62d28fbb23adec318ee25e6117
/usr/lib/debug/.build-id/90/3502bca40abd62d28fbb23adec318ee25e6117.debug
/usr/lib/debug/.build-id/91
/usr/lib/debug/.build-id/91/df73f71a1a1327a4e4b058e9d82057b55e898b
/usr/lib/debug/.build-id/91/df73f71a1a1327a4e4b058e9d82057b55e898b.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/179c28f651b9d576eab578a1cfd57ebce307cd
/usr/lib/debug/.build-id/96/179c28f651b9d576eab578a1cfd57ebce307cd.debug
/usr/lib/debug/.build-id/99
/usr/lib/debug/.build-id/99/df7eaf7a695a06a47a2fb864ecf38764af480e
/usr/lib/debug/.build-id/99/df7eaf7a695a06a47a2fb864ecf38764af480e.debug
/usr/lib/debug/.build-id/99/e3d80b5f34f82be2ba91a3cbf943faca952711
/usr/lib/debug/.build-id/99/e3d80b5f34f82be2ba91a3cbf943faca952711.debug
/usr/lib/debug/.build-id/a6
/usr/lib/debug/.build-id/a6/aff6117ba6e1d492c99d22fd32a7e6cefef74f
/usr/lib/debug/.build-id/a6/aff6117ba6e1d492c99d22fd32a7e6cefef74f.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/096ac6607ce719dd510da1fa763abcafef39e2
/usr/lib/debug/.build-id/a7/096ac6607ce719dd510da1fa763abcafef39e2.debug
/usr/lib/debug/.build-id/b4
/usr/lib/debug/.build-id/b4/cd9f0696c5f85e869885ccc70c2f8382e1ceb8
/usr/lib/debug/.build-id/b4/cd9f0696c5f85e869885ccc70c2f8382e1ceb8.debug
/usr/lib/debug/.build-id/b5
/usr/lib/debug/.build-id/b5/02e17f4207b85fa958b22b350626f374bf19cb
/usr/lib/debug/.build-id/b5/02e17f4207b85fa958b22b350626f374bf19cb.debug
/usr/lib/debug/.build-id/b5/f3ce88bd6db032bf0f087951ac3c5e19c33947
/usr/lib/debug/.build-id/b5/f3ce88bd6db032bf0f087951ac3c5e19c33947.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/ac5ca214a8491e16145a3cd3368ed2859c2803
/usr/lib/debug/.build-id/c2/ac5ca214a8491e16145a3cd3368ed2859c2803.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/daf4971a725545867453a8524fe0a4438c54d9
/usr/lib/debug/.build-id/c5/daf4971a725545867453a8524fe0a4438c54d9.debug
/usr/lib/debug/.build-id/c9
/usr/lib/debug/.build-id/c9/a2c97bcc3b27a849d5af9728aeb6f589e77f66
/usr/lib/debug/.build-id/c9/a2c97bcc3b27a849d5af9728aeb6f589e77f66.debug
/usr/lib/debug/.build-id/cb
/usr/lib/debug/.build-id/cb/e5bfef22ed824290f62803078d6cc97ec32e1f
/usr/lib/debug/.build-id/cb/e5bfef22ed824290f62803078d6cc97ec32e1f.debug
/usr/lib/debug/.build-id/d3
/usr/lib/debug/.build-id/d3/585ee6ec59537197d6543cbdb250ad1c7c4f32
/usr/lib/debug/.build-id/d3/585ee6ec59537197d6543cbdb250ad1c7c4f32.debug
/usr/lib/debug/.build-id/d3/c5ce32bfaba73708a83eb1d578a517f6f81526
/usr/lib/debug/.build-id/d3/c5ce32bfaba73708a83eb1d578a517f6f81526.debug
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/f5bcfc6cabee20b2ea23587d200c26e19a238a
/usr/lib/debug/.build-id/d5/f5bcfc6cabee20b2ea23587d200c26e19a238a.debug
/usr/lib/debug/.build-id/d8
/usr/lib/debug/.build-id/d8/57cec9e2145dfa2377c5e2d962a3d54dbbe651
/usr/lib/debug/.build-id/d8/57cec9e2145dfa2377c5e2d962a3d54dbbe651.debug
/usr/lib/debug/.build-id/ee
/usr/lib/debug/.build-id/ee/0775aac4eb5fdf1134bb3bbd68fa3d29c7209d
/usr/lib/debug/.build-id/ee/0775aac4eb5fdf1134bb3bbd68fa3d29c7209d.debug
/usr/lib/debug/.build-id/ef
/usr/lib/debug/.build-id/ef/4f60698be8e4fe574692ab4a2ce7025ad41201
/usr/lib/debug/.build-id/ef/4f60698be8e4fe574692ab4a2ce7025ad41201.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/csdpcert-9.3.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-9.3.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/bin/rocq-9.3.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/bin/rocqchk-9.3.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/bin/votour-9.3.0-1.fc44.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqnative-9.3.0-1.fc44.x86_64.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.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/rocq-runtime/rocqworker-9.3.0-1.fc44.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-9.3.0-1.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-9.3.0-1.fc44.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Oct 8 01:07:35 2026