Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
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.
LGPL-2.1-only AND MIT AND BSD-3-Clause
* 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
/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, Wed May 22 01:59:12 2024