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 aarch64

From Fedora 41 updates for aarch64 / 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:18:38 2025
Group: Development/Debug Build host: buildvm-a64-14.iad2.fedoraproject.org
Size: 115508047 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/04
/usr/lib/debug/.build-id/04/2c3ce16071c0e8d00667bf803b4eecd3d233ef
/usr/lib/debug/.build-id/04/2c3ce16071c0e8d00667bf803b4eecd3d233ef.debug
/usr/lib/debug/.build-id/06
/usr/lib/debug/.build-id/06/3a2b8697aa1ad6e688a5081fcf0c39c02ab1a2
/usr/lib/debug/.build-id/06/3a2b8697aa1ad6e688a5081fcf0c39c02ab1a2.debug
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/0bc9ce3b9b31055031650d1f454f1b28ce1e4e
/usr/lib/debug/.build-id/09/0bc9ce3b9b31055031650d1f454f1b28ce1e4e.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/76d45a4d92b4cbd1cdcd268b6aa43c7399475d
/usr/lib/debug/.build-id/0d/76d45a4d92b4cbd1cdcd268b6aa43c7399475d.debug
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/daff02731d1891650acc86b6c65d8cead63010
/usr/lib/debug/.build-id/0e/daff02731d1891650acc86b6c65d8cead63010.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/7d3f2d52e3a48646febc797a62b2ac539cde78
/usr/lib/debug/.build-id/10/7d3f2d52e3a48646febc797a62b2ac539cde78.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/0a008a9749a35ee0b37cb856b8df4c3ccddd4c
/usr/lib/debug/.build-id/14/0a008a9749a35ee0b37cb856b8df4c3ccddd4c.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/43d704216b9b2660db1b882ca67e4f6b0dd2ed
/usr/lib/debug/.build-id/15/43d704216b9b2660db1b882ca67e4f6b0dd2ed.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/d787ecaa00ac31589ef634cce4f9c51dd85752
/usr/lib/debug/.build-id/1b/d787ecaa00ac31589ef634cce4f9c51dd85752.debug
/usr/lib/debug/.build-id/26
/usr/lib/debug/.build-id/26/1a11e163a942360a5e07ce56f1b511f2e59e85
/usr/lib/debug/.build-id/26/1a11e163a942360a5e07ce56f1b511f2e59e85.debug
/usr/lib/debug/.build-id/26/74eb39fab3e09fe4305c225c91f4ad67b93f96
/usr/lib/debug/.build-id/26/74eb39fab3e09fe4305c225c91f4ad67b93f96.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/8a87df77c2369153de18d2df1d2bc6a1baa03a
/usr/lib/debug/.build-id/28/8a87df77c2369153de18d2df1d2bc6a1baa03a.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/3ecaa298f09df151585e6f62a87459886ea2c3
/usr/lib/debug/.build-id/36/3ecaa298f09df151585e6f62a87459886ea2c3.debug
/usr/lib/debug/.build-id/3a
/usr/lib/debug/.build-id/3a/d47b0b7487b1c1d68bac82ccc78da6782db2e3
/usr/lib/debug/.build-id/3a/d47b0b7487b1c1d68bac82ccc78da6782db2e3.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/8281a18632053f0142018d97b761316f0916a4
/usr/lib/debug/.build-id/3b/8281a18632053f0142018d97b761316f0916a4.debug
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/0e7b7fc43d76663f84677ba1335ed39f74cce4
/usr/lib/debug/.build-id/42/0e7b7fc43d76663f84677ba1335ed39f74cce4.debug
/usr/lib/debug/.build-id/43
/usr/lib/debug/.build-id/43/946eaea4a8ccf385d2dc7e4ec2b917b865f577
/usr/lib/debug/.build-id/43/946eaea4a8ccf385d2dc7e4ec2b917b865f577.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/08c165bccb5a401ed9aef18a6fb4de929cb477
/usr/lib/debug/.build-id/47/08c165bccb5a401ed9aef18a6fb4de929cb477.debug
/usr/lib/debug/.build-id/47/9a22efcb5138941dc36dd4502accd833e3e025
/usr/lib/debug/.build-id/47/9a22efcb5138941dc36dd4502accd833e3e025.debug
/usr/lib/debug/.build-id/47/e8c5409b614072a256f5b97d704184abf49993
/usr/lib/debug/.build-id/47/e8c5409b614072a256f5b97d704184abf49993.debug
/usr/lib/debug/.build-id/4b
/usr/lib/debug/.build-id/4b/88320cd412dc612ab41136f9d9c172bd707e23
/usr/lib/debug/.build-id/4b/88320cd412dc612ab41136f9d9c172bd707e23.debug
/usr/lib/debug/.build-id/50
/usr/lib/debug/.build-id/50/fd041c21b6b015360179570bd8fff9c527db0a
/usr/lib/debug/.build-id/50/fd041c21b6b015360179570bd8fff9c527db0a.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/247fd60d898c8379f04acc49bb8f6e3351bd0b
/usr/lib/debug/.build-id/55/247fd60d898c8379f04acc49bb8f6e3351bd0b.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/d6644ee5ce7087e658dd42271727f740ec000d
/usr/lib/debug/.build-id/58/d6644ee5ce7087e658dd42271727f740ec000d.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/6f5149fb82a5536992fa1bbfadc6d6eb96be70
/usr/lib/debug/.build-id/5c/6f5149fb82a5536992fa1bbfadc6d6eb96be70.debug
/usr/lib/debug/.build-id/66
/usr/lib/debug/.build-id/66/c7ae27b387440172ac518f8aed6c8b68f54df6
/usr/lib/debug/.build-id/66/c7ae27b387440172ac518f8aed6c8b68f54df6.debug
/usr/lib/debug/.build-id/6b
/usr/lib/debug/.build-id/6b/403d8879eaaa2649798596941a93885ad41db0
/usr/lib/debug/.build-id/6b/403d8879eaaa2649798596941a93885ad41db0.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/7215d4aff2530cc31d1d112efcc433b4700b11
/usr/lib/debug/.build-id/70/7215d4aff2530cc31d1d112efcc433b4700b11.debug
/usr/lib/debug/.build-id/78
/usr/lib/debug/.build-id/78/631129adfefd31969052b630cc293bde692063
/usr/lib/debug/.build-id/78/631129adfefd31969052b630cc293bde692063.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/8aad30a898baeb389ecfcba480278eb5e9d70c
/usr/lib/debug/.build-id/85/8aad30a898baeb389ecfcba480278eb5e9d70c.debug
/usr/lib/debug/.build-id/85/c265cd1124e3372e6a692accef0239ad24d511
/usr/lib/debug/.build-id/85/c265cd1124e3372e6a692accef0239ad24d511.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/f51e3c4550679f40058d0ec3b16a1925a6668f
/usr/lib/debug/.build-id/90/f51e3c4550679f40058d0ec3b16a1925a6668f.debug
/usr/lib/debug/.build-id/9f
/usr/lib/debug/.build-id/9f/f7cccf6afc820e0a380f28a3c85aff1db3e4bf
/usr/lib/debug/.build-id/9f/f7cccf6afc820e0a380f28a3c85aff1db3e4bf.debug
/usr/lib/debug/.build-id/a4
/usr/lib/debug/.build-id/a4/9d7de1398960a32af024b19158fc399bb700b8
/usr/lib/debug/.build-id/a4/9d7de1398960a32af024b19158fc399bb700b8.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/626aaa82cb0599d2080be8c4e2ac6556918862
/usr/lib/debug/.build-id/a7/626aaa82cb0599d2080be8c4e2ac6556918862.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/813606b4aef7402b8554b5d33bb96257311a9d
/usr/lib/debug/.build-id/a9/813606b4aef7402b8554b5d33bb96257311a9d.debug
/usr/lib/debug/.build-id/af
/usr/lib/debug/.build-id/af/255dcefb732ef7636d9a5251043e333cf85cbb
/usr/lib/debug/.build-id/af/255dcefb732ef7636d9a5251043e333cf85cbb.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/1fe04d7b61340bbe18d419e2af059517772abf
/usr/lib/debug/.build-id/b1/1fe04d7b61340bbe18d419e2af059517772abf.debug
/usr/lib/debug/.build-id/b6
/usr/lib/debug/.build-id/b6/1ea356e1358b14484696390f579b493d68f581
/usr/lib/debug/.build-id/b6/1ea356e1358b14484696390f579b493d68f581.debug
/usr/lib/debug/.build-id/b6/e0c4fcf2d532d900128b60aa9b8ce81ff15524
/usr/lib/debug/.build-id/b6/e0c4fcf2d532d900128b60aa9b8ce81ff15524.debug
/usr/lib/debug/.build-id/be
/usr/lib/debug/.build-id/be/be4bc41e6e05ed53954a5fc149a8f890f7c093
/usr/lib/debug/.build-id/be/be4bc41e6e05ed53954a5fc149a8f890f7c093.debug
/usr/lib/debug/.build-id/c1
/usr/lib/debug/.build-id/c1/100b51ca76c6dd981c1da1f90d0d4359365695
/usr/lib/debug/.build-id/c1/100b51ca76c6dd981c1da1f90d0d4359365695.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/66150d8ea83876679f6e73ce3c81ee45359e42
/usr/lib/debug/.build-id/c2/66150d8ea83876679f6e73ce3c81ee45359e42.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/f2e96045e9f43df975972dc0e144d2692b60ef
/usr/lib/debug/.build-id/c5/f2e96045e9f43df975972dc0e144d2692b60ef.debug
/usr/lib/debug/.build-id/c6
/usr/lib/debug/.build-id/c6/c22de8c270c8a7c13e4fc33aabb2159be5ab99
/usr/lib/debug/.build-id/c6/c22de8c270c8a7c13e4fc33aabb2159be5ab99.debug
/usr/lib/debug/.build-id/c8
/usr/lib/debug/.build-id/c8/4f7e692114bf7b80ff7a596ac1e117e32b0132
/usr/lib/debug/.build-id/c8/4f7e692114bf7b80ff7a596ac1e117e32b0132.debug
/usr/lib/debug/.build-id/c9
/usr/lib/debug/.build-id/c9/13d3c7452b2bdc98271dd072b3d2c0e515775e
/usr/lib/debug/.build-id/c9/13d3c7452b2bdc98271dd072b3d2c0e515775e.debug
/usr/lib/debug/.build-id/cd
/usr/lib/debug/.build-id/cd/d56d191c7f0b26193785727fa814db20cf7d17
/usr/lib/debug/.build-id/cd/d56d191c7f0b26193785727fa814db20cf7d17.debug
/usr/lib/debug/.build-id/ce
/usr/lib/debug/.build-id/ce/0607c3609181a98bc25069672a6537a4ecc744
/usr/lib/debug/.build-id/ce/0607c3609181a98bc25069672a6537a4ecc744.debug
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/7fe16b19f6ac2b6a3460ed2ba13584e825ce83
/usr/lib/debug/.build-id/d5/7fe16b19f6ac2b6a3460ed2ba13584e825ce83.debug
/usr/lib/debug/.build-id/e1
/usr/lib/debug/.build-id/e1/4532b87d2e6467f96dcb8d17385cd0e8ae7b65
/usr/lib/debug/.build-id/e1/4532b87d2e6467f96dcb8d17385cd0e8ae7b65.debug
/usr/lib/debug/.build-id/e2
/usr/lib/debug/.build-id/e2/6a51aaa56be91f42f12903c4cef861204f6102
/usr/lib/debug/.build-id/e2/6a51aaa56be91f42f12903c4cef861204f6102.debug
/usr/lib/debug/.build-id/ee
/usr/lib/debug/.build-id/ee/c91c362931c6147cf776887a64b7a4c7adcf9a
/usr/lib/debug/.build-id/ee/c91c362931c6147cf776887a64b7a4c7adcf9a.debug
/usr/lib/debug/.build-id/f0
/usr/lib/debug/.build-id/f0/9b4dbed57f0c1cffbcbdced8657f694d2c674c
/usr/lib/debug/.build-id/f0/9b4dbed57f0c1cffbcbdced8657f694d2c674c.debug
/usr/lib/debug/.build-id/f2
/usr/lib/debug/.build-id/f2/e69055b7110eb7ce13fb3c3a3853f3502b6bd3
/usr/lib/debug/.build-id/f2/e69055b7110eb7ce13fb3c3a3853f3502b6bd3.1
/usr/lib/debug/.build-id/f2/e69055b7110eb7ce13fb3c3a3853f3502b6bd3.1.debug
/usr/lib/debug/.build-id/f2/e69055b7110eb7ce13fb3c3a3853f3502b6bd3.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/1705a0e82684c4f8dc8324c84c70f01bb959e9
/usr/lib/debug/.build-id/f4/1705a0e82684c4f8dc8324c84c70f01bb959e9.debug
/usr/lib/debug/.build-id/f6
/usr/lib/debug/.build-id/f6/af105903f0c2d9a5d80fb015c4a65dfd078b52
/usr/lib/debug/.build-id/f6/af105903f0c2d9a5d80fb015c4a65dfd078b52.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/bdd5ae0cfd23a0e97765d121a00a442461dff1
/usr/lib/debug/.build-id/f9/bdd5ae0cfd23a0e97765d121a00a442461dff1.debug
/usr/lib/debug/.build-id/ff
/usr/lib/debug/.build-id/ff/4283a99ef62feadde94c0fd8c193655efd37d7
/usr/lib/debug/.build-id/ff/4283a99ef62feadde94c0fd8c193655efd37d7.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqc-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqchk-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqdep-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqdoc-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqnative-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqpp-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqtimelog2html-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqtop-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqwc-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/csdpcert-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.18.0-11.fc41.aarch64.debug
/usr/lib/debug/usr/bin/votour-8.18.0-11.fc41.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.18.0-11.fc41.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Feb 11 06:33:51 2025