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 x86_64

From Fedora 39 updates for x86_64 / 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:48:54 2024
Group: Development/Debug Build host: buildvm-x86-18.iad2.fedoraproject.org
Size: 125235055 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/aeac3db5e27e2e124cd79e0fb0cf468e8bb620
/usr/lib/debug/.build-id/02/aeac3db5e27e2e124cd79e0fb0cf468e8bb620.debug
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/52df5fd3e8aeedfe13c7cb3a1690f729126aaf
/usr/lib/debug/.build-id/05/52df5fd3e8aeedfe13c7cb3a1690f729126aaf.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/feed1f879faccbafded0b156e6a2555c7ded6b
/usr/lib/debug/.build-id/07/feed1f879faccbafded0b156e6a2555c7ded6b.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/f1d0d3f95a56617d88a78857078bc2c1eac3d7
/usr/lib/debug/.build-id/0a/f1d0d3f95a56617d88a78857078bc2c1eac3d7.debug
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/0671c2826e56b12455f7c96bdf8dccc81e2221
/usr/lib/debug/.build-id/0e/0671c2826e56b12455f7c96bdf8dccc81e2221.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/c41229ad6fde62f7e04243d5fb3e541268b1ca
/usr/lib/debug/.build-id/10/c41229ad6fde62f7e04243d5fb3e541268b1ca.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/daaef90b319588d37b8a0296b1547acf5a143d
/usr/lib/debug/.build-id/12/daaef90b319588d37b8a0296b1547acf5a143d.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/6ad68e72b5697883cd73fa380406903699b51f
/usr/lib/debug/.build-id/19/6ad68e72b5697883cd73fa380406903699b51f.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/f87bdd51b780402e417dc93fef345d40a00f89
/usr/lib/debug/.build-id/1a/f87bdd51b780402e417dc93fef345d40a00f89.debug
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/35239f9e86b9fb8ff4f0d380e4ac09fa2a4779
/usr/lib/debug/.build-id/1d/35239f9e86b9fb8ff4f0d380e4ac09fa2a4779.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/934ae1a105d4df95606a099fd71b635b50a02c
/usr/lib/debug/.build-id/20/934ae1a105d4df95606a099fd71b635b50a02c.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/20fe9c0c99e4b55a378055b168042860b0a397
/usr/lib/debug/.build-id/22/20fe9c0c99e4b55a378055b168042860b0a397.debug
/usr/lib/debug/.build-id/26
/usr/lib/debug/.build-id/26/a65dff4b14d36058abdbaef665c2e49dfae2b0
/usr/lib/debug/.build-id/26/a65dff4b14d36058abdbaef665c2e49dfae2b0.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/a013c31bd3e5b2a6ae3dff6852e2cb089de55c
/usr/lib/debug/.build-id/2c/a013c31bd3e5b2a6ae3dff6852e2cb089de55c.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/6a3a1999181855e96c3e1b9db1ee4176ae7164
/usr/lib/debug/.build-id/2d/6a3a1999181855e96c3e1b9db1ee4176ae7164.debug
/usr/lib/debug/.build-id/32
/usr/lib/debug/.build-id/32/ae23741c654b15765ab7e97552f6a35b87226d
/usr/lib/debug/.build-id/32/ae23741c654b15765ab7e97552f6a35b87226d.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/d7fd8a47eeb1096155a3b60f2fe436380a22d7
/usr/lib/debug/.build-id/3d/d7fd8a47eeb1096155a3b60f2fe436380a22d7.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/52977e74adc5919f9a333c0e303be7452e2558
/usr/lib/debug/.build-id/44/52977e74adc5919f9a333c0e303be7452e2558.debug
/usr/lib/debug/.build-id/46
/usr/lib/debug/.build-id/46/98ccab217d329a005ecf73b55c1cd6629559ff
/usr/lib/debug/.build-id/46/98ccab217d329a005ecf73b55c1cd6629559ff.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/be13272ffc9fd8f83c1aedf84b63bc9e008e22
/usr/lib/debug/.build-id/48/be13272ffc9fd8f83c1aedf84b63bc9e008e22.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/0e8ab0dd159995d0312415fc7606c5a496db5c
/usr/lib/debug/.build-id/4f/0e8ab0dd159995d0312415fc7606c5a496db5c.debug
/usr/lib/debug/.build-id/52
/usr/lib/debug/.build-id/52/dfb0ab66d698c5e89d8ec7173493f3ab2cac8e
/usr/lib/debug/.build-id/52/dfb0ab66d698c5e89d8ec7173493f3ab2cac8e.debug
/usr/lib/debug/.build-id/53
/usr/lib/debug/.build-id/53/8c1a31d99acc56bd05fc778ef476a5e482b2d5
/usr/lib/debug/.build-id/53/8c1a31d99acc56bd05fc778ef476a5e482b2d5.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/61813104006fda77e5dc18d16edd98ad032758
/usr/lib/debug/.build-id/55/61813104006fda77e5dc18d16edd98ad032758.1
/usr/lib/debug/.build-id/55/61813104006fda77e5dc18d16edd98ad032758.1.debug
/usr/lib/debug/.build-id/55/61813104006fda77e5dc18d16edd98ad032758.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/fbb195941b3518050dc0d1beda76ac6a159538
/usr/lib/debug/.build-id/58/fbb195941b3518050dc0d1beda76ac6a159538.debug
/usr/lib/debug/.build-id/59
/usr/lib/debug/.build-id/59/1ca3e92391122adaf33de1955e7fafe5bf0a44
/usr/lib/debug/.build-id/59/1ca3e92391122adaf33de1955e7fafe5bf0a44.debug
/usr/lib/debug/.build-id/59/a3c1b9b6a135d039e35457e320d4fcf5e3165a
/usr/lib/debug/.build-id/59/a3c1b9b6a135d039e35457e320d4fcf5e3165a.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/b1586072d7a09e5d357d4e447ba41150368d41
/usr/lib/debug/.build-id/5a/b1586072d7a09e5d357d4e447ba41150368d41.debug
/usr/lib/debug/.build-id/5d
/usr/lib/debug/.build-id/5d/791501928c506632f1162574871b66f0b77d1e
/usr/lib/debug/.build-id/5d/791501928c506632f1162574871b66f0b77d1e.debug
/usr/lib/debug/.build-id/5e
/usr/lib/debug/.build-id/5e/39cb97a8f7488a54271c516f0c7be0862bc0a3
/usr/lib/debug/.build-id/5e/39cb97a8f7488a54271c516f0c7be0862bc0a3.debug
/usr/lib/debug/.build-id/68
/usr/lib/debug/.build-id/68/90620c49101909d184ee1e249695279afcb686
/usr/lib/debug/.build-id/68/90620c49101909d184ee1e249695279afcb686.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/56533dcbc5b6d59e70a02bb33fc9c9b93e62c7
/usr/lib/debug/.build-id/69/56533dcbc5b6d59e70a02bb33fc9c9b93e62c7.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/1e796c300c5ced73006f2dc4bb4c6c8669ce94
/usr/lib/debug/.build-id/73/1e796c300c5ced73006f2dc4bb4c6c8669ce94.debug
/usr/lib/debug/.build-id/75
/usr/lib/debug/.build-id/75/28887dd55c8c56c4a695e26e3cf1a5a861fded
/usr/lib/debug/.build-id/75/28887dd55c8c56c4a695e26e3cf1a5a861fded.debug
/usr/lib/debug/.build-id/80
/usr/lib/debug/.build-id/80/3f2c077fe4aad39ce04f59659d7c36fcfe6cc2
/usr/lib/debug/.build-id/80/3f2c077fe4aad39ce04f59659d7c36fcfe6cc2.debug
/usr/lib/debug/.build-id/86
/usr/lib/debug/.build-id/86/f8252555518fa11ff3c8f58f2894e06a039899
/usr/lib/debug/.build-id/86/f8252555518fa11ff3c8f58f2894e06a039899.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/041a1a45d9f74915f412c709dba2a6a8c565c1
/usr/lib/debug/.build-id/87/041a1a45d9f74915f412c709dba2a6a8c565c1.debug
/usr/lib/debug/.build-id/87/74e2236e97d0925f4989053dc82838333f786c
/usr/lib/debug/.build-id/87/74e2236e97d0925f4989053dc82838333f786c.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/bffb9b3a05d8e95f81733f898c522aefeb424f
/usr/lib/debug/.build-id/8c/bffb9b3a05d8e95f81733f898c522aefeb424f.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/d7a44f113a7179599670ff71ea8961a28754ec
/usr/lib/debug/.build-id/94/d7a44f113a7179599670ff71ea8961a28754ec.debug
/usr/lib/debug/.build-id/9d
/usr/lib/debug/.build-id/9d/640d19d3ab2f355144e14d63f5d02212374d72
/usr/lib/debug/.build-id/9d/640d19d3ab2f355144e14d63f5d02212374d72.debug
/usr/lib/debug/.build-id/9d/b4639559be5bb1baa479f56514c40dc5604a56
/usr/lib/debug/.build-id/9d/b4639559be5bb1baa479f56514c40dc5604a56.debug
/usr/lib/debug/.build-id/9f
/usr/lib/debug/.build-id/9f/c53e0b00f71ff29e49da5def4fd513c34ab674
/usr/lib/debug/.build-id/9f/c53e0b00f71ff29e49da5def4fd513c34ab674.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/5f31dae0b46c6491f86f28dbb29ab553db47a4
/usr/lib/debug/.build-id/a9/5f31dae0b46c6491f86f28dbb29ab553db47a4.debug
/usr/lib/debug/.build-id/b2
/usr/lib/debug/.build-id/b2/5df2eb2021eba82794bad8a4a1aaede3c94329
/usr/lib/debug/.build-id/b2/5df2eb2021eba82794bad8a4a1aaede3c94329.debug
/usr/lib/debug/.build-id/bf
/usr/lib/debug/.build-id/bf/103601f31a519681c576789286d88e9435cee1
/usr/lib/debug/.build-id/bf/103601f31a519681c576789286d88e9435cee1.debug
/usr/lib/debug/.build-id/cb
/usr/lib/debug/.build-id/cb/0cb6125a6f4792457caa0749519239e3b42cba
/usr/lib/debug/.build-id/cb/0cb6125a6f4792457caa0749519239e3b42cba.debug
/usr/lib/debug/.build-id/cb/33ae64ed8d05c40a52151fe1e8ebb681952c28
/usr/lib/debug/.build-id/cb/33ae64ed8d05c40a52151fe1e8ebb681952c28.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/b024f94565cb74515b41afec8ebd28dc5ed19f
/usr/lib/debug/.build-id/d4/b024f94565cb74515b41afec8ebd28dc5ed19f.debug
/usr/lib/debug/.build-id/d7
/usr/lib/debug/.build-id/d7/89b8d25adc87e4deb03d2d9ec19e89ded1f23d
/usr/lib/debug/.build-id/d7/89b8d25adc87e4deb03d2d9ec19e89ded1f23d.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/5f9e13be27ca6d67e083d2289de15de4349695
/usr/lib/debug/.build-id/dd/5f9e13be27ca6d67e083d2289de15de4349695.debug
/usr/lib/debug/.build-id/df
/usr/lib/debug/.build-id/df/aafad991bbbcd23b6107eae12edefc8e286637
/usr/lib/debug/.build-id/df/aafad991bbbcd23b6107eae12edefc8e286637.debug
/usr/lib/debug/.build-id/e0
/usr/lib/debug/.build-id/e0/62c8bcb714ea1c8d37c6ed0a82f5fbddb3ad3b
/usr/lib/debug/.build-id/e0/62c8bcb714ea1c8d37c6ed0a82f5fbddb3ad3b.debug
/usr/lib/debug/.build-id/e4
/usr/lib/debug/.build-id/e4/5eb97b50eb92dad4292fc8628ad4db37ec7334
/usr/lib/debug/.build-id/e4/5eb97b50eb92dad4292fc8628ad4db37ec7334.debug
/usr/lib/debug/.build-id/ef
/usr/lib/debug/.build-id/ef/07a37e2c60c1b2e145f76dbaabc8ab8f8a48b1
/usr/lib/debug/.build-id/ef/07a37e2c60c1b2e145f76dbaabc8ab8f8a48b1.debug
/usr/lib/debug/.build-id/f2
/usr/lib/debug/.build-id/f2/874b1f04ba771be33164ed806b99ce3b69826f
/usr/lib/debug/.build-id/f2/874b1f04ba771be33164ed806b99ce3b69826f.debug
/usr/lib/debug/.build-id/f3
/usr/lib/debug/.build-id/f3/57b30cd7a605c9f292d58265a2af289021260f
/usr/lib/debug/.build-id/f3/57b30cd7a605c9f292d58265a2af289021260f.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/9a3a8c0b0bbb729723dd20067353b357a1c129
/usr/lib/debug/.build-id/f5/9a3a8c0b0bbb729723dd20067353b357a1c129.debug
/usr/lib/debug/.build-id/ff
/usr/lib/debug/.build-id/ff/f638f40890c3d1bdda316f73cccc02d6536ccc
/usr/lib/debug/.build-id/ff/f638f40890c3d1bdda316f73cccc02d6536ccc.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqc-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqchk-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqdep-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqdoc-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqnative-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqpp-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqtimelog2html-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqtop-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqwc-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/csdpcert-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.18.0-1.fc39.x86_64.debug
/usr/lib/debug/usr/bin/votour-8.18.0-1.fc39.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.18.0-1.fc39.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.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.18.0-1.fc39.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.x86_64.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.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.18.0-1.fc39.x86_64.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.x86_64.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.x86_64.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.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.18.0-1.fc39.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat May 4 01:55:30 2024