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

coq-core-debuginfo-8.17.1-1.fc38 RPM for x86_64

From Fedora 38 updates for x86_64 / debug / Packages / c

Name: coq-core-debuginfo Distribution: Fedora Project
Version: 8.17.1 Vendor: Fedora Project
Release: 1.fc38 Build date: Wed Oct 18 17:21:15 2023
Group: Development/Debug Build host: buildvm-x86-11.iad2.fedoraproject.org
Size: 58733884 Source RPM: coq-8.17.1-1.fc38.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 Oct 18 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-1
  - Version 8.17.1
  - Build in release mode
* Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 8.17.0-1
  - Version 8.17.0
  - Drop upstreamed patch for Sphinx 5 support
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 8.16.1-3
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 8.16.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 8.16.1-1
  - Version 8.16.1
* Thu Oct 06 2022 Jerry James <loganjerry@gmail.com> - 8.16.0-2
  - Remove the manual, which has a non-free license (bz 2132567)
* Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 8.16.0-1
  - Version 8.16.0
  - Drop upstreamed patch for Sphinx 4.5 support
* Mon Aug 15 2022 Jerry James <loganjerry@gmail.com> - 8.15.2-3
  - Convert License tags to SPDX
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 8.15.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 19 2022 Karolina Surma <ksurma@redhat.com> - 8.15.2-2
  - Enable documentation build with Sphinx 5+
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 8.15.2-2
  - Remove i686 support
  - Use new OCaml macros
* Mon Jun 20 2022 Jerry James <loganjerry@gmail.com> - 8.15.2-2
  - Rebuild for antlr4-project 4.10.1
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 8.15.2-1
  - Upgrade to 8.15.2
  - OCaml 4.14.0 rebuild
* Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 8.15.1-1
  - Version 8.15.1
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 8.15.0-1
  - Version 8.15.0
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 8.14.1-4
  - OCaml 4.13.1 rebuild to remove package notes
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 8.14.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 8.14.1-2
  - Rebuild for ocaml-lablgtk3 3.1.2
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 8.14.1-1
  - Version 8.14.1
* Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 8.14.0-1
  - Version 8.14.0
  - Add -core subpackage

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/04
/usr/lib/debug/.build-id/04/db261e4ca77db811a8a2ae1ff426dd90acedd8
/usr/lib/debug/.build-id/04/db261e4ca77db811a8a2ae1ff426dd90acedd8.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/3ea0db4ade15ca22db1f28959034f36fcb6b60
/usr/lib/debug/.build-id/0c/3ea0db4ade15ca22db1f28959034f36fcb6b60.debug
/usr/lib/debug/.build-id/11
/usr/lib/debug/.build-id/11/81c3cd63006f110b9454e25794a21dd3e3ae42
/usr/lib/debug/.build-id/11/81c3cd63006f110b9454e25794a21dd3e3ae42.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/d876bd6af0b8a1ebdc5340056bc3c01b5a23d1
/usr/lib/debug/.build-id/1a/d876bd6af0b8a1ebdc5340056bc3c01b5a23d1.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/8ea4c89cf25f5955ed0681050295475ff945a3
/usr/lib/debug/.build-id/2a/8ea4c89cf25f5955ed0681050295475ff945a3.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/c38eeb4ed94d9464a3cfc66a4c6a71d3e3c230
/usr/lib/debug/.build-id/2c/c38eeb4ed94d9464a3cfc66a4c6a71d3e3c230.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/8f27a9b7d446e0dd68c2cffbe28f330b5613f3
/usr/lib/debug/.build-id/36/8f27a9b7d446e0dd68c2cffbe28f330b5613f3.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/92936ea4cf3b71124f90ea43debc97dccfc23f
/usr/lib/debug/.build-id/37/92936ea4cf3b71124f90ea43debc97dccfc23f.debug
/usr/lib/debug/.build-id/38
/usr/lib/debug/.build-id/38/120d642199376677de1560d9207725da105e06
/usr/lib/debug/.build-id/38/120d642199376677de1560d9207725da105e06.debug
/usr/lib/debug/.build-id/3c
/usr/lib/debug/.build-id/3c/94d0dd2666f32fbdfbddc36815ee2d89ddd4d6
/usr/lib/debug/.build-id/3c/94d0dd2666f32fbdfbddc36815ee2d89ddd4d6.debug
/usr/lib/debug/.build-id/3f
/usr/lib/debug/.build-id/3f/62c8f211d9d7de085e8870f104a870363a996d
/usr/lib/debug/.build-id/3f/62c8f211d9d7de085e8870f104a870363a996d.debug
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/3e8a7c26b1f5fbaaf349e2c3680ab800a8809f
/usr/lib/debug/.build-id/42/3e8a7c26b1f5fbaaf349e2c3680ab800a8809f.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/4e2ac38a3a4f891e1bedd9da602cdbe96afaf3
/usr/lib/debug/.build-id/47/4e2ac38a3a4f891e1bedd9da602cdbe96afaf3.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/0694e8bbbce0b3f4134a6f469c6c7792356f9c
/usr/lib/debug/.build-id/49/0694e8bbbce0b3f4134a6f469c6c7792356f9c.debug
/usr/lib/debug/.build-id/49/3141841f4228df98af3330ad97e525bfdb73c7
/usr/lib/debug/.build-id/49/3141841f4228df98af3330ad97e525bfdb73c7.debug
/usr/lib/debug/.build-id/4a
/usr/lib/debug/.build-id/4a/1f41bd33d794d1c94940b40a7765bcfa3148b0
/usr/lib/debug/.build-id/4a/1f41bd33d794d1c94940b40a7765bcfa3148b0.debug
/usr/lib/debug/.build-id/4a/4ee024159e67949083335125534f7f7028ffd0
/usr/lib/debug/.build-id/4a/4ee024159e67949083335125534f7f7028ffd0.debug
/usr/lib/debug/.build-id/56
/usr/lib/debug/.build-id/56/b826d7f3a88858ea083f9e3d94afe308679f4f
/usr/lib/debug/.build-id/56/b826d7f3a88858ea083f9e3d94afe308679f4f.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/ad0f51d4d08f4f338408a58514e340f9e7ecd2
/usr/lib/debug/.build-id/58/ad0f51d4d08f4f338408a58514e340f9e7ecd2.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/891a69fb6cdbc3e9aa8665f6cbc852156861db
/usr/lib/debug/.build-id/5c/891a69fb6cdbc3e9aa8665f6cbc852156861db.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/9b8cfdc3f47c87346f29c67e3b61012c7524ee
/usr/lib/debug/.build-id/6a/9b8cfdc3f47c87346f29c67e3b61012c7524ee.debug
/usr/lib/debug/.build-id/6b
/usr/lib/debug/.build-id/6b/ab71a17efb73c09ff8e9b758cde1c70d236d5f
/usr/lib/debug/.build-id/6b/ab71a17efb73c09ff8e9b758cde1c70d236d5f.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/fbe559f5d235922c8430d33299dbd57aa77e68
/usr/lib/debug/.build-id/70/fbe559f5d235922c8430d33299dbd57aa77e68.debug
/usr/lib/debug/.build-id/76
/usr/lib/debug/.build-id/76/5563e8191c0f27e86586118be04a0781250c78
/usr/lib/debug/.build-id/76/5563e8191c0f27e86586118be04a0781250c78.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/4ac4b48be858252815ffc30505ee2e8a3ef037
/usr/lib/debug/.build-id/85/4ac4b48be858252815ffc30505ee2e8a3ef037.debug
/usr/lib/debug/.build-id/88
/usr/lib/debug/.build-id/88/7b16ec645e025b06373d31c75e8e3d013befec
/usr/lib/debug/.build-id/88/7b16ec645e025b06373d31c75e8e3d013befec.debug
/usr/lib/debug/.build-id/8a
/usr/lib/debug/.build-id/8a/86897bbd833ae74056291da5e3c289ffb1a71b
/usr/lib/debug/.build-id/8a/86897bbd833ae74056291da5e3c289ffb1a71b.debug
/usr/lib/debug/.build-id/8b
/usr/lib/debug/.build-id/8b/081b6f03fef408148a48af61696dc350f8a3a1
/usr/lib/debug/.build-id/8b/081b6f03fef408148a48af61696dc350f8a3a1.debug
/usr/lib/debug/.build-id/8b/10d07ed27a39d42a33258ea2c38852182edf44
/usr/lib/debug/.build-id/8b/10d07ed27a39d42a33258ea2c38852182edf44.debug
/usr/lib/debug/.build-id/8f
/usr/lib/debug/.build-id/8f/d67652c3769bb148ede5e8f17dcf17e7f4f2f0
/usr/lib/debug/.build-id/8f/d67652c3769bb148ede5e8f17dcf17e7f4f2f0.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/0eed49756257a63453f7a58197b77380600dfd
/usr/lib/debug/.build-id/96/0eed49756257a63453f7a58197b77380600dfd.debug
/usr/lib/debug/.build-id/97
/usr/lib/debug/.build-id/97/94a144e9db750e02de534fa2198b0ccfb53c7d
/usr/lib/debug/.build-id/97/94a144e9db750e02de534fa2198b0ccfb53c7d.debug
/usr/lib/debug/.build-id/9b
/usr/lib/debug/.build-id/9b/4efd0c2a01b255aa060e873cab8ed5fe18ca22
/usr/lib/debug/.build-id/9b/4efd0c2a01b255aa060e873cab8ed5fe18ca22.debug
/usr/lib/debug/.build-id/a0
/usr/lib/debug/.build-id/a0/713db912ddff5c235983e1e306ea419af6c185
/usr/lib/debug/.build-id/a0/713db912ddff5c235983e1e306ea419af6c185.debug
/usr/lib/debug/.build-id/ac
/usr/lib/debug/.build-id/ac/83a1e9d892647cffe995cf457e02717bef15bf
/usr/lib/debug/.build-id/ac/83a1e9d892647cffe995cf457e02717bef15bf.debug
/usr/lib/debug/.build-id/ae
/usr/lib/debug/.build-id/ae/9882abf34193e46893343c4857af5bf2562f54
/usr/lib/debug/.build-id/ae/9882abf34193e46893343c4857af5bf2562f54.debug
/usr/lib/debug/.build-id/b2
/usr/lib/debug/.build-id/b2/256589aa6e28c0dfcb18d4449cdd3a367487a0
/usr/lib/debug/.build-id/b2/256589aa6e28c0dfcb18d4449cdd3a367487a0.debug
/usr/lib/debug/.build-id/b7
/usr/lib/debug/.build-id/b7/b88b5089954210ce74936d6ae13833fa89b461
/usr/lib/debug/.build-id/b7/b88b5089954210ce74936d6ae13833fa89b461.debug
/usr/lib/debug/.build-id/ba
/usr/lib/debug/.build-id/ba/f6514b2c0c26ebaeaa37d619442ed9627a0b84
/usr/lib/debug/.build-id/ba/f6514b2c0c26ebaeaa37d619442ed9627a0b84.1
/usr/lib/debug/.build-id/ba/f6514b2c0c26ebaeaa37d619442ed9627a0b84.1.debug
/usr/lib/debug/.build-id/ba/f6514b2c0c26ebaeaa37d619442ed9627a0b84.debug
/usr/lib/debug/.build-id/bf
/usr/lib/debug/.build-id/bf/75b34a9494032498c37ae6813167b67880c91b
/usr/lib/debug/.build-id/bf/75b34a9494032498c37ae6813167b67880c91b.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/130ed1d2d85edc44c32f4c726d8893006a0ec7
/usr/lib/debug/.build-id/c2/130ed1d2d85edc44c32f4c726d8893006a0ec7.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/458962559260529a6b9fcca149015a9e590362
/usr/lib/debug/.build-id/c5/458962559260529a6b9fcca149015a9e590362.debug
/usr/lib/debug/.build-id/c5/a7d3c9603ae8f664b3706d989d734e3562d19a
/usr/lib/debug/.build-id/c5/a7d3c9603ae8f664b3706d989d734e3562d19a.debug
/usr/lib/debug/.build-id/ca
/usr/lib/debug/.build-id/ca/6265b15620821e74d18dd5af162614a6033ecd
/usr/lib/debug/.build-id/ca/6265b15620821e74d18dd5af162614a6033ecd.debug
/usr/lib/debug/.build-id/cd
/usr/lib/debug/.build-id/cd/286cd4542a808faa2cca357e04efa10a3948af
/usr/lib/debug/.build-id/cd/286cd4542a808faa2cca357e04efa10a3948af.debug
/usr/lib/debug/.build-id/ce
/usr/lib/debug/.build-id/ce/371fad8cd965f5d195024d3a5e09a8dab9cb9b
/usr/lib/debug/.build-id/ce/371fad8cd965f5d195024d3a5e09a8dab9cb9b.debug
/usr/lib/debug/.build-id/cf
/usr/lib/debug/.build-id/cf/5c64b2b39fe80dec9f702ca4121f719254f7dd
/usr/lib/debug/.build-id/cf/5c64b2b39fe80dec9f702ca4121f719254f7dd.debug
/usr/lib/debug/.build-id/d1
/usr/lib/debug/.build-id/d1/1de63a323b29b61f4099dc3cef300aba1a5b9a
/usr/lib/debug/.build-id/d1/1de63a323b29b61f4099dc3cef300aba1a5b9a.debug
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/de4a477fa5317e8daba83083034da2620b3539
/usr/lib/debug/.build-id/d5/de4a477fa5317e8daba83083034da2620b3539.debug
/usr/lib/debug/.build-id/d5/f343e04ca55baaee595df44793e21a9b6ea5b4
/usr/lib/debug/.build-id/d5/f343e04ca55baaee595df44793e21a9b6ea5b4.debug
/usr/lib/debug/.build-id/d9
/usr/lib/debug/.build-id/d9/c19c8822ea503d1b3d253b84558e13e8d4f42d
/usr/lib/debug/.build-id/d9/c19c8822ea503d1b3d253b84558e13e8d4f42d.debug
/usr/lib/debug/.build-id/e5
/usr/lib/debug/.build-id/e5/c96961d2ed0f75c0808a1ce5955021086ffca8
/usr/lib/debug/.build-id/e5/c96961d2ed0f75c0808a1ce5955021086ffca8.debug
/usr/lib/debug/.build-id/e6
/usr/lib/debug/.build-id/e6/78266c3fa71d2445693b7746c44f0a359e4ad4
/usr/lib/debug/.build-id/e6/78266c3fa71d2445693b7746c44f0a359e4ad4.debug
/usr/lib/debug/.build-id/eb
/usr/lib/debug/.build-id/eb/1d3963816f9bda7b2e0135f975d7e9e36b8cd0
/usr/lib/debug/.build-id/eb/1d3963816f9bda7b2e0135f975d7e9e36b8cd0.debug
/usr/lib/debug/.build-id/ef
/usr/lib/debug/.build-id/ef/6d62b863c01fbdf3ead11b7d4fb92cbb872b76
/usr/lib/debug/.build-id/ef/6d62b863c01fbdf3ead11b7d4fb92cbb872b76.debug
/usr/lib/debug/.build-id/f3
/usr/lib/debug/.build-id/f3/f3380fad20fb8e32d1ba8215fc2e8614809caf
/usr/lib/debug/.build-id/f3/f3380fad20fb8e32d1ba8215fc2e8614809caf.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/d44aef439f9f4cbc503ad8d88adf296fc9219a
/usr/lib/debug/.build-id/f5/d44aef439f9f4cbc503ad8d88adf296fc9219a.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/f7624100f2562034c1d5ca7838e5bd9834da45
/usr/lib/debug/.build-id/f9/f7624100f2562034c1d5ca7838e5bd9834da45.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqc-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqchk-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqdep-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqdoc-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqnative-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqpp-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqtop-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqwc-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/csdpcert-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/bin/votour-8.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib/clib.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/config
/usr/lib/debug/usr/lib64/ocaml/coq-core/config/config.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine/engine.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp/interp.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel/kernel.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib/lib.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/library
/usr/lib/debug/usr/lib64/ocaml/coq-core/library/library.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing/parsing.cmxs-8.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing/printing.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs/proofs.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm/stm.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics/tactics.cmxs-8.17.1-1.fc38.x86_64.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.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel/toplevel.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac/vernac.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm/coqrun.cmxs-8.17.1-1.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.17.1-1.fc38.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat May 4 01:31:39 2024