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 s390x

From Fedora 41 updates for s390x / 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:32 2025
Group: Development/Debug Build host: buildvm-s390x-03.s390.fedoraproject.org
Size: 93006743 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/f6d8731e0d07f9fb4864108dbaa1f8a8ed44fe
/usr/lib/debug/.build-id/04/f6d8731e0d07f9fb4864108dbaa1f8a8ed44fe.debug
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/d91846453ce435b2074bdf61ab4adb8e77e5f0
/usr/lib/debug/.build-id/05/d91846453ce435b2074bdf61ab4adb8e77e5f0.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/f5c5b5a375a05073ec0924c0de826c9a99320c
/usr/lib/debug/.build-id/10/f5c5b5a375a05073ec0924c0de826c9a99320c.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/78e1901d8855d3b0b1a30ba74e68746dfe0f9d
/usr/lib/debug/.build-id/12/78e1901d8855d3b0b1a30ba74e68746dfe0f9d.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/bead4444e3e77ae7c28348d6e34d183d041d15
/usr/lib/debug/.build-id/1e/bead4444e3e77ae7c28348d6e34d183d041d15.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/91b38ad211294057f7c56bc595db45219d252d
/usr/lib/debug/.build-id/23/91b38ad211294057f7c56bc595db45219d252d.debug
/usr/lib/debug/.build-id/25
/usr/lib/debug/.build-id/25/9d6061b525c6dcfd0b04e99cd79e9be5e41413
/usr/lib/debug/.build-id/25/9d6061b525c6dcfd0b04e99cd79e9be5e41413.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/fae339fd560a23c3ad67036baf3599d7a7c214
/usr/lib/debug/.build-id/2b/fae339fd560a23c3ad67036baf3599d7a7c214.debug
/usr/lib/debug/.build-id/2f
/usr/lib/debug/.build-id/2f/8a87d61a70a13387d6d925275b608c6945fd8d
/usr/lib/debug/.build-id/2f/8a87d61a70a13387d6d925275b608c6945fd8d.debug
/usr/lib/debug/.build-id/2f/fa10a2e03cc3822b28905f6be1bfb102d559b0
/usr/lib/debug/.build-id/2f/fa10a2e03cc3822b28905f6be1bfb102d559b0.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/c284ca5bcfbf2b3cb26158889ba834b5a354c8
/usr/lib/debug/.build-id/34/c284ca5bcfbf2b3cb26158889ba834b5a354c8.debug
/usr/lib/debug/.build-id/38
/usr/lib/debug/.build-id/38/34149cd08fdcf0e4dad43cb2b521890d2bd549
/usr/lib/debug/.build-id/38/34149cd08fdcf0e4dad43cb2b521890d2bd549.debug
/usr/lib/debug/.build-id/39
/usr/lib/debug/.build-id/39/fb1ffa596abe72fd407043e09229fd0e7c4c51
/usr/lib/debug/.build-id/39/fb1ffa596abe72fd407043e09229fd0e7c4c51.debug
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/2b0bab80bc3244942e169e699a297de24ae228
/usr/lib/debug/.build-id/42/2b0bab80bc3244942e169e699a297de24ae228.debug
/usr/lib/debug/.build-id/42/8b43e9cfac8998583798433236e47af7580d6d
/usr/lib/debug/.build-id/42/8b43e9cfac8998583798433236e47af7580d6d.debug
/usr/lib/debug/.build-id/43
/usr/lib/debug/.build-id/43/d8527fc08be1513b4534145b25cc990db1df04
/usr/lib/debug/.build-id/43/d8527fc08be1513b4534145b25cc990db1df04.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/bbbb98699e57a64d0d924952ace54068f43e96
/usr/lib/debug/.build-id/49/bbbb98699e57a64d0d924952ace54068f43e96.debug
/usr/lib/debug/.build-id/49/d46e8ac8d006a304b3fa55265989809bea8ab3
/usr/lib/debug/.build-id/49/d46e8ac8d006a304b3fa55265989809bea8ab3.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/1cd5b1f2d709dd06ef73c677a4020599b1b7ad
/usr/lib/debug/.build-id/51/1cd5b1f2d709dd06ef73c677a4020599b1b7ad.debug
/usr/lib/debug/.build-id/57
/usr/lib/debug/.build-id/57/974a60d8ef4936b7191e3330df2c53cfa2a5c5
/usr/lib/debug/.build-id/57/974a60d8ef4936b7191e3330df2c53cfa2a5c5.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/62ea4e85ae2572ea3e232b49da25a77348af8a
/usr/lib/debug/.build-id/5b/62ea4e85ae2572ea3e232b49da25a77348af8a.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/cc12cc29f96c4987e91b9bbec86a0b18637c8e
/usr/lib/debug/.build-id/5f/cc12cc29f96c4987e91b9bbec86a0b18637c8e.debug
/usr/lib/debug/.build-id/65
/usr/lib/debug/.build-id/65/597b4a9db40dae96d7bed70e599c2f684fac06
/usr/lib/debug/.build-id/65/597b4a9db40dae96d7bed70e599c2f684fac06.debug
/usr/lib/debug/.build-id/65/f3490496c55dcc693fa7ea83b38efc944d6356
/usr/lib/debug/.build-id/65/f3490496c55dcc693fa7ea83b38efc944d6356.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/1ca32f9b6a86072f5bf75b63aeb46ac69d2a98
/usr/lib/debug/.build-id/69/1ca32f9b6a86072f5bf75b63aeb46ac69d2a98.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/b4b9332a9b08578f1693893818fd21a6af7399
/usr/lib/debug/.build-id/6a/b4b9332a9b08578f1693893818fd21a6af7399.debug
/usr/lib/debug/.build-id/6c
/usr/lib/debug/.build-id/6c/871f5e8775a6fe6e40ce33f3262e57ba60896e
/usr/lib/debug/.build-id/6c/871f5e8775a6fe6e40ce33f3262e57ba60896e.debug
/usr/lib/debug/.build-id/6c/e1c0f254376956fdd0aef7184574e09b45a8a2
/usr/lib/debug/.build-id/6c/e1c0f254376956fdd0aef7184574e09b45a8a2.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/117db18ba0b6287efbdab7947476fb5a1ae6c6
/usr/lib/debug/.build-id/73/117db18ba0b6287efbdab7947476fb5a1ae6c6.debug
/usr/lib/debug/.build-id/82
/usr/lib/debug/.build-id/82/d88715ec063e0a2b22b1cad4d77aad426b2ace
/usr/lib/debug/.build-id/82/d88715ec063e0a2b22b1cad4d77aad426b2ace.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/d78b783a70be2fa407c04c584ed0c0e47b91be
/usr/lib/debug/.build-id/84/d78b783a70be2fa407c04c584ed0c0e47b91be.debug
/usr/lib/debug/.build-id/89
/usr/lib/debug/.build-id/89/e8132f89030d3fba3e073d233ba2131f54e444
/usr/lib/debug/.build-id/89/e8132f89030d3fba3e073d233ba2131f54e444.debug
/usr/lib/debug/.build-id/8b
/usr/lib/debug/.build-id/8b/df4e9a47f684650db7a11a9e7e45cb191482e6
/usr/lib/debug/.build-id/8b/df4e9a47f684650db7a11a9e7e45cb191482e6.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/f4487b6fe43182f6477d1755fdc06a62072289
/usr/lib/debug/.build-id/8c/f4487b6fe43182f6477d1755fdc06a62072289.debug
/usr/lib/debug/.build-id/8f
/usr/lib/debug/.build-id/8f/030331b3745f731c2c6e0b83e87ceb22f0c11e
/usr/lib/debug/.build-id/8f/030331b3745f731c2c6e0b83e87ceb22f0c11e.1
/usr/lib/debug/.build-id/8f/030331b3745f731c2c6e0b83e87ceb22f0c11e.1.debug
/usr/lib/debug/.build-id/8f/030331b3745f731c2c6e0b83e87ceb22f0c11e.debug
/usr/lib/debug/.build-id/9a
/usr/lib/debug/.build-id/9a/80477acd557bd3907a6f38fd82424cb5510311
/usr/lib/debug/.build-id/9a/80477acd557bd3907a6f38fd82424cb5510311.debug
/usr/lib/debug/.build-id/a0
/usr/lib/debug/.build-id/a0/af1e297b27863a37d00ee798a2c5e6ffa9e661
/usr/lib/debug/.build-id/a0/af1e297b27863a37d00ee798a2c5e6ffa9e661.debug
/usr/lib/debug/.build-id/a1
/usr/lib/debug/.build-id/a1/0d1b71ef23179446e1aa41ea7002feabd48d0d
/usr/lib/debug/.build-id/a1/0d1b71ef23179446e1aa41ea7002feabd48d0d.debug
/usr/lib/debug/.build-id/a1/ff632032f53915d24deb6d3148f9c6b6a7a820
/usr/lib/debug/.build-id/a1/ff632032f53915d24deb6d3148f9c6b6a7a820.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/6095913fb8590686042b5d134288a5a12b874c
/usr/lib/debug/.build-id/a7/6095913fb8590686042b5d134288a5a12b874c.debug
/usr/lib/debug/.build-id/af
/usr/lib/debug/.build-id/af/24ade1067000da5323250b144fe9fdd5149de9
/usr/lib/debug/.build-id/af/24ade1067000da5323250b144fe9fdd5149de9.debug
/usr/lib/debug/.build-id/af/63af62eb8f97479980763b81d8ec6486254a72
/usr/lib/debug/.build-id/af/63af62eb8f97479980763b81d8ec6486254a72.debug
/usr/lib/debug/.build-id/b7
/usr/lib/debug/.build-id/b7/fe713d8e79eac1f8c20dc652c815bd8f402b4f
/usr/lib/debug/.build-id/b7/fe713d8e79eac1f8c20dc652c815bd8f402b4f.debug
/usr/lib/debug/.build-id/b8
/usr/lib/debug/.build-id/b8/9d80d75dd246948e2cb4abca5675d12bf9cf6a
/usr/lib/debug/.build-id/b8/9d80d75dd246948e2cb4abca5675d12bf9cf6a.debug
/usr/lib/debug/.build-id/ba
/usr/lib/debug/.build-id/ba/74af349d76c64dd2d03f8f7c493096a591c5dd
/usr/lib/debug/.build-id/ba/74af349d76c64dd2d03f8f7c493096a591c5dd.debug
/usr/lib/debug/.build-id/ba/96dd1334a0a2c1424134e415dba137dbeee3e1
/usr/lib/debug/.build-id/ba/96dd1334a0a2c1424134e415dba137dbeee3e1.debug
/usr/lib/debug/.build-id/c0
/usr/lib/debug/.build-id/c0/542e7aba928ca0c288f8c20d4f59274e34391f
/usr/lib/debug/.build-id/c0/542e7aba928ca0c288f8c20d4f59274e34391f.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/8ef42b93515e7bedf8cdb695f1a898a7f83376
/usr/lib/debug/.build-id/c2/8ef42b93515e7bedf8cdb695f1a898a7f83376.debug
/usr/lib/debug/.build-id/c7
/usr/lib/debug/.build-id/c7/ed887493300f4c953041652bd4e017b6a5197f
/usr/lib/debug/.build-id/c7/ed887493300f4c953041652bd4e017b6a5197f.debug
/usr/lib/debug/.build-id/d2
/usr/lib/debug/.build-id/d2/089c60e37733c7b84b22811d23358e9225d173
/usr/lib/debug/.build-id/d2/089c60e37733c7b84b22811d23358e9225d173.debug
/usr/lib/debug/.build-id/d7
/usr/lib/debug/.build-id/d7/4fd2eca8c9a1cd8c57b79c86fb11165e3c57f2
/usr/lib/debug/.build-id/d7/4fd2eca8c9a1cd8c57b79c86fb11165e3c57f2.debug
/usr/lib/debug/.build-id/e1
/usr/lib/debug/.build-id/e1/58cbe5c91ffe07c3b8e2f629225217407c1e28
/usr/lib/debug/.build-id/e1/58cbe5c91ffe07c3b8e2f629225217407c1e28.debug
/usr/lib/debug/.build-id/e4
/usr/lib/debug/.build-id/e4/3d0ed27a47e6eaf89238ec5a197d61bc0d731f
/usr/lib/debug/.build-id/e4/3d0ed27a47e6eaf89238ec5a197d61bc0d731f.debug
/usr/lib/debug/.build-id/ed
/usr/lib/debug/.build-id/ed/c9a96b3f98a8b5a225692cc1ae76619de29fa8
/usr/lib/debug/.build-id/ed/c9a96b3f98a8b5a225692cc1ae76619de29fa8.debug
/usr/lib/debug/.build-id/ee
/usr/lib/debug/.build-id/ee/746d57c784afffe94a2d6690dec05b30d87988
/usr/lib/debug/.build-id/ee/746d57c784afffe94a2d6690dec05b30d87988.debug
/usr/lib/debug/.build-id/f0
/usr/lib/debug/.build-id/f0/ed2705d5c781c5ddbcdb72b7ff9c93b43861e0
/usr/lib/debug/.build-id/f0/ed2705d5c781c5ddbcdb72b7ff9c93b43861e0.debug
/usr/lib/debug/.build-id/f6
/usr/lib/debug/.build-id/f6/48bbe6dcd68b28a7d4ba1c59efe615209d6409
/usr/lib/debug/.build-id/f6/48bbe6dcd68b28a7d4ba1c59efe615209d6409.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/7a0276872381b06f62243c7b9a93fea45e7539
/usr/lib/debug/.build-id/f9/7a0276872381b06f62243c7b9a93fea45e7539.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/cae8eacfda04d5a2921287ee94eb6006c221ae
/usr/lib/debug/.build-id/fd/cae8eacfda04d5a2921287ee94eb6006c221ae.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coq_makefile-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqc-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqchk-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqdep-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqdoc-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqnative-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqpp-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqtimelog2html-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqtop-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqwc-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/csdpcert-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.18.0-11.fc41.s390x.debug
/usr/lib/debug/usr/bin/votour-8.18.0-11.fc41.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.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.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.18.0-11.fc41.s390x.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Jun 12 01:59:49 2025