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

coq-core-debuginfo-8.16.1-1.fc37 RPM for aarch64

From Fedora 37 updates for aarch64 / debug / Packages / c

Name: coq-core-debuginfo Distribution: Fedora Project
Version: 8.16.1 Vendor: Fedora Project
Release: 1.fc37 Build date: Sun Nov 27 03:32:05 2022
Group: Development/Debug Build host: buildvm-a64-06.iad2.fedoraproject.org
Size: 62975093 Source RPM: coq-8.16.1-1.fc37.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

* 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
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.2-5
  - OCaml 4.13.1 build
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.2-4
  - Try to build on s390x with OCaml 4.13
* Thu Jul 29 2021 Jerry James <loganjerry@gmail.com> - 8.13.2-3
  - Rebuild for changed ocamlx(Dynlink)
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.13.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Fri Jun 04 2021 Jerry James <loganjerry@gmail.com> - 8.13.2-1
  - Version 8.13.2
* Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 8.13.1-1
  - Version 8.13.1
* Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.0-2
  - OCaml 4.12.0 build
* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 8.13.0-1
  - Version 8.13.0
  - Revert to make; dune is unable to build the native compilation version
  - Install into the metainfo dir instead of the appdata dir
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.12.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 8.12.2-1
  - Version 8.12.2
* Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 8.12.1-1
  - Version 8.12.1
  - Drop upstreamed sphinx 3 support patch

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/01/9965cdab4cbceb33631f450b759da1212f78bf
/usr/lib/debug/.build-id/01/9965cdab4cbceb33631f450b759da1212f78bf.debug
/usr/lib/debug/.build-id/06/7b99b640e5f02db8b7de3ea57bf25cdf2328ff
/usr/lib/debug/.build-id/06/7b99b640e5f02db8b7de3ea57bf25cdf2328ff.debug
/usr/lib/debug/.build-id/08/c69b6fde904793d6b9bffdbd0bce1b74ea9e14
/usr/lib/debug/.build-id/08/c69b6fde904793d6b9bffdbd0bce1b74ea9e14.debug
/usr/lib/debug/.build-id/25/8bd86be66b78d8a5e6974f078bf4bc84f14fae
/usr/lib/debug/.build-id/25/8bd86be66b78d8a5e6974f078bf4bc84f14fae.debug
/usr/lib/debug/.build-id/27/8962d62e86edd815a07ccd62eb3826549abcf3
/usr/lib/debug/.build-id/27/8962d62e86edd815a07ccd62eb3826549abcf3.debug
/usr/lib/debug/.build-id/27/e02f5edb834ebbbab92f5823cee2b3f6b63b6f
/usr/lib/debug/.build-id/27/e02f5edb834ebbbab92f5823cee2b3f6b63b6f.debug
/usr/lib/debug/.build-id/2b/bcc7ecdf33a9e0e7c909f7136ddf47015a1d50
/usr/lib/debug/.build-id/2b/bcc7ecdf33a9e0e7c909f7136ddf47015a1d50.debug
/usr/lib/debug/.build-id/30/5136dbb2b8a5f9ef94581957b1743180371388
/usr/lib/debug/.build-id/30/5136dbb2b8a5f9ef94581957b1743180371388.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/46582c424e1f417b5a98daf60711835e54b6d2
/usr/lib/debug/.build-id/31/46582c424e1f417b5a98daf60711835e54b6d2.debug
/usr/lib/debug/.build-id/43/8f28c84e37907300f2510cc11655df3168f975
/usr/lib/debug/.build-id/43/8f28c84e37907300f2510cc11655df3168f975.debug
/usr/lib/debug/.build-id/48/1ec9a1416745d8e36572d541f357e7f91963e4
/usr/lib/debug/.build-id/48/1ec9a1416745d8e36572d541f357e7f91963e4.debug
/usr/lib/debug/.build-id/48/83fb509e22c92177d6277b6487b9cd06ba43ca
/usr/lib/debug/.build-id/48/83fb509e22c92177d6277b6487b9cd06ba43ca.debug
/usr/lib/debug/.build-id/51/764b788602e04245197bdc1efbcce7c36e3d50
/usr/lib/debug/.build-id/51/764b788602e04245197bdc1efbcce7c36e3d50.debug
/usr/lib/debug/.build-id/51/f7be41f5aab6dfba6d34f99f10029b170cb379
/usr/lib/debug/.build-id/51/f7be41f5aab6dfba6d34f99f10029b170cb379.debug
/usr/lib/debug/.build-id/55/15b7b434cb72898431d0c83598a6e5e01b7189
/usr/lib/debug/.build-id/55/15b7b434cb72898431d0c83598a6e5e01b7189.debug
/usr/lib/debug/.build-id/5a/5100b52eb52d3c3b63d3dce17662310ab26627
/usr/lib/debug/.build-id/5a/5100b52eb52d3c3b63d3dce17662310ab26627.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/f32553bd52d7de6f031c4c3138be936605f04e
/usr/lib/debug/.build-id/5c/f32553bd52d7de6f031c4c3138be936605f04e.debug
/usr/lib/debug/.build-id/5f/77660f6b555769acce87d285209222b2da0b93
/usr/lib/debug/.build-id/5f/77660f6b555769acce87d285209222b2da0b93.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/d7018dfd75e3b4bce506eb31d4cc4003648d85
/usr/lib/debug/.build-id/63/d7018dfd75e3b4bce506eb31d4cc4003648d85.debug
/usr/lib/debug/.build-id/6d
/usr/lib/debug/.build-id/6d/294970d06c6d1e3ed615d0a68d7ece21e06c97
/usr/lib/debug/.build-id/6d/294970d06c6d1e3ed615d0a68d7ece21e06c97.debug
/usr/lib/debug/.build-id/6e/603862c6f9ff45d27c1c33fd9f99a1949b991b
/usr/lib/debug/.build-id/6e/603862c6f9ff45d27c1c33fd9f99a1949b991b.debug
/usr/lib/debug/.build-id/74/c3da34caddbf4c8be32d938bff3ea811c97e77
/usr/lib/debug/.build-id/74/c3da34caddbf4c8be32d938bff3ea811c97e77.debug
/usr/lib/debug/.build-id/78/bb60390f40fda358da221d67e8d1de8aab0c87
/usr/lib/debug/.build-id/78/bb60390f40fda358da221d67e8d1de8aab0c87.debug
/usr/lib/debug/.build-id/7b/7822da56b8d59798b26688e9fb353d9cda1483
/usr/lib/debug/.build-id/7b/7822da56b8d59798b26688e9fb353d9cda1483.debug
/usr/lib/debug/.build-id/7d/82cf26ebeb1664ed4ed2f485db4dbdc1a36f00
/usr/lib/debug/.build-id/7d/82cf26ebeb1664ed4ed2f485db4dbdc1a36f00.debug
/usr/lib/debug/.build-id/80/bb473460f8c19e87276d4ef7f82bcf45c5f02a
/usr/lib/debug/.build-id/80/bb473460f8c19e87276d4ef7f82bcf45c5f02a.debug
/usr/lib/debug/.build-id/83/0f95757d49147add41ed07014aca964acad198
/usr/lib/debug/.build-id/83/0f95757d49147add41ed07014aca964acad198.debug
/usr/lib/debug/.build-id/83/ad4a4320f3d4cb7368556699da7ec1e8a94f11
/usr/lib/debug/.build-id/83/ad4a4320f3d4cb7368556699da7ec1e8a94f11.debug
/usr/lib/debug/.build-id/8f/b042b55d58805515043aec238b1fb74918bcb4
/usr/lib/debug/.build-id/8f/b042b55d58805515043aec238b1fb74918bcb4.debug
/usr/lib/debug/.build-id/8f/d198743bd3c51305fb3d8ba6bbb7035c54997a
/usr/lib/debug/.build-id/8f/d198743bd3c51305fb3d8ba6bbb7035c54997a.debug
/usr/lib/debug/.build-id/97/39b685acc8307339360a484f015a1dd8e1d2b2
/usr/lib/debug/.build-id/97/39b685acc8307339360a484f015a1dd8e1d2b2.debug
/usr/lib/debug/.build-id/97/be318dec439afbd9024bbd5b0d049eb2076cfc
/usr/lib/debug/.build-id/97/be318dec439afbd9024bbd5b0d049eb2076cfc.debug
/usr/lib/debug/.build-id/9e/3d240963e402e496d40030ffaf9047734e8f82
/usr/lib/debug/.build-id/9e/3d240963e402e496d40030ffaf9047734e8f82.debug
/usr/lib/debug/.build-id/a0/71f7664a1a79afeaa562124a2f886bc4e12d6a
/usr/lib/debug/.build-id/a0/71f7664a1a79afeaa562124a2f886bc4e12d6a.debug
/usr/lib/debug/.build-id/a3/e284be9d129023def0082513edcd621079f0b5
/usr/lib/debug/.build-id/a3/e284be9d129023def0082513edcd621079f0b5.debug
/usr/lib/debug/.build-id/a8/30c872a95dcaf3a5eaea310202fe68c83d4292
/usr/lib/debug/.build-id/a8/30c872a95dcaf3a5eaea310202fe68c83d4292.debug
/usr/lib/debug/.build-id/ac/615a61c91cfd93db61a11802a2f2f9abf56394
/usr/lib/debug/.build-id/ac/615a61c91cfd93db61a11802a2f2f9abf56394.debug
/usr/lib/debug/.build-id/b1/32fa4430155f2ea06dc228d28fd8d4c6f1e172
/usr/lib/debug/.build-id/b1/32fa4430155f2ea06dc228d28fd8d4c6f1e172.debug
/usr/lib/debug/.build-id/bb/5e5ee9b17dd198a28e9ac37be564a734efd9a7
/usr/lib/debug/.build-id/bb/5e5ee9b17dd198a28e9ac37be564a734efd9a7.1
/usr/lib/debug/.build-id/bb/5e5ee9b17dd198a28e9ac37be564a734efd9a7.1.debug
/usr/lib/debug/.build-id/bb/5e5ee9b17dd198a28e9ac37be564a734efd9a7.debug
/usr/lib/debug/.build-id/bc/5e61049c8973c6e20127021300094aee324104
/usr/lib/debug/.build-id/bc/5e61049c8973c6e20127021300094aee324104.debug
/usr/lib/debug/.build-id/bc/bfe0c5cbdbb22f26365c7f3f2e44bae002cf6c
/usr/lib/debug/.build-id/bc/bfe0c5cbdbb22f26365c7f3f2e44bae002cf6c.debug
/usr/lib/debug/.build-id/bd/997fa0bad84d9416cddae5cb16133b0cebee34
/usr/lib/debug/.build-id/bd/997fa0bad84d9416cddae5cb16133b0cebee34.debug
/usr/lib/debug/.build-id/c9/7b81decbfac8f674f52b80320a8b61a74bb86f
/usr/lib/debug/.build-id/c9/7b81decbfac8f674f52b80320a8b61a74bb86f.debug
/usr/lib/debug/.build-id/cb/89f3400d59636d1b5bc7e18f0b925e27c8578d
/usr/lib/debug/.build-id/cb/89f3400d59636d1b5bc7e18f0b925e27c8578d.debug
/usr/lib/debug/.build-id/cd/cc86c6d9d510b59de491a2fc979715ddb15a89
/usr/lib/debug/.build-id/cd/cc86c6d9d510b59de491a2fc979715ddb15a89.debug
/usr/lib/debug/.build-id/d7/88d1a3774dac337373bf780a2a2acf3a29ea9b
/usr/lib/debug/.build-id/d7/88d1a3774dac337373bf780a2a2acf3a29ea9b.debug
/usr/lib/debug/.build-id/d8/9200c8060375d7eb9e237a049dea877b7e21cf
/usr/lib/debug/.build-id/d8/9200c8060375d7eb9e237a049dea877b7e21cf.debug
/usr/lib/debug/.build-id/de/496daeb64066ab87c0831461b63de3f5fe9160
/usr/lib/debug/.build-id/de/496daeb64066ab87c0831461b63de3f5fe9160.debug
/usr/lib/debug/.build-id/df/3f4f38df58c4f696c11464d327cc69c0f1ad7e
/usr/lib/debug/.build-id/df/3f4f38df58c4f696c11464d327cc69c0f1ad7e.debug
/usr/lib/debug/.build-id/e5/0ec67da50130eee76cdfeb611db99d0bcf432d
/usr/lib/debug/.build-id/e5/0ec67da50130eee76cdfeb611db99d0bcf432d.debug
/usr/lib/debug/.build-id/e6/2471c74e5c70a73bb2217e2c1ec07ec67f1bb1
/usr/lib/debug/.build-id/e6/2471c74e5c70a73bb2217e2c1ec07ec67f1bb1.debug
/usr/lib/debug/.build-id/ec/0f60fd5b1fc0fed60bc375ddfd8f7e59a656de
/usr/lib/debug/.build-id/ec/0f60fd5b1fc0fed60bc375ddfd8f7e59a656de.debug
/usr/lib/debug/.build-id/ec/fa2b6070eaea8bd5e0dcc18f00085ab1583850
/usr/lib/debug/.build-id/ec/fa2b6070eaea8bd5e0dcc18f00085ab1583850.debug
/usr/lib/debug/.build-id/f3/5cb476d16ca7ee8f06a15e011700e301f953d3
/usr/lib/debug/.build-id/f3/5cb476d16ca7ee8f06a15e011700e301f953d3.debug
/usr/lib/debug/.build-id/f6/fc88c1f81d1f68db3feb335f316a05f0366990
/usr/lib/debug/.build-id/f6/fc88c1f81d1f68db3feb335f316a05f0366990.debug
/usr/lib/debug/.build-id/f8/070468403709e118e6441c0f1e906b3d86ca64
/usr/lib/debug/.build-id/f8/070468403709e118e6441c0f1e906b3d86ca64.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/ca467a26c0776fde39c9f142b37b418f24e7cd
/usr/lib/debug/.build-id/f9/ca467a26c0776fde39c9f142b37b418f24e7cd.debug
/usr/lib/debug/.build-id/fc/a26d580d3acfd9164c8577f79e51fdf61009ba
/usr/lib/debug/.build-id/fc/a26d580d3acfd9164c8577f79e51fdf61009ba.debug
/usr/lib/debug/.build-id/fd/43d2792b3fca535b43c911ac153fffcab686cd
/usr/lib/debug/.build-id/fd/43d2792b3fca535b43c911ac153fffcab686cd.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqc-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqchk-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqdep-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqdoc-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqnative-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqpp-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqproofworker.opt-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqqueryworker.opt-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqtacticworker.opt-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqtop-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqwc-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/csdpcert-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/bin/votour-8.16.1-1.fc37.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.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib/clib.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/config
/usr/lib/debug/usr/lib64/ocaml/coq-core/config/config.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine/engine.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp/interp.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel/kernel.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib/lib.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/library
/usr/lib/debug/usr/lib64/ocaml/coq-core/library/library.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing/parsing.cmxs-8.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing/printing.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs/proofs.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm/stm.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics/tactics.cmxs-8.16.1-1.fc37.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.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel/toplevel.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac/vernac.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm/coqrun.cmxs-8.16.1-1.fc37.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.16.1-1.fc37.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 19:05:07 2024