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

coq-core-debuginfo-8.18.0-1.fc39 RPM for aarch64

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

Name: coq-core-debuginfo Distribution: Fedora Project
Version: 8.18.0 Vendor: Fedora Project
Release: 1.fc39 Build date: Wed Jan 3 00:49:11 2024
Group: Development/Debug Build host: buildhw-a64-23.iad2.fedoraproject.org
Size: 119910283 Source RPM: coq-8.18.0-1.fc39.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

* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 8.18.0-1
  - Version 8.18.0
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-5
  - Rebuild for ocaml-zarith 1.13
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 8.17.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-3
  - Validate appdata with appstream-util
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-3
  - OCaml 5.0 rebuild for Fedora 39
  - Only build coq and friends on architectures with the native compiler.
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-1
  - Version 8.17.1
  - Build in release mode
  - Disable the native compiler, which is incompatible with OCaml 5.0
* 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

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/7bf63258b14a7718b5381e15f5769322a85a5e
/usr/lib/debug/.build-id/02/7bf63258b14a7718b5381e15f5769322a85a5e.debug
/usr/lib/debug/.build-id/04
/usr/lib/debug/.build-id/04/ab1a2f47c0105b30cb2e0d3fe4a072f6027ff2
/usr/lib/debug/.build-id/04/ab1a2f47c0105b30cb2e0d3fe4a072f6027ff2.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/1c963b8048b51e301cf9a69a222debd8c223ea
/usr/lib/debug/.build-id/07/1c963b8048b51e301cf9a69a222debd8c223ea.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/597389f384c7e5adb10ec9a43dcdc197c847b4
/usr/lib/debug/.build-id/0a/597389f384c7e5adb10ec9a43dcdc197c847b4.debug
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/4780783a294b26c676eb9be5eb54691f341544
/usr/lib/debug/.build-id/0e/4780783a294b26c676eb9be5eb54691f341544.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/0b359684f04f885d823130af4fdc7ef82cd3c9
/usr/lib/debug/.build-id/14/0b359684f04f885d823130af4fdc7ef82cd3c9.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/56e3262c563678114ea602caea24610de2b365
/usr/lib/debug/.build-id/18/56e3262c563678114ea602caea24610de2b365.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429
/usr/lib/debug/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429.1
/usr/lib/debug/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429.1.debug
/usr/lib/debug/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/b9039048ec6c83245eb258477ff63adeecf820
/usr/lib/debug/.build-id/28/b9039048ec6c83245eb258477ff63adeecf820.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/37b4602c5c37e24e8d87675b03bdeb0988a1c9
/usr/lib/debug/.build-id/2b/37b4602c5c37e24e8d87675b03bdeb0988a1c9.debug
/usr/lib/debug/.build-id/2b/54156b835205f62c2440e4ec2d1a55e663cd66
/usr/lib/debug/.build-id/2b/54156b835205f62c2440e4ec2d1a55e663cd66.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/ca3f44f668bc87b532b6420395c1fe83c7d803
/usr/lib/debug/.build-id/33/ca3f44f668bc87b532b6420395c1fe83c7d803.debug
/usr/lib/debug/.build-id/3f
/usr/lib/debug/.build-id/3f/2a8c14ad56baf5bab16b3feb40c8bcd4c16814
/usr/lib/debug/.build-id/3f/2a8c14ad56baf5bab16b3feb40c8bcd4c16814.debug
/usr/lib/debug/.build-id/40
/usr/lib/debug/.build-id/40/70ed551d531f6c093d515f8844cc9b4e407e72
/usr/lib/debug/.build-id/40/70ed551d531f6c093d515f8844cc9b4e407e72.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/2c67d75098ba4032828120e17af32cf3028731
/usr/lib/debug/.build-id/47/2c67d75098ba4032828120e17af32cf3028731.debug
/usr/lib/debug/.build-id/4b
/usr/lib/debug/.build-id/4b/0d3d0a6180039d3b90b27b6158904b0e59273a
/usr/lib/debug/.build-id/4b/0d3d0a6180039d3b90b27b6158904b0e59273a.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/d703a5f4c8f12e7ca78ab7fcca2355b510b285
/usr/lib/debug/.build-id/51/d703a5f4c8f12e7ca78ab7fcca2355b510b285.debug
/usr/lib/debug/.build-id/53
/usr/lib/debug/.build-id/53/53bb75242e609e6b5d2cdadb3d8457d1cf9dd3
/usr/lib/debug/.build-id/53/53bb75242e609e6b5d2cdadb3d8457d1cf9dd3.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/300d6c104441f01312c79828dfad2ea4381b96
/usr/lib/debug/.build-id/5b/300d6c104441f01312c79828dfad2ea4381b96.debug
/usr/lib/debug/.build-id/5b/c52faea108b9aca03d651cac1ba374aa4750b3
/usr/lib/debug/.build-id/5b/c52faea108b9aca03d651cac1ba374aa4750b3.debug
/usr/lib/debug/.build-id/62
/usr/lib/debug/.build-id/62/a24fc127153f10ffe07d8c71f72867521b7b05
/usr/lib/debug/.build-id/62/a24fc127153f10ffe07d8c71f72867521b7b05.debug
/usr/lib/debug/.build-id/65
/usr/lib/debug/.build-id/65/614d4988e9081d551edf9b35853e10e0e037f5
/usr/lib/debug/.build-id/65/614d4988e9081d551edf9b35853e10e0e037f5.debug
/usr/lib/debug/.build-id/67
/usr/lib/debug/.build-id/67/717d1401ef23e6bf6a78e41925801c65160d21
/usr/lib/debug/.build-id/67/717d1401ef23e6bf6a78e41925801c65160d21.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/4a14ed8effe2a1dc3c15d6416af8c545cbee64
/usr/lib/debug/.build-id/69/4a14ed8effe2a1dc3c15d6416af8c545cbee64.debug
/usr/lib/debug/.build-id/6c
/usr/lib/debug/.build-id/6c/d294a1a84b25b02899ab16bbee4ebb75095b49
/usr/lib/debug/.build-id/6c/d294a1a84b25b02899ab16bbee4ebb75095b49.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/7dd93ed31822d82beb8fe50271f8ac0cc2ebd8
/usr/lib/debug/.build-id/6e/7dd93ed31822d82beb8fe50271f8ac0cc2ebd8.debug
/usr/lib/debug/.build-id/76
/usr/lib/debug/.build-id/76/b1dc30011496874b660c48d432b802dc38e35d
/usr/lib/debug/.build-id/76/b1dc30011496874b660c48d432b802dc38e35d.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/3f8db872de85ee805cc75685a5fa9085dc089a
/usr/lib/debug/.build-id/7c/3f8db872de85ee805cc75685a5fa9085dc089a.debug
/usr/lib/debug/.build-id/7c/e87523e8a4f4639663cd3efcbbb3ed78b95ade
/usr/lib/debug/.build-id/7c/e87523e8a4f4639663cd3efcbbb3ed78b95ade.debug
/usr/lib/debug/.build-id/80
/usr/lib/debug/.build-id/80/61c5635b6a904f9c759e23f03c0d38604775ff
/usr/lib/debug/.build-id/80/61c5635b6a904f9c759e23f03c0d38604775ff.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/7417016196b3713a77b980bcc7e1832afbb71e
/usr/lib/debug/.build-id/84/7417016196b3713a77b980bcc7e1832afbb71e.debug
/usr/lib/debug/.build-id/86
/usr/lib/debug/.build-id/86/820595b62375a59d64c226a8aada3b48b44893
/usr/lib/debug/.build-id/86/820595b62375a59d64c226a8aada3b48b44893.debug
/usr/lib/debug/.build-id/89
/usr/lib/debug/.build-id/89/ecf96f95148f8f7978d6a44e3dfc0f86820777
/usr/lib/debug/.build-id/89/ecf96f95148f8f7978d6a44e3dfc0f86820777.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/7bc0d1dcfec2fc81fad41f02453620c3af8d0b
/usr/lib/debug/.build-id/8c/7bc0d1dcfec2fc81fad41f02453620c3af8d0b.debug
/usr/lib/debug/.build-id/92
/usr/lib/debug/.build-id/92/26ca90b84393f4f52a00356177686f9d0fbf04
/usr/lib/debug/.build-id/92/26ca90b84393f4f52a00356177686f9d0fbf04.debug
/usr/lib/debug/.build-id/92/70156511d4c1d418aff480b6cd48f64525a481
/usr/lib/debug/.build-id/92/70156511d4c1d418aff480b6cd48f64525a481.debug
/usr/lib/debug/.build-id/92/84fc8cbd14e5a7d0825e108579801b09e828ae
/usr/lib/debug/.build-id/92/84fc8cbd14e5a7d0825e108579801b09e828ae.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/f4a183de464014a4f6ab306e6c88c33a5d19a6
/usr/lib/debug/.build-id/95/f4a183de464014a4f6ab306e6c88c33a5d19a6.debug
/usr/lib/debug/.build-id/99
/usr/lib/debug/.build-id/99/10cc8011ef0df279f3be435bb0418f43f2c312
/usr/lib/debug/.build-id/99/10cc8011ef0df279f3be435bb0418f43f2c312.debug
/usr/lib/debug/.build-id/9e
/usr/lib/debug/.build-id/9e/1e7687910cc11348629ba865e718f90d54d3ef
/usr/lib/debug/.build-id/9e/1e7687910cc11348629ba865e718f90d54d3ef.debug
/usr/lib/debug/.build-id/a0
/usr/lib/debug/.build-id/a0/07b845d17216dfed38337940e014ebabe83dde
/usr/lib/debug/.build-id/a0/07b845d17216dfed38337940e014ebabe83dde.debug
/usr/lib/debug/.build-id/af
/usr/lib/debug/.build-id/af/d25339173aca472c9e7a08bd7527331342806a
/usr/lib/debug/.build-id/af/d25339173aca472c9e7a08bd7527331342806a.debug
/usr/lib/debug/.build-id/b3
/usr/lib/debug/.build-id/b3/3aacc76a0730e8e40514b597ae9d89f0f24469
/usr/lib/debug/.build-id/b3/3aacc76a0730e8e40514b597ae9d89f0f24469.debug
/usr/lib/debug/.build-id/b5
/usr/lib/debug/.build-id/b5/9f5067952b03a6310296f01a2901c69ca5b15c
/usr/lib/debug/.build-id/b5/9f5067952b03a6310296f01a2901c69ca5b15c.debug
/usr/lib/debug/.build-id/bd
/usr/lib/debug/.build-id/bd/3a9617208cc8ba6fd1f7e450aa45216163d380
/usr/lib/debug/.build-id/bd/3a9617208cc8ba6fd1f7e450aa45216163d380.debug
/usr/lib/debug/.build-id/c3
/usr/lib/debug/.build-id/c3/e9c2002527565fdc29f90629eebe4dba869080
/usr/lib/debug/.build-id/c3/e9c2002527565fdc29f90629eebe4dba869080.debug
/usr/lib/debug/.build-id/c6
/usr/lib/debug/.build-id/c6/248806ea3caddbad41b4e4e5b4cc13adddf8ad
/usr/lib/debug/.build-id/c6/248806ea3caddbad41b4e4e5b4cc13adddf8ad.debug
/usr/lib/debug/.build-id/cd
/usr/lib/debug/.build-id/cd/24471e02ddda5d5cf93a5b51f5f1165b0556b0
/usr/lib/debug/.build-id/cd/24471e02ddda5d5cf93a5b51f5f1165b0556b0.debug
/usr/lib/debug/.build-id/d0
/usr/lib/debug/.build-id/d0/5e0f07b8cbdecb6a7f708e498af9a35dc6d78b
/usr/lib/debug/.build-id/d0/5e0f07b8cbdecb6a7f708e498af9a35dc6d78b.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/38282b4d96cd4475fbedc2222b806e9c4fffa4
/usr/lib/debug/.build-id/d4/38282b4d96cd4475fbedc2222b806e9c4fffa4.debug
/usr/lib/debug/.build-id/d9
/usr/lib/debug/.build-id/d9/4a79bd2c93b3bb54cd036c505a5455cf27356c
/usr/lib/debug/.build-id/d9/4a79bd2c93b3bb54cd036c505a5455cf27356c.debug
/usr/lib/debug/.build-id/e3
/usr/lib/debug/.build-id/e3/b5c2007869c79d9f89734be4f0835b0501166a
/usr/lib/debug/.build-id/e3/b5c2007869c79d9f89734be4f0835b0501166a.debug
/usr/lib/debug/.build-id/e9
/usr/lib/debug/.build-id/e9/d7cad12dc78b1d03122394d3ca4645388e29ca
/usr/lib/debug/.build-id/e9/d7cad12dc78b1d03122394d3ca4645388e29ca.debug
/usr/lib/debug/.build-id/ec
/usr/lib/debug/.build-id/ec/a76e26a2dc6a30822040ef2d6280e2aadf83b3
/usr/lib/debug/.build-id/ec/a76e26a2dc6a30822040ef2d6280e2aadf83b3.debug
/usr/lib/debug/.build-id/f1
/usr/lib/debug/.build-id/f1/bb64bf375e055c094d6b9402ec2491e70f92e3
/usr/lib/debug/.build-id/f1/bb64bf375e055c094d6b9402ec2491e70f92e3.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/cb0cbb6a8704172e25f52631814ea179723f79
/usr/lib/debug/.build-id/f5/cb0cbb6a8704172e25f52631814ea179723f79.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/09ddb08c928b00e721a96ce236300b0d22d1c8
/usr/lib/debug/.build-id/f9/09ddb08c928b00e721a96ce236300b0d22d1c8.debug
/usr/lib/debug/.build-id/fa
/usr/lib/debug/.build-id/fa/5e8276f9decc4f8065085f3f82c7855ac6ab82
/usr/lib/debug/.build-id/fa/5e8276f9decc4f8065085f3f82c7855ac6ab82.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/a8f3455046f98dfd63f7f03ae653b47566466c
/usr/lib/debug/.build-id/fd/a8f3455046f98dfd63f7f03ae653b47566466c.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqc-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqchk-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqdep-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqdoc-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqnative-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqpp-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqtimelog2html-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqtop-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqwc-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/csdpcert-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/bin/votour-8.18.0-1.fc39.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.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib/clib.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/config
/usr/lib/debug/usr/lib64/ocaml/coq-core/config/config.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine/engine.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp/interp.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel/kernel.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib/lib.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/library
/usr/lib/debug/usr/lib64/ocaml/coq-core/library/library.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing/parsing.cmxs-8.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing/printing.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs/proofs.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm/stm.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics/tactics.cmxs-8.18.0-1.fc39.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.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel/toplevel.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac/vernac.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm/coqrun.cmxs-8.18.0-1.fc39.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.18.0-1.fc39.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat May 4 02:07:39 2024