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 aarch64

From Fedora 38 updates for aarch64 / 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:00 2023
Group: Development/Debug Build host: buildvm-a64-24.iad2.fedoraproject.org
Size: 58293967 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/02
/usr/lib/debug/.build-id/02/c72bea21e211503f252a6b68ffdd8bc43a0630
/usr/lib/debug/.build-id/02/c72bea21e211503f252a6b68ffdd8bc43a0630.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/0d55740b5f1c009f6154c0d54efba18719e2be
/usr/lib/debug/.build-id/0a/0d55740b5f1c009f6154c0d54efba18719e2be.debug
/usr/lib/debug/.build-id/0a/7d43d82d21d9b32fccf300294a89f8b9647bf9
/usr/lib/debug/.build-id/0a/7d43d82d21d9b32fccf300294a89f8b9647bf9.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/cbd83ad55e1ccfd174ff04a98940f9e36b5803
/usr/lib/debug/.build-id/10/cbd83ad55e1ccfd174ff04a98940f9e36b5803.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/d06e6cba18f7096f17df8b7ed242e46b101566
/usr/lib/debug/.build-id/12/d06e6cba18f7096f17df8b7ed242e46b101566.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/233aac1459962421af3e362b56e9104cfbffb3
/usr/lib/debug/.build-id/15/233aac1459962421af3e362b56e9104cfbffb3.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/c32ab4677ff885d4dd59131588471da81beab4
/usr/lib/debug/.build-id/18/c32ab4677ff885d4dd59131588471da81beab4.debug
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/381e74c0b8abcaba0fedf03b1af912447677d5
/usr/lib/debug/.build-id/1d/381e74c0b8abcaba0fedf03b1af912447677d5.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/d8c78f571e1a451c1f91f1044fa3065195a72e
/usr/lib/debug/.build-id/1e/d8c78f571e1a451c1f91f1044fa3065195a72e.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/4fd19aa494afd7657217359d25be2e440312ff
/usr/lib/debug/.build-id/1f/4fd19aa494afd7657217359d25be2e440312ff.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/35d8a1135630266f45bc233deb40f0682f586f
/usr/lib/debug/.build-id/22/35d8a1135630266f45bc233deb40f0682f586f.debug
/usr/lib/debug/.build-id/24
/usr/lib/debug/.build-id/24/d9bc7d8614fe2ace2734a04bb48873407ba19b
/usr/lib/debug/.build-id/24/d9bc7d8614fe2ace2734a04bb48873407ba19b.debug
/usr/lib/debug/.build-id/24/f10f7e49a76ef21e4d9183b9606b374314543f
/usr/lib/debug/.build-id/24/f10f7e49a76ef21e4d9183b9606b374314543f.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/c6fd36b3d3efd4e9ddb5d06268d30fde8587a6
/usr/lib/debug/.build-id/28/c6fd36b3d3efd4e9ddb5d06268d30fde8587a6.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/f3bb8481416cf05a1e978a000e69b674bacaad
/usr/lib/debug/.build-id/2c/f3bb8481416cf05a1e978a000e69b674bacaad.debug
/usr/lib/debug/.build-id/30
/usr/lib/debug/.build-id/30/cee7c05d4e9e255785811bc3bb58749ff76e6f
/usr/lib/debug/.build-id/30/cee7c05d4e9e255785811bc3bb58749ff76e6f.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/c76835ce2e3fe1312c68f337a8f5574629564a
/usr/lib/debug/.build-id/37/c76835ce2e3fe1312c68f337a8f5574629564a.debug
/usr/lib/debug/.build-id/46
/usr/lib/debug/.build-id/46/6bfb45a10ba15f3617d595fcf95e165a7285b2
/usr/lib/debug/.build-id/46/6bfb45a10ba15f3617d595fcf95e165a7285b2.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/70beba7e93a0edebcdf7f9974b21fad67077b4
/usr/lib/debug/.build-id/47/70beba7e93a0edebcdf7f9974b21fad67077b4.debug
/usr/lib/debug/.build-id/50
/usr/lib/debug/.build-id/50/f1d0dea29b12a07623b50f9b37ed2cc536fb1f
/usr/lib/debug/.build-id/50/f1d0dea29b12a07623b50f9b37ed2cc536fb1f.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/eb8fae54cb26c976617c2076109ff4353338bb
/usr/lib/debug/.build-id/58/eb8fae54cb26c976617c2076109ff4353338bb.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/e5c0637454c911cf96f11778dad9d19edd105d
/usr/lib/debug/.build-id/5f/e5c0637454c911cf96f11778dad9d19edd105d.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/46905b403625b2d055ee230eb2296dabc0d96e
/usr/lib/debug/.build-id/6a/46905b403625b2d055ee230eb2296dabc0d96e.debug
/usr/lib/debug/.build-id/72
/usr/lib/debug/.build-id/72/6dda420f8bed8fe4048f08ad49d49568015448
/usr/lib/debug/.build-id/72/6dda420f8bed8fe4048f08ad49d49568015448.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/9c6484966605e69d2676788bcb08336bc26cef
/usr/lib/debug/.build-id/74/9c6484966605e69d2676788bcb08336bc26cef.debug
/usr/lib/debug/.build-id/7b
/usr/lib/debug/.build-id/7b/88687044c618b280c1cc57c297af58fc1ce020
/usr/lib/debug/.build-id/7b/88687044c618b280c1cc57c297af58fc1ce020.debug
/usr/lib/debug/.build-id/7f
/usr/lib/debug/.build-id/7f/a3997e76a403ee43d32e20a93d3634ee67ee4e
/usr/lib/debug/.build-id/7f/a3997e76a403ee43d32e20a93d3634ee67ee4e.debug
/usr/lib/debug/.build-id/81
/usr/lib/debug/.build-id/81/4770838f6649017c38ed8aa77f8baf10847d84
/usr/lib/debug/.build-id/81/4770838f6649017c38ed8aa77f8baf10847d84.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/7e977ce819415c3cf3e214d021784495a826c9
/usr/lib/debug/.build-id/85/7e977ce819415c3cf3e214d021784495a826c9.debug
/usr/lib/debug/.build-id/85/c65af3d74a2b1f1ba749fe048b019aec6ac3ac
/usr/lib/debug/.build-id/85/c65af3d74a2b1f1ba749fe048b019aec6ac3ac.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/7ae89a0ba5eb97e0ff69a7f2f08ff55a984bf3
/usr/lib/debug/.build-id/87/7ae89a0ba5eb97e0ff69a7f2f08ff55a984bf3.debug
/usr/lib/debug/.build-id/8f
/usr/lib/debug/.build-id/8f/c5b5db82a0fcc18571df77649445bfb05787eb
/usr/lib/debug/.build-id/8f/c5b5db82a0fcc18571df77649445bfb05787eb.debug
/usr/lib/debug/.build-id/8f/f6b8d9cc5d1ddce8f314d94a90e21696b3df8c
/usr/lib/debug/.build-id/8f/f6b8d9cc5d1ddce8f314d94a90e21696b3df8c.debug
/usr/lib/debug/.build-id/92
/usr/lib/debug/.build-id/92/ba8306ce536ed5abc3d2ec38dd591ab5ce5a6d
/usr/lib/debug/.build-id/92/ba8306ce536ed5abc3d2ec38dd591ab5ce5a6d.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/147f96c8adc0b9b715505e6babf0ea0efab2bf
/usr/lib/debug/.build-id/94/147f96c8adc0b9b715505e6babf0ea0efab2bf.debug
/usr/lib/debug/.build-id/94/2c70402ce0b51bd819cf3aad85d0b35011e006
/usr/lib/debug/.build-id/94/2c70402ce0b51bd819cf3aad85d0b35011e006.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/6259249035c9bb6697cb7bc3b2d65dc81ea696
/usr/lib/debug/.build-id/95/6259249035c9bb6697cb7bc3b2d65dc81ea696.debug
/usr/lib/debug/.build-id/97
/usr/lib/debug/.build-id/97/c71871c614debeef9cb90da7a3830ee34a9961
/usr/lib/debug/.build-id/97/c71871c614debeef9cb90da7a3830ee34a9961.debug
/usr/lib/debug/.build-id/9a
/usr/lib/debug/.build-id/9a/dc3e17af2b126c3ff118cd5590dfd824e2fa41
/usr/lib/debug/.build-id/9a/dc3e17af2b126c3ff118cd5590dfd824e2fa41.debug
/usr/lib/debug/.build-id/9d
/usr/lib/debug/.build-id/9d/f6a26f280960d53f68502806e4ef5bb81e8e67
/usr/lib/debug/.build-id/9d/f6a26f280960d53f68502806e4ef5bb81e8e67.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/9145fe972593aa5c98c70d7a0ac5e2047aa9f6
/usr/lib/debug/.build-id/a5/9145fe972593aa5c98c70d7a0ac5e2047aa9f6.1
/usr/lib/debug/.build-id/a5/9145fe972593aa5c98c70d7a0ac5e2047aa9f6.1.debug
/usr/lib/debug/.build-id/a5/9145fe972593aa5c98c70d7a0ac5e2047aa9f6.debug
/usr/lib/debug/.build-id/b7
/usr/lib/debug/.build-id/b7/f0d8b7f5a1409bce4e0bcfbbb648fccf7f1913
/usr/lib/debug/.build-id/b7/f0d8b7f5a1409bce4e0bcfbbb648fccf7f1913.debug
/usr/lib/debug/.build-id/b9
/usr/lib/debug/.build-id/b9/55fce52b483238a5cddef225f8efc5eb196024
/usr/lib/debug/.build-id/b9/55fce52b483238a5cddef225f8efc5eb196024.debug
/usr/lib/debug/.build-id/ba
/usr/lib/debug/.build-id/ba/e258fa8c0a5dee71dabd6744fff3fe4446fd2b
/usr/lib/debug/.build-id/ba/e258fa8c0a5dee71dabd6744fff3fe4446fd2b.debug
/usr/lib/debug/.build-id/bb
/usr/lib/debug/.build-id/bb/9cfe639a756632a2cdec33f1703dcb9602f13d
/usr/lib/debug/.build-id/bb/9cfe639a756632a2cdec33f1703dcb9602f13d.debug
/usr/lib/debug/.build-id/c8
/usr/lib/debug/.build-id/c8/bcb128285af4e16c942e040164e819293109ba
/usr/lib/debug/.build-id/c8/bcb128285af4e16c942e040164e819293109ba.debug
/usr/lib/debug/.build-id/c9
/usr/lib/debug/.build-id/c9/074a5263663c80950104d82547602880ec4ed4
/usr/lib/debug/.build-id/c9/074a5263663c80950104d82547602880ec4ed4.debug
/usr/lib/debug/.build-id/c9/76ca04a24dbeebf57bdd218806535fff3e3ba2
/usr/lib/debug/.build-id/c9/76ca04a24dbeebf57bdd218806535fff3e3ba2.debug
/usr/lib/debug/.build-id/d1
/usr/lib/debug/.build-id/d1/896c977536dc34e821265f7ea6ce88786b89d4
/usr/lib/debug/.build-id/d1/896c977536dc34e821265f7ea6ce88786b89d4.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/8cf1a27a7a58a1ab66b1664307ae17a7aae229
/usr/lib/debug/.build-id/d4/8cf1a27a7a58a1ab66b1664307ae17a7aae229.debug
/usr/lib/debug/.build-id/d8
/usr/lib/debug/.build-id/d8/8a9e7c4165767e277551beaef437df8bd783e3
/usr/lib/debug/.build-id/d8/8a9e7c4165767e277551beaef437df8bd783e3.debug
/usr/lib/debug/.build-id/d8/aae078292b5d113341f5945d4991c4eb4735ca
/usr/lib/debug/.build-id/d8/aae078292b5d113341f5945d4991c4eb4735ca.debug
/usr/lib/debug/.build-id/da
/usr/lib/debug/.build-id/da/1190bc37f869812f7fa14ffc9e719a146d5f63
/usr/lib/debug/.build-id/da/1190bc37f869812f7fa14ffc9e719a146d5f63.debug
/usr/lib/debug/.build-id/da/4fe15de788ca471826539172450689fa113978
/usr/lib/debug/.build-id/da/4fe15de788ca471826539172450689fa113978.debug
/usr/lib/debug/.build-id/db
/usr/lib/debug/.build-id/db/fb421f3022530025fd6aa537c731e70ae79ecc
/usr/lib/debug/.build-id/db/fb421f3022530025fd6aa537c731e70ae79ecc.debug
/usr/lib/debug/.build-id/ee
/usr/lib/debug/.build-id/ee/920f1b0b82c088caf3814cba391377dc4d5a85
/usr/lib/debug/.build-id/ee/920f1b0b82c088caf3814cba391377dc4d5a85.debug
/usr/lib/debug/.build-id/f3
/usr/lib/debug/.build-id/f3/cd04ebba72f933b06e8c37fd73c0f559c51392
/usr/lib/debug/.build-id/f3/cd04ebba72f933b06e8c37fd73c0f559c51392.debug
/usr/lib/debug/.build-id/fe
/usr/lib/debug/.build-id/fe/cf5c87ee4c1f8ed335c67b0ca42f3dcf6eff7d
/usr/lib/debug/.build-id/fe/cf5c87ee4c1f8ed335c67b0ca42f3dcf6eff7d.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqc-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqchk-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqdep-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqdoc-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqnative-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqpp-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqtop-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqwc-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/csdpcert-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.17.1-1.fc38.aarch64.debug
/usr/lib/debug/usr/bin/votour-8.17.1-1.fc38.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.17.1-1.fc38.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.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.17.1-1.fc38.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.aarch64.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.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.17.1-1.fc38.aarch64.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.aarch64.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.aarch64.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.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.17.1-1.fc38.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun May 5 00:51:13 2024