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 x86_64

From Fedora 37 updates for x86_64 / 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:37 2022
Group: Development/Debug Build host: buildvm-x86-08.iad2.fedoraproject.org
Size: 64162241 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/06/788c47d6e41af9fe62105bb5fce4e4cbf84a18
/usr/lib/debug/.build-id/06/788c47d6e41af9fe62105bb5fce4e4cbf84a18.debug
/usr/lib/debug/.build-id/08/5b75d72e479bd1a51d3eaac711100a80ee88b5
/usr/lib/debug/.build-id/08/5b75d72e479bd1a51d3eaac711100a80ee88b5.debug
/usr/lib/debug/.build-id/08/a1d2100702d4aa70f7dd05856ca9ce5d1a8637
/usr/lib/debug/.build-id/08/a1d2100702d4aa70f7dd05856ca9ce5d1a8637.debug
/usr/lib/debug/.build-id/08/c44998aa20e4da6fc7102144c0850215f11506
/usr/lib/debug/.build-id/08/c44998aa20e4da6fc7102144c0850215f11506.debug
/usr/lib/debug/.build-id/0a/dc20ce9b8b4ec754bbf8ef2b0b2f8ddde8ffaf
/usr/lib/debug/.build-id/0a/dc20ce9b8b4ec754bbf8ef2b0b2f8ddde8ffaf.debug
/usr/lib/debug/.build-id/0c/7e0b35385e22310a21e6c4a6ecaaa92539de21
/usr/lib/debug/.build-id/0c/7e0b35385e22310a21e6c4a6ecaaa92539de21.debug
/usr/lib/debug/.build-id/0d/3253ef32fe1f03a88116d1ecd0175c1410254b
/usr/lib/debug/.build-id/0d/3253ef32fe1f03a88116d1ecd0175c1410254b.debug
/usr/lib/debug/.build-id/0f/626a0ab4acb34c4d38540135aa683115c33dc9
/usr/lib/debug/.build-id/0f/626a0ab4acb34c4d38540135aa683115c33dc9.debug
/usr/lib/debug/.build-id/10/86debf1c6c43c06012daded8497c5e9cc9711b
/usr/lib/debug/.build-id/10/86debf1c6c43c06012daded8497c5e9cc9711b.debug
/usr/lib/debug/.build-id/14/0c3608ae813824552ea4801280583f689c9f19
/usr/lib/debug/.build-id/14/0c3608ae813824552ea4801280583f689c9f19.debug
/usr/lib/debug/.build-id/1a/924bfafc63d994bf40e7212f2b0c9eff3dba80
/usr/lib/debug/.build-id/1a/924bfafc63d994bf40e7212f2b0c9eff3dba80.debug
/usr/lib/debug/.build-id/1c/93d5a2591db60c9886bced7007e7b91e13a2b0
/usr/lib/debug/.build-id/1c/93d5a2591db60c9886bced7007e7b91e13a2b0.debug
/usr/lib/debug/.build-id/1c/ff18ef1730a2c6a73a9fc3c84e98a2b494d254
/usr/lib/debug/.build-id/1c/ff18ef1730a2c6a73a9fc3c84e98a2b494d254.debug
/usr/lib/debug/.build-id/26/d7b7199656c793f66204bd4bdfa1adc3817fa5
/usr/lib/debug/.build-id/26/d7b7199656c793f66204bd4bdfa1adc3817fa5.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/5bc08fd2043b5977874dd0184b13ba2ddef790
/usr/lib/debug/.build-id/28/5bc08fd2043b5977874dd0184b13ba2ddef790.debug
/usr/lib/debug/.build-id/29/af003b2430b6a3119fb8de33f1c9fe209de89a
/usr/lib/debug/.build-id/29/af003b2430b6a3119fb8de33f1c9fe209de89a.debug
/usr/lib/debug/.build-id/36/ab4cc76f10b452791622a5535575c44361e31d
/usr/lib/debug/.build-id/36/ab4cc76f10b452791622a5535575c44361e31d.debug
/usr/lib/debug/.build-id/36/e8c4b23c585ed70d76a566b1e4de146f7bf2fd
/usr/lib/debug/.build-id/36/e8c4b23c585ed70d76a566b1e4de146f7bf2fd.debug
/usr/lib/debug/.build-id/3a/03956050defa4f36bd593b691e6293939f5e7d
/usr/lib/debug/.build-id/3a/03956050defa4f36bd593b691e6293939f5e7d.debug
/usr/lib/debug/.build-id/3a/82fed392a070ab93f833df3191a4d210ef348d
/usr/lib/debug/.build-id/3a/82fed392a070ab93f833df3191a4d210ef348d.debug
/usr/lib/debug/.build-id/3d/01a00b74f9de6ebcd8642973484dcbad1e37fc
/usr/lib/debug/.build-id/3d/01a00b74f9de6ebcd8642973484dcbad1e37fc.debug
/usr/lib/debug/.build-id/47/8ccb055db8f2834fa1572701df61410f7241fb
/usr/lib/debug/.build-id/47/8ccb055db8f2834fa1572701df61410f7241fb.debug
/usr/lib/debug/.build-id/4d/6336e1b67957719ba1697c65a934bde9a992b4
/usr/lib/debug/.build-id/4d/6336e1b67957719ba1697c65a934bde9a992b4.debug
/usr/lib/debug/.build-id/4d/67a330c3245a60f872c4daec62503742841bb2
/usr/lib/debug/.build-id/4d/67a330c3245a60f872c4daec62503742841bb2.debug
/usr/lib/debug/.build-id/4f/3ecb4e9119a24aa07e23cd7b09270c7db56d83
/usr/lib/debug/.build-id/4f/3ecb4e9119a24aa07e23cd7b09270c7db56d83.debug
/usr/lib/debug/.build-id/57/625703575d2f0b1ba9b6e4b749f74d316deb19
/usr/lib/debug/.build-id/57/625703575d2f0b1ba9b6e4b749f74d316deb19.debug
/usr/lib/debug/.build-id/57/afd151ecfc73f0fc60327bab836370c6720f1d
/usr/lib/debug/.build-id/57/afd151ecfc73f0fc60327bab836370c6720f1d.debug
/usr/lib/debug/.build-id/58/d5252a20667258f02687a761ef4d1d935cab82
/usr/lib/debug/.build-id/58/d5252a20667258f02687a761ef4d1d935cab82.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/5c1c732b5c761fc6267a13192160718618b5c0
/usr/lib/debug/.build-id/5b/5c1c732b5c761fc6267a13192160718618b5c0.debug
/usr/lib/debug/.build-id/68
/usr/lib/debug/.build-id/68/0e7a74eb827ae8e6ba2f8c21d53968b25b53d1
/usr/lib/debug/.build-id/68/0e7a74eb827ae8e6ba2f8c21d53968b25b53d1.debug
/usr/lib/debug/.build-id/6e/14bbfd3b4539e78dc37ff6d1bf22588e6170f5
/usr/lib/debug/.build-id/6e/14bbfd3b4539e78dc37ff6d1bf22588e6170f5.debug
/usr/lib/debug/.build-id/73/3615fdcc5a930118bd900d923c96ad5ee32d62
/usr/lib/debug/.build-id/73/3615fdcc5a930118bd900d923c96ad5ee32d62.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/9da22ff5e8e1530a37d948aa28668a2cf1d28e
/usr/lib/debug/.build-id/74/9da22ff5e8e1530a37d948aa28668a2cf1d28e.debug
/usr/lib/debug/.build-id/81/f153aa91c4b20219653420fd3f5a2df28f4a7e
/usr/lib/debug/.build-id/81/f153aa91c4b20219653420fd3f5a2df28f4a7e.debug
/usr/lib/debug/.build-id/82/7116c8c3982464babbde3239d13be94f2125da
/usr/lib/debug/.build-id/82/7116c8c3982464babbde3239d13be94f2125da.debug
/usr/lib/debug/.build-id/86/d642d212e997385da0b53f1fb2fd664a714f7d
/usr/lib/debug/.build-id/86/d642d212e997385da0b53f1fb2fd664a714f7d.debug
/usr/lib/debug/.build-id/8c/10f52f3c8a0495ed75f4b90c88f44e22792e7e
/usr/lib/debug/.build-id/8c/10f52f3c8a0495ed75f4b90c88f44e22792e7e.debug
/usr/lib/debug/.build-id/8e/433992b9141785274b25c8a45d5da177790a54
/usr/lib/debug/.build-id/8e/433992b9141785274b25c8a45d5da177790a54.debug
/usr/lib/debug/.build-id/90/de7a0f059d7d18bb1c11d0e693e23fb5049ea9
/usr/lib/debug/.build-id/90/de7a0f059d7d18bb1c11d0e693e23fb5049ea9.debug
/usr/lib/debug/.build-id/93
/usr/lib/debug/.build-id/93/c0f12b1c0471236b197f387b4019f987efdb88
/usr/lib/debug/.build-id/93/c0f12b1c0471236b197f387b4019f987efdb88.debug
/usr/lib/debug/.build-id/9a/96c7d6db88e2d06cf5a163a86e194fd609402a
/usr/lib/debug/.build-id/9a/96c7d6db88e2d06cf5a163a86e194fd609402a.debug
/usr/lib/debug/.build-id/9c/9842ef0ea4813e843da406621bdfaf9a6b414d
/usr/lib/debug/.build-id/9c/9842ef0ea4813e843da406621bdfaf9a6b414d.debug
/usr/lib/debug/.build-id/a4/2f10c332736ea5f7f5e856ea9d87320526b68f
/usr/lib/debug/.build-id/a4/2f10c332736ea5f7f5e856ea9d87320526b68f.debug
/usr/lib/debug/.build-id/a4/8b50827d1b6109c74514f79073e43d80f27e31
/usr/lib/debug/.build-id/a4/8b50827d1b6109c74514f79073e43d80f27e31.debug
/usr/lib/debug/.build-id/a4/f064339afc7cf6f3d90c324a960959e9ecd3ea
/usr/lib/debug/.build-id/a4/f064339afc7cf6f3d90c324a960959e9ecd3ea.debug
/usr/lib/debug/.build-id/a7/1390523419c5ea6abcbe4bd54126233848cc16
/usr/lib/debug/.build-id/a7/1390523419c5ea6abcbe4bd54126233848cc16.debug
/usr/lib/debug/.build-id/a9/bca89e7772f66d02840dce7c51d7aa22747fed
/usr/lib/debug/.build-id/a9/bca89e7772f66d02840dce7c51d7aa22747fed.debug
/usr/lib/debug/.build-id/a9/ded6d5ca9e1dd2f224b5250858458965ac8195
/usr/lib/debug/.build-id/a9/ded6d5ca9e1dd2f224b5250858458965ac8195.debug
/usr/lib/debug/.build-id/af/2e55fc153fdd77d0af6c0bfb0d3093ca0982ba
/usr/lib/debug/.build-id/af/2e55fc153fdd77d0af6c0bfb0d3093ca0982ba.debug
/usr/lib/debug/.build-id/b2/f08089740f4bf15fa84dfbde3d4b642806401d
/usr/lib/debug/.build-id/b2/f08089740f4bf15fa84dfbde3d4b642806401d.debug
/usr/lib/debug/.build-id/c4/9dd06bb01c7f53d3ab61462803cbab15a58b50
/usr/lib/debug/.build-id/c4/9dd06bb01c7f53d3ab61462803cbab15a58b50.debug
/usr/lib/debug/.build-id/c5/4c52411708132e6efd315981b83aed5971a485
/usr/lib/debug/.build-id/c5/4c52411708132e6efd315981b83aed5971a485.debug
/usr/lib/debug/.build-id/c6/7fe2a8bbd5937a10134c7f9a7f415345e6137c
/usr/lib/debug/.build-id/c6/7fe2a8bbd5937a10134c7f9a7f415345e6137c.debug
/usr/lib/debug/.build-id/c9/c5b7aa01fb57e53be84315caf9f332aba85cdd
/usr/lib/debug/.build-id/c9/c5b7aa01fb57e53be84315caf9f332aba85cdd.debug
/usr/lib/debug/.build-id/cc/7ba905522332dd68dd9fd29f1a00565940c388
/usr/lib/debug/.build-id/cc/7ba905522332dd68dd9fd29f1a00565940c388.debug
/usr/lib/debug/.build-id/d0/b5f990c2c1a60a051b73191fdb5b755d944762
/usr/lib/debug/.build-id/d0/b5f990c2c1a60a051b73191fdb5b755d944762.debug
/usr/lib/debug/.build-id/f8/938c72a8754f7f80234f4dd71f2b92febf5b86
/usr/lib/debug/.build-id/f8/938c72a8754f7f80234f4dd71f2b92febf5b86.1
/usr/lib/debug/.build-id/f8/938c72a8754f7f80234f4dd71f2b92febf5b86.1.debug
/usr/lib/debug/.build-id/f8/938c72a8754f7f80234f4dd71f2b92febf5b86.debug
/usr/lib/debug/.build-id/fa
/usr/lib/debug/.build-id/fa/043ff5e0ef6be4996878ca4f49d7943d2c9918
/usr/lib/debug/.build-id/fa/043ff5e0ef6be4996878ca4f49d7943d2c9918.debug
/usr/lib/debug/.build-id/fd/0be30cee181539747414f5458a9122d15256ce
/usr/lib/debug/.build-id/fd/0be30cee181539747414f5458a9122d15256ce.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqc-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqchk-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqdep-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqdoc-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqnative-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqpp-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqproofworker.opt-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqqueryworker.opt-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqtacticworker.opt-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqtop-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqwc-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/csdpcert-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.16.1-1.fc37.x86_64.debug
/usr/lib/debug/usr/bin/votour-8.16.1-1.fc37.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.16.1-1.fc37.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.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.16.1-1.fc37.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.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.16.1-1.fc37.x86_64.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.x86_64.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.x86_64.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.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.16.1-1.fc37.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 18:50:33 2024