coq-debuginfo-8.20.1-1.mga10 RPM for aarch64

From Mageia Cauldron for aarch64 / media / debug / core / release

This package provides debug information for package coq.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

• coq-debuginfo
• coq-debuginfo(aarch-64)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)
• debuginfo(build-id)

Requires

• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

LGPL-2.1-only AND MIT AND BSD-3-Clause

Changelog

* Sun Jun 22 2025 daviddavid <daviddavid> 8.20.1-1.mga10
  + Revision: 2193932
  - new version: 8.20.1

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/01
/usr/lib/debug/.build-id/01/e569012faa72fd74c71e04ad742344e760f7fd
/usr/lib/debug/.build-id/01/e569012faa72fd74c71e04ad742344e760f7fd.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/6b9c39e6ee400f400cb25d1a87b6da35cc6ee1
/usr/lib/debug/.build-id/07/6b9c39e6ee400f400cb25d1a87b6da35cc6ee1.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/c25bd18d5c55b0133c069bbdf8c2d3e86a36ba
/usr/lib/debug/.build-id/0b/c25bd18d5c55b0133c069bbdf8c2d3e86a36ba.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/02972034ea0b28cfcf5be26c664f9a383ffa8f
/usr/lib/debug/.build-id/0c/02972034ea0b28cfcf5be26c664f9a383ffa8f.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/3bc713092a3d8cfdee0837686ecaaaf6a1ea20
/usr/lib/debug/.build-id/10/3bc713092a3d8cfdee0837686ecaaaf6a1ea20.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/3a10a7ccb2fb66e2e7e2f8df1f17bd19ba968c
/usr/lib/debug/.build-id/12/3a10a7ccb2fb66e2e7e2f8df1f17bd19ba968c.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/7e231840bedd1ac9f884fa2a2a4c127acd16da
/usr/lib/debug/.build-id/19/7e231840bedd1ac9f884fa2a2a4c127acd16da.debug
/usr/lib/debug/.build-id/1c
/usr/lib/debug/.build-id/1c/95e6d79c0988c0d4c7be7aea0e1391891b1b61
/usr/lib/debug/.build-id/1c/95e6d79c0988c0d4c7be7aea0e1391891b1b61.debug
/usr/lib/debug/.build-id/1c/c2820b46f7c1b9031cc30a33f5b69b04bf232c
/usr/lib/debug/.build-id/1c/c2820b46f7c1b9031cc30a33f5b69b04bf232c.debug
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/0bef8461230e229eed5e31c8bd5cbf0e4aa86d
/usr/lib/debug/.build-id/1d/0bef8461230e229eed5e31c8bd5cbf0e4aa86d.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/ef49c7343d7995ea6d2a8d48352b7092fa0d80
/usr/lib/debug/.build-id/1e/ef49c7343d7995ea6d2a8d48352b7092fa0d80.debug
/usr/lib/debug/.build-id/26
/usr/lib/debug/.build-id/26/ab262e4f608c6461cfae94c632b60328e0c462
/usr/lib/debug/.build-id/26/ab262e4f608c6461cfae94c632b60328e0c462.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/a6e75774e2a3623673a17ef6cb9700ba27e9bc
/usr/lib/debug/.build-id/2a/a6e75774e2a3623673a17ef6cb9700ba27e9bc.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/1df02fa7bfe3029c8f601f4d8659cd41bb0c04
/usr/lib/debug/.build-id/2b/1df02fa7bfe3029c8f601f4d8659cd41bb0c04.debug
/usr/lib/debug/.build-id/32
/usr/lib/debug/.build-id/32/55394a930c9c57ba9579bd41b713df8077381a
/usr/lib/debug/.build-id/32/55394a930c9c57ba9579bd41b713df8077381a.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/14d1e5ee46c348f9008559a78b8c0bac0ce0ad
/usr/lib/debug/.build-id/36/14d1e5ee46c348f9008559a78b8c0bac0ce0ad.debug
/usr/lib/debug/.build-id/3f
/usr/lib/debug/.build-id/3f/e440b7c9f0d7c876438c3d7547a7b84d496f7e
/usr/lib/debug/.build-id/3f/e440b7c9f0d7c876438c3d7547a7b84d496f7e.debug
/usr/lib/debug/.build-id/40
/usr/lib/debug/.build-id/40/b76a51c859d5eee1c4356358843269666f6939
/usr/lib/debug/.build-id/40/b76a51c859d5eee1c4356358843269666f6939.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/3531cdd6477e59a71544c99245e71fa9553f1d
/usr/lib/debug/.build-id/4c/3531cdd6477e59a71544c99245e71fa9553f1d.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/027df8b4268e88515eaecc8f866c3ed43deff5
/usr/lib/debug/.build-id/51/027df8b4268e88515eaecc8f866c3ed43deff5.debug
/usr/lib/debug/.build-id/54
/usr/lib/debug/.build-id/54/9a59bcc12624e3b97d9eb9fb2cfc8f8e8613bc
/usr/lib/debug/.build-id/54/9a59bcc12624e3b97d9eb9fb2cfc8f8e8613bc.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/3c273d552e6b14d1a6f67b84e04459fca8edb6
/usr/lib/debug/.build-id/5a/3c273d552e6b14d1a6f67b84e04459fca8edb6.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/4f76140efb57d7f8fadfe9945df013d1f052a0
/usr/lib/debug/.build-id/5c/4f76140efb57d7f8fadfe9945df013d1f052a0.debug
/usr/lib/debug/.build-id/65
/usr/lib/debug/.build-id/65/cf0629a230edbd194c9b10f2973fb5f1a872eb
/usr/lib/debug/.build-id/65/cf0629a230edbd194c9b10f2973fb5f1a872eb.debug
/usr/lib/debug/.build-id/66
/usr/lib/debug/.build-id/66/ea4375fe844067c5a9194141be3750e9150a57
/usr/lib/debug/.build-id/66/ea4375fe844067c5a9194141be3750e9150a57.debug
/usr/lib/debug/.build-id/67
/usr/lib/debug/.build-id/67/6f00cf0a9d3ef7c5d536bd4016aee0fed918b9
/usr/lib/debug/.build-id/67/6f00cf0a9d3ef7c5d536bd4016aee0fed918b9.debug
/usr/lib/debug/.build-id/6d
/usr/lib/debug/.build-id/6d/2eebb97e6f045c924710131b9db4dfb4436f2d
/usr/lib/debug/.build-id/6d/2eebb97e6f045c924710131b9db4dfb4436f2d.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/b43d689923ad391c152fa7d4f6cc34d441aa73
/usr/lib/debug/.build-id/6e/b43d689923ad391c152fa7d4f6cc34d441aa73.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/4d96010fcc2b098d83730c7c805840f002c153
/usr/lib/debug/.build-id/74/4d96010fcc2b098d83730c7c805840f002c153.debug
/usr/lib/debug/.build-id/74/772dfa1fc8c369a04db2fd3c3869f029ef4621
/usr/lib/debug/.build-id/74/772dfa1fc8c369a04db2fd3c3869f029ef4621.debug
/usr/lib/debug/.build-id/78
/usr/lib/debug/.build-id/78/24e9c54ae8a564334377c5fd320a9f8dac9505
/usr/lib/debug/.build-id/78/24e9c54ae8a564334377c5fd320a9f8dac9505.debug
/usr/lib/debug/.build-id/78/a46f23b96080231f452e2f7eab51acdcd89ad6
/usr/lib/debug/.build-id/78/a46f23b96080231f452e2f7eab51acdcd89ad6.debug
/usr/lib/debug/.build-id/7e
/usr/lib/debug/.build-id/7e/d98d79742052d12225516e75b43c4a5af4893b
/usr/lib/debug/.build-id/7e/d98d79742052d12225516e75b43c4a5af4893b.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/b4c51494955bc0c6b7454639786cf1f0cb485c
/usr/lib/debug/.build-id/84/b4c51494955bc0c6b7454639786cf1f0cb485c.debug
/usr/lib/debug/.build-id/88
/usr/lib/debug/.build-id/88/12c3f6287b3648ea228a7656593d73c19aa130
/usr/lib/debug/.build-id/88/12c3f6287b3648ea228a7656593d73c19aa130.debug
/usr/lib/debug/.build-id/88/b28a025743e8e5f3c45f330a6283c479b439ff
/usr/lib/debug/.build-id/88/b28a025743e8e5f3c45f330a6283c479b439ff.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/a8a8cfaffddcec125071e8c6d13e7a6ddb1e1a
/usr/lib/debug/.build-id/8c/a8a8cfaffddcec125071e8c6d13e7a6ddb1e1a.debug
/usr/lib/debug/.build-id/8d
/usr/lib/debug/.build-id/8d/099d9a214649ebefad40f62b602b3b173923b8
/usr/lib/debug/.build-id/8d/099d9a214649ebefad40f62b602b3b173923b8.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/12a764ebe528a413d68e24f53b5a013d3e2068
/usr/lib/debug/.build-id/8e/12a764ebe528a413d68e24f53b5a013d3e2068.debug
/usr/lib/debug/.build-id/93
/usr/lib/debug/.build-id/93/cc91de509426917ed3a38d8b815a5f950308f7
/usr/lib/debug/.build-id/93/cc91de509426917ed3a38d8b815a5f950308f7.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/5847543d1e0d161788f2e94721094006b636e8
/usr/lib/debug/.build-id/94/5847543d1e0d161788f2e94721094006b636e8.debug
/usr/lib/debug/.build-id/97
/usr/lib/debug/.build-id/97/2a8e5dbb47d1810502ccb7a55e955fa0fbb2fb
/usr/lib/debug/.build-id/97/2a8e5dbb47d1810502ccb7a55e955fa0fbb2fb.debug
/usr/lib/debug/.build-id/97/90eb055c2acfabbd2415626c7c7ac9fa2ae35c
/usr/lib/debug/.build-id/97/90eb055c2acfabbd2415626c7c7ac9fa2ae35c.debug
/usr/lib/debug/.build-id/a0
/usr/lib/debug/.build-id/a0/845619010614901e50b485c0dde14155274a0c
/usr/lib/debug/.build-id/a0/845619010614901e50b485c0dde14155274a0c.debug
/usr/lib/debug/.build-id/a3
/usr/lib/debug/.build-id/a3/89bbb4527abbd65610dbbef809e8af9f5d4162
/usr/lib/debug/.build-id/a3/89bbb4527abbd65610dbbef809e8af9f5d4162.debug
/usr/lib/debug/.build-id/a6
/usr/lib/debug/.build-id/a6/d27a5c799bcbbe91ad20c3a5007b80086f0ad8
/usr/lib/debug/.build-id/a6/d27a5c799bcbbe91ad20c3a5007b80086f0ad8.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/c3ad5b8d37937beec8ae8f6c4c9e8a6d8a800f
/usr/lib/debug/.build-id/a9/c3ad5b8d37937beec8ae8f6c4c9e8a6d8a800f.debug
/usr/lib/debug/.build-id/ae
/usr/lib/debug/.build-id/ae/4187fb1d59a7eaf9b972c195ffe358b1b11e2b
/usr/lib/debug/.build-id/ae/4187fb1d59a7eaf9b972c195ffe358b1b11e2b.debug
/usr/lib/debug/.build-id/b2
/usr/lib/debug/.build-id/b2/c0e390cafcb15b135c14cea7549d81ab8d25bb
/usr/lib/debug/.build-id/b2/c0e390cafcb15b135c14cea7549d81ab8d25bb.debug
/usr/lib/debug/.build-id/b8
/usr/lib/debug/.build-id/b8/0d1b7bd8d735952f4c53a41aa392ecc2cda1e9
/usr/lib/debug/.build-id/b8/0d1b7bd8d735952f4c53a41aa392ecc2cda1e9.debug
/usr/lib/debug/.build-id/bc
/usr/lib/debug/.build-id/bc/aacfd86311e966fba7e9bccfb6041182e9df6e
/usr/lib/debug/.build-id/bc/aacfd86311e966fba7e9bccfb6041182e9df6e.debug
/usr/lib/debug/.build-id/c4
/usr/lib/debug/.build-id/c4/76c4133c49dafb8601883a8ed599cbe19b22e4
/usr/lib/debug/.build-id/c4/76c4133c49dafb8601883a8ed599cbe19b22e4.debug
/usr/lib/debug/.build-id/d6
/usr/lib/debug/.build-id/d6/c7beeab0ed1ae9d9299991221656ec63fe18d1
/usr/lib/debug/.build-id/d6/c7beeab0ed1ae9d9299991221656ec63fe18d1.debug
/usr/lib/debug/.build-id/d7
/usr/lib/debug/.build-id/d7/e625f81ba8bf2b753ef61b056d9d9acd2ef4b8
/usr/lib/debug/.build-id/d7/e625f81ba8bf2b753ef61b056d9d9acd2ef4b8.debug
/usr/lib/debug/.build-id/e5
/usr/lib/debug/.build-id/e5/51d96c4ef7d35c6bfcb5057b5b976df9a3a636
/usr/lib/debug/.build-id/e5/51d96c4ef7d35c6bfcb5057b5b976df9a3a636.debug
/usr/lib/debug/.build-id/e7
/usr/lib/debug/.build-id/e7/0a1dcdd8fe3812fead3cc6208d6a3dcab69f6b
/usr/lib/debug/.build-id/e7/0a1dcdd8fe3812fead3cc6208d6a3dcab69f6b.debug
/usr/lib/debug/.build-id/ec
/usr/lib/debug/.build-id/ec/13fcc46427e063b756a25c9823cfae3014428b
/usr/lib/debug/.build-id/ec/13fcc46427e063b756a25c9823cfae3014428b.debug
/usr/lib/debug/.build-id/ed
/usr/lib/debug/.build-id/ed/ba0cc5afe79010b5e3b4e293053f909d5d8552
/usr/lib/debug/.build-id/ed/ba0cc5afe79010b5e3b4e293053f909d5d8552.debug
/usr/lib/debug/.build-id/f0
/usr/lib/debug/.build-id/f0/31aa87c285808bc6ab40ed51551ee27728db03
/usr/lib/debug/.build-id/f0/31aa87c285808bc6ab40ed51551ee27728db03.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/82966902ef079d6a4c2d7ab1bbab50bf22acd1
/usr/lib/debug/.build-id/f4/82966902ef079d6a4c2d7ab1bbab50bf22acd1.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/4aa4baa7c9c04cf270c20820a1f58c5cbeb8db
/usr/lib/debug/.build-id/f5/4aa4baa7c9c04cf270c20820a1f58c5cbeb8db.debug
/usr/lib/debug/.build-id/f8
/usr/lib/debug/.build-id/f8/a799289c48c1d4fb40f1e1e987a728fd29a7db
/usr/lib/debug/.build-id/f8/a799289c48c1d4fb40f1e1e987a728fd29a7db.debug
/usr/lib/debug/.build-id/fa
/usr/lib/debug/.build-id/fa/7c4a2dc4316bb5bf1ef8e85ba4aa62cb9a2362
/usr/lib/debug/.build-id/fa/7c4a2dc4316bb5bf1ef8e85ba4aa62cb9a2362.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/186c894b7d69e14e09ea3216eb465b38eab675
/usr/lib/debug/.build-id/fb/186c894b7d69e14e09ea3216eb465b38eab675.debug
/usr/lib/debug/.build-id/fb/286666969faba4f53e7b48a0eae622f4a43c18
/usr/lib/debug/.build-id/fb/286666969faba4f53e7b48a0eae622f4a43c18.debug
/usr/lib/debug/.build-id/fb/6210d20d3b7c133393a6badcec792e9f21825b
/usr/lib/debug/.build-id/fb/6210d20d3b7c133393a6badcec792e9f21825b.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/398a90ddccce1d8693678598e2f97b255ae192
/usr/lib/debug/.build-id/fd/398a90ddccce1d8693678598e2f97b255ae192.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/coq-8.20.1-1.mga10.aarch64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqc-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqchk-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqdep-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqdoc-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqnative-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqpp-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqtimelog2html-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqtop-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqwc-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/csdpcert-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/bin/votour-8.20.1-1.mga10.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.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/checklib
/usr/lib/debug/usr/lib64/ocaml/coq-core/checklib/coq_checklib.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib/clib.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/config
/usr/lib/debug/usr/lib64/ocaml/coq-core/config/config.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/debugger_support
/usr/lib/debug/usr/lib64/ocaml/coq-core/debugger_support/debugger_support.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/dev
/usr/lib/debug/usr/lib64/ocaml/coq-core/dev/dev.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine/engine.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp/interp.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel/kernel.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib/lib.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/library
/usr/lib/debug/usr/lib64/ocaml/coq-core/library/library.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing/parsing.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/perf
/usr/lib/debug/usr/lib64/ocaml/coq-core/perf/coqperf.cmxs-8.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac2_ltac1
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac2_ltac1/ltac2_ltac1_plugin.cmxs-8.20.1-1.mga10.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.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/micromega_core
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/micromega_core/micromega_core_plugin.cmxs-8.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.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.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing/printing.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs/proofs.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm/stm.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics/tactics.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel/toplevel.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac/vernac.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm/coqrun.cmxs-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so-8.20.1-1.mga10.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.20.1-1.mga10.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jun 28 07:01:29 2025