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.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.
LGPL-2.1-only AND MIT AND BSD-3-Clause
* 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
/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, Sun Mar 9 14:20:41 2025