Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

coq-core-debuginfo-8.18.0-11.fc41 RPM for ppc64le

From Fedora 41 updates for ppc64le / debug / Packages / c

Name: coq-core-debuginfo Distribution: Fedora Project
Version: 8.18.0 Vendor: Fedora Project
Release: 11.fc41 Build date: Wed Jan 29 21:19:16 2025
Group: Development/Debug Build host: buildvm-ppc64le-10.iad2.fedoraproject.org
Size: 115405679 Source RPM: coq-8.18.0-11.fc41.src.rpm
Packager: Fedora Project
Url: https://coq.inria.fr/
Summary: Debug information for package coq-core
 
This package provides debug information for package coq-core.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL-2.1-only AND MIT AND BSD-3-Clause

Changelog

* Wed Jan 29 2025 Jerry James <loganjerry@gmail.com> - 8.18.0-11
  - OCaml 5.2.1 rebuild for Fedora 41
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 8.18.0-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 8.18.0-9
  - Rebuild for ocaml-zarith 1.14
* Thu Jul 11 2024 Jerry James <loganjerry@gmail.com> - 8.18.0-8
  - Rebuild for antlr4 4.13.1
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 8.18.0-7
  - Bump release and rebuild
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 8.18.0-6
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 8.18.0-5
  - OCaml 5.2.0 for Fedora 41
* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 8.18.0-4
  - Rebuild for ocaml-lablgtk3 3.1.4
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 8.18.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 8.18.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 8.18.0-1
  - Version 8.18.0
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-8
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-7
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-6
  - OCaml 5.1 rebuild for Fedora 40
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-5
  - Rebuild for ocaml-zarith 1.13
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 8.17.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-3
  - Validate appdata with appstream-util
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-3
  - OCaml 5.0 rebuild for Fedora 39
  - Only build coq and friends on architectures with the native compiler.
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-1
  - Version 8.17.1
  - Build in release mode
  - Disable the native compiler, which is incompatible with OCaml 5.0
* Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 8.17.0-1
  - Version 8.17.0
  - Drop upstreamed patch for Sphinx 5 support

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/01
/usr/lib/debug/.build-id/01/422ca26b2758d89ec284af9f7b2aa094c738ee
/usr/lib/debug/.build-id/01/422ca26b2758d89ec284af9f7b2aa094c738ee.debug
/usr/lib/debug/.build-id/01/c92feacc8f59476961579c2c089d1f431a317e
/usr/lib/debug/.build-id/01/c92feacc8f59476961579c2c089d1f431a317e.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/b6e7a11eed13cc2949beab22c2a121b7772520
/usr/lib/debug/.build-id/07/b6e7a11eed13cc2949beab22c2a121b7772520.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/b0ee4d173e00f13c4a7a1612b2e0c7370c8d82
/usr/lib/debug/.build-id/15/b0ee4d173e00f13c4a7a1612b2e0c7370c8d82.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/e52c3995aea54e43bd204b88e76aabe058ca42
/usr/lib/debug/.build-id/19/e52c3995aea54e43bd204b88e76aabe058ca42.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/0e94282563fd993fb4feb9e52c22f3ab03104e
/usr/lib/debug/.build-id/1f/0e94282563fd993fb4feb9e52c22f3ab03104e.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/a4e9adec66e7b2f2609a365c9cf6e361f2bd8a
/usr/lib/debug/.build-id/22/a4e9adec66e7b2f2609a365c9cf6e361f2bd8a.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/ab2f28e518292d71a204726c60943b37a1e465
/usr/lib/debug/.build-id/23/ab2f28e518292d71a204726c60943b37a1e465.debug
/usr/lib/debug/.build-id/24
/usr/lib/debug/.build-id/24/76726247becbb1a7b2a40ad5247177499e34be
/usr/lib/debug/.build-id/24/76726247becbb1a7b2a40ad5247177499e34be.debug
/usr/lib/debug/.build-id/25
/usr/lib/debug/.build-id/25/bfd95eea18c1f69dcc959c13552905d181cc26
/usr/lib/debug/.build-id/25/bfd95eea18c1f69dcc959c13552905d181cc26.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/884175817c3a59240cb1c651c94cb35376251b
/usr/lib/debug/.build-id/2c/884175817c3a59240cb1c651c94cb35376251b.debug
/usr/lib/debug/.build-id/2c/e5f57408949d0910ac37f26637f9b51de04c86
/usr/lib/debug/.build-id/2c/e5f57408949d0910ac37f26637f9b51de04c86.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/83f1514e6a0ff22634262ec420d866ff6815c6
/usr/lib/debug/.build-id/33/83f1514e6a0ff22634262ec420d866ff6815c6.debug
/usr/lib/debug/.build-id/38
/usr/lib/debug/.build-id/38/4a2f7944fa92bfac214a0a8655406704343a94
/usr/lib/debug/.build-id/38/4a2f7944fa92bfac214a0a8655406704343a94.debug
/usr/lib/debug/.build-id/43
/usr/lib/debug/.build-id/43/c0019abeff589a466bc225e363c600523a66d3
/usr/lib/debug/.build-id/43/c0019abeff589a466bc225e363c600523a66d3.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/63b05b025b8a150f7df3509da564262e9f08a9
/usr/lib/debug/.build-id/44/63b05b025b8a150f7df3509da564262e9f08a9.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/40fea3215f2dbcfae8457115c46dee9a21d9c6
/usr/lib/debug/.build-id/47/40fea3215f2dbcfae8457115c46dee9a21d9c6.debug
/usr/lib/debug/.build-id/53
/usr/lib/debug/.build-id/53/68d9c6a545f41201ae8d6e785e61588bd92f0d
/usr/lib/debug/.build-id/53/68d9c6a545f41201ae8d6e785e61588bd92f0d.debug
/usr/lib/debug/.build-id/56
/usr/lib/debug/.build-id/56/5fed06f7227944866b9ee0929828654797f365
/usr/lib/debug/.build-id/56/5fed06f7227944866b9ee0929828654797f365.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/ac42884f0f177c0e91dd4b6043aeec94b1633f
/usr/lib/debug/.build-id/5c/ac42884f0f177c0e91dd4b6043aeec94b1633f.debug
/usr/lib/debug/.build-id/72
/usr/lib/debug/.build-id/72/3ba171b2dd57272268a15a1595787db93f4ca4
/usr/lib/debug/.build-id/72/3ba171b2dd57272268a15a1595787db93f4ca4.debug
/usr/lib/debug/.build-id/77
/usr/lib/debug/.build-id/77/4c80aab1378c10c002475c27b3485b7873d9b5
/usr/lib/debug/.build-id/77/4c80aab1378c10c002475c27b3485b7873d9b5.debug
/usr/lib/debug/.build-id/78
/usr/lib/debug/.build-id/78/940e275b268668e07a7de6c623a194ec97cb7e
/usr/lib/debug/.build-id/78/940e275b268668e07a7de6c623a194ec97cb7e.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/a0b03e4ff862b428e4e50c30ee6ede01673332
/usr/lib/debug/.build-id/7c/a0b03e4ff862b428e4e50c30ee6ede01673332.debug
/usr/lib/debug/.build-id/7f
/usr/lib/debug/.build-id/7f/a1c2ada435c7d71e167d8cbadbc7aa6b6832ed
/usr/lib/debug/.build-id/7f/a1c2ada435c7d71e167d8cbadbc7aa6b6832ed.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/1de7d908e5dd8ec06ac9fd0245cf70a0e15e27
/usr/lib/debug/.build-id/87/1de7d908e5dd8ec06ac9fd0245cf70a0e15e27.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/2568a92f9e9ad942108e05ce489bee40f23332
/usr/lib/debug/.build-id/96/2568a92f9e9ad942108e05ce489bee40f23332.debug
/usr/lib/debug/.build-id/9d
/usr/lib/debug/.build-id/9d/94eb6728df58bea981d501a3c8cc13c93900ea
/usr/lib/debug/.build-id/9d/94eb6728df58bea981d501a3c8cc13c93900ea.debug
/usr/lib/debug/.build-id/9e
/usr/lib/debug/.build-id/9e/d185f5e0f9c858519f2b4b8b5a107498f58961
/usr/lib/debug/.build-id/9e/d185f5e0f9c858519f2b4b8b5a107498f58961.debug
/usr/lib/debug/.build-id/a4
/usr/lib/debug/.build-id/a4/07091fa76b25e907a03191611eb5917a3debb3
/usr/lib/debug/.build-id/a4/07091fa76b25e907a03191611eb5917a3debb3.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/5d9ac95882f6c33098a786375d104f2f49fed5
/usr/lib/debug/.build-id/a5/5d9ac95882f6c33098a786375d104f2f49fed5.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/842c2fce51c2ec20742b6f42dffb6b98977ab9
/usr/lib/debug/.build-id/a9/842c2fce51c2ec20742b6f42dffb6b98977ab9.debug
/usr/lib/debug/.build-id/ad
/usr/lib/debug/.build-id/ad/645a159c3cf46a4d4e29f743b2b1fda8b46fde
/usr/lib/debug/.build-id/ad/645a159c3cf46a4d4e29f743b2b1fda8b46fde.debug
/usr/lib/debug/.build-id/ad/884b692f42ea8145b55aad1da33831f961035d
/usr/lib/debug/.build-id/ad/884b692f42ea8145b55aad1da33831f961035d.debug
/usr/lib/debug/.build-id/b7
/usr/lib/debug/.build-id/b7/9760f64c23672a0c12f024ff4542ab1f141c94
/usr/lib/debug/.build-id/b7/9760f64c23672a0c12f024ff4542ab1f141c94.debug
/usr/lib/debug/.build-id/bb
/usr/lib/debug/.build-id/bb/b1d1eafd916e059453998693af56d6433f34f2
/usr/lib/debug/.build-id/bb/b1d1eafd916e059453998693af56d6433f34f2.debug
/usr/lib/debug/.build-id/bc
/usr/lib/debug/.build-id/bc/faf0665ef7bd115cbde5d11203f168ea0e8f1e
/usr/lib/debug/.build-id/bc/faf0665ef7bd115cbde5d11203f168ea0e8f1e.debug
/usr/lib/debug/.build-id/be
/usr/lib/debug/.build-id/be/933c24fc11bf8efc1e0304d86694428b278072
/usr/lib/debug/.build-id/be/933c24fc11bf8efc1e0304d86694428b278072.debug
/usr/lib/debug/.build-id/bf
/usr/lib/debug/.build-id/bf/ff21775ec4b91d158342fbecc2e4d862a19be2
/usr/lib/debug/.build-id/bf/ff21775ec4b91d158342fbecc2e4d862a19be2.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/e6459d60f4f77e8ee6ff0bab2231b16835c4fb
/usr/lib/debug/.build-id/c5/e6459d60f4f77e8ee6ff0bab2231b16835c4fb.debug
/usr/lib/debug/.build-id/c8
/usr/lib/debug/.build-id/c8/c1e2c8897d30e1ee1cf3e3e3beb22e0d499ca3
/usr/lib/debug/.build-id/c8/c1e2c8897d30e1ee1cf3e3e3beb22e0d499ca3.debug
/usr/lib/debug/.build-id/cd
/usr/lib/debug/.build-id/cd/75828b3231414b3f1c9490c39385a62d3ad0f3
/usr/lib/debug/.build-id/cd/75828b3231414b3f1c9490c39385a62d3ad0f3.debug
/usr/lib/debug/.build-id/ce
/usr/lib/debug/.build-id/ce/8a7eadbff94d561275322a77a163652a87f446
/usr/lib/debug/.build-id/ce/8a7eadbff94d561275322a77a163652a87f446.debug
/usr/lib/debug/.build-id/ce/9626f2b92a037f7dbc69374020646c7a7eb63f
/usr/lib/debug/.build-id/ce/9626f2b92a037f7dbc69374020646c7a7eb63f.debug
/usr/lib/debug/.build-id/d2
/usr/lib/debug/.build-id/d2/a3859faafeb27c5ffecffdce777de82f29bd40
/usr/lib/debug/.build-id/d2/a3859faafeb27c5ffecffdce777de82f29bd40.debug
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/280169c3b60c6e59ccd49d26f75aacfe26ad5e
/usr/lib/debug/.build-id/d5/280169c3b60c6e59ccd49d26f75aacfe26ad5e.debug
/usr/lib/debug/.build-id/d7
/usr/lib/debug/.build-id/d7/9e2352b256e5d0fb8a826c6b9ad11bffdc6cf5
/usr/lib/debug/.build-id/d7/9e2352b256e5d0fb8a826c6b9ad11bffdc6cf5.debug
/usr/lib/debug/.build-id/d8
/usr/lib/debug/.build-id/d8/6c01aae4ef569c4f5443bdb7ae6c2f8a59ca24
/usr/lib/debug/.build-id/d8/6c01aae4ef569c4f5443bdb7ae6c2f8a59ca24.debug
/usr/lib/debug/.build-id/d9
/usr/lib/debug/.build-id/d9/e39428feff950e596ae6ec8ce03e4adf6c5c3a
/usr/lib/debug/.build-id/d9/e39428feff950e596ae6ec8ce03e4adf6c5c3a.debug
/usr/lib/debug/.build-id/da
/usr/lib/debug/.build-id/da/b5e5acb717a3bb879ffb7f067d34aa0a308eb6
/usr/lib/debug/.build-id/da/b5e5acb717a3bb879ffb7f067d34aa0a308eb6.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/84a8b9c7098acf586c44170ee03f3e5ef4999d
/usr/lib/debug/.build-id/dd/84a8b9c7098acf586c44170ee03f3e5ef4999d.debug
/usr/lib/debug/.build-id/e2
/usr/lib/debug/.build-id/e2/bd2ce438ec1f9df0dceff524f861b738601584
/usr/lib/debug/.build-id/e2/bd2ce438ec1f9df0dceff524f861b738601584.debug
/usr/lib/debug/.build-id/e9
/usr/lib/debug/.build-id/e9/df0438f342caaf0759c1cd58cec9497f304efc
/usr/lib/debug/.build-id/e9/df0438f342caaf0759c1cd58cec9497f304efc.1
/usr/lib/debug/.build-id/e9/df0438f342caaf0759c1cd58cec9497f304efc.1.debug
/usr/lib/debug/.build-id/e9/df0438f342caaf0759c1cd58cec9497f304efc.debug
/usr/lib/debug/.build-id/ec
/usr/lib/debug/.build-id/ec/9e58efc68b560629901745bb0c2d050076ea1c
/usr/lib/debug/.build-id/ec/9e58efc68b560629901745bb0c2d050076ea1c.debug
/usr/lib/debug/.build-id/f3
/usr/lib/debug/.build-id/f3/f620bb968775a9c4f45f3c15cc5c4d24a03e24
/usr/lib/debug/.build-id/f3/f620bb968775a9c4f45f3c15cc5c4d24a03e24.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/d8eafa1d958b1059f1a56368f0d8f1f90d258b
/usr/lib/debug/.build-id/f4/d8eafa1d958b1059f1a56368f0d8f1f90d258b.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/35f5de7d31460c72832d72e2c73464f9630b7a
/usr/lib/debug/.build-id/f9/35f5de7d31460c72832d72e2c73464f9630b7a.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/56311fcb074f37d86eb367a79bcb9cd18b443d
/usr/lib/debug/.build-id/fb/56311fcb074f37d86eb367a79bcb9cd18b443d.debug
/usr/lib/debug/.build-id/fc
/usr/lib/debug/.build-id/fc/ed3ffcabf60daaa132334fb1b3c112f32b16c1
/usr/lib/debug/.build-id/fc/ed3ffcabf60daaa132334fb1b3c112f32b16c1.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coq_makefile-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqc-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqchk-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqdep-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqdoc-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqnative-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqpp-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqtimelog2html-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqtop-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqwc-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/csdpcert-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/bin/votour-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/coq-core
/usr/lib/debug/usr/lib64/ocaml/coq-core/boot
/usr/lib/debug/usr/lib64/ocaml/coq-core/boot/boot.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib/clib.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/config
/usr/lib/debug/usr/lib64/ocaml/coq-core/config/config.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine/engine.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp/interp.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel/kernel.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib/lib.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/library
/usr/lib/debug/usr/lib64/ocaml/coq-core/library/library.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing/parsing.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/btauto
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/btauto/btauto_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/cc
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/cc/cc_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/derive
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/derive/derive_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/extraction
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/extraction/extraction_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/firstorder
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/firstorder/firstorder_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/funind
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/funind/funind_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac/ltac_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac2
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac2/ltac2_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/micromega
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/micromega/micromega_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/nsatz
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/nsatz/nsatz_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/number_string_notation
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ring
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ring/ring_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/rtauto
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/rtauto/rtauto_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ssreflect
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ssrmatching
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tauto
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tauto/tauto_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p0
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p0/tuto0_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p1
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p1/tuto1_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p2
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p2/tuto2_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p3
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p3/tuto3_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/zify
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/zify/zify_plugin.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing/printing.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs/proofs.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm/stm.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics/tactics.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/top_printers
/usr/lib/debug/usr/lib64/ocaml/coq-core/top_printers/top_printers.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel/toplevel.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac/vernac.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm/coqrun.cmxs-8.18.0-11.fc41.ppc64le.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.18.0-11.fc41.ppc64le.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Jun 13 02:20:11 2025