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

frama-c-debuginfo-32.1-2.fc44 RPM for x86_64

From Fedora 44 testing updates for x86_64 / debug / Packages / f

Name: frama-c-debuginfo Distribution: Fedora Project
Version: 32.1 Vendor: Fedora Project
Release: 2.fc44 Build date: Fri Mar 20 22:07:50 2026
Group: Development/Debug Build host: buildvm-x86-22.rdu3.fedoraproject.org
Size: 90376184 Source RPM: frama-c-32.1-2.fc44.src.rpm
Packager: Fedora Project
Url: https://frama-c.com/
Summary: Debug information for package frama-c
 
This package provides debug information for package frama-c.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL-2.1-only AND LGPL-2.1-or-later AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later AND CC0-1.0 AND CC-BY-SA-4.0 AND BSD-3-Clause AND QPL-1.0-INRIA-2004 WITH QPL-1.0-INRIA-2004-exception

Changelog

* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 32.1-2
  - Work around a change in dune behavior
* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 32.1-1
  - Version 32.1
* Sat Feb 21 2026 Richard W.M. Jones <rjones@redhat.com> - 32.0-8
  - OCaml 5.4.1 rebuild
* Mon Feb 16 2026 Jerry James <loganjerry@gmail.com> - 32.0-7
  - Rebuild to fix dependencies
* Thu Feb 12 2026 Jerry James <loganjerry@gmail.com> - 32.0-6
  - Rebuild for ocaml-dune 3.21.1
* Sat Feb 07 2026 Jerry James <loganjerry@gmail.com> - 32.0-5
  - Rebuild for ocaml-menhir 20260203
* Mon Feb 02 2026 Jerry James <loganjerry@gmail.com> - 32.0-4
  - Rebuild for ocaml-menhir 20260122
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 32.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Mon Jan 12 2026 Jerry James <loganjerry@gmail.com> - 32.0-2
  - Reflow the description text
* Thu Dec 04 2025 Jerry James <loganjerry@gmail.com> - 32.0-1
  - Version 32.0
* Fri Nov 14 2025 Jerry James <loganjerry@gmail.com> - 31.0-9
  - Rebuild for ocaml-logs 0.10.0
* Thu Nov 13 2025 Jerry James <loganjerry@gmail.com> - 31.0-8
  - Rebuild for ocaml-ctypes 0.24.0
* Wed Oct 15 2025 Richard W.M. Jones <rjones@redhat.com> - 31.0-7
  - OCaml 5.4.0 rebuild
* Tue Sep 16 2025 Jerry James <loganjerry@gmail.com> - 31.0-6
  - Rebuild for ocaml-menhir 20250912 and why3 1.8.2
* Fri Sep 05 2025 Jerry James <loganjerry@gmail.com> - 31.0-5
  - Rebuild for ocaml-menhir 20250903
* Mon Aug 25 2025 Jerry James <loganjerry@gmail.com> - 31.0-4
  - Rebuild for ocaml-fmt 0.11.0
* Fri Aug 22 2025 Jerry James <loganjerry@gmail.com> - 31.0-3
  - Rebuild for ocaml-dune 3.20.0
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 31.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sun Jul 13 2025 Jerry James <loganjerry@gmail.com> - 31.0-1
  - Version 31.0
* Mon Jun 09 2025 Jerry James <loganjerry@gmail.com> - 30.0-11
  - Rebuild for why3 1.8.1
* Sat Jun 07 2025 Jerry James <loganjerry@gmail.com> - 30.0-10
  - Rebuild for bumped ocaml-mlgmpidl
* Tue Apr 15 2025 Jerry James <loganjerry@gmail.com> - 30.0-9
  - Rebuild for ocaml-ocamlgraph 2.2.0
* Thu Apr 03 2025 Jerry James <loganjerry@gmail.com> - 30.0-8
  - Rebuild for ocaml-dune 3.18.0
* Tue Mar 18 2025 Jerry James <loganjerry@gmail.com> - 30.0-7
  - Rebuild for ocaml-logs 0.8.0
* Tue Mar 11 2025 Jerry James <loganjerry@gmail.com> - 30.0-6
  - Rebuild for ocaml-fmt 0.10.0
* Thu Feb 13 2025 Jerry James <loganjerry@gmail.com> - 30.0-5
  - Rebuild for ocaml-ppxlib 0.35.0
* Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 30.0-4
  - Add patch for partial C23 compatibility
  - Disable tests until upstream implements full C23 support
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 30.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 30.0-2
  - OCaml 5.3.0 rebuild for Fedora 42
  - Add patch for why3 1.8.0 compatibility
* Fri Dec 06 2024 Jerry James <loganjerry@gmail.com> - 30.0-1
  - Version 30.0
  - Move configuration steps to %conf
  - Remove empty opam files
  - Link, rather than copy, duplicate files
* Tue Oct 08 2024 Richard W.M. Jones <rjones@redhat.com> - 29.0-10
  - Rebuild for ocaml-lwt 5.8.0
* Sun Oct 06 2024 Jerry James <loganjerry@gmail.com> - 29.0-9
  - Rebuild for ocaml-re 1.13.3
* Mon Aug 12 2024 Jerry James <loganjerry@gmail.com> - 29.0-8
  - Rebuild for ocaml-yaml with ocaml-ctypes 0.23.0
* Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 29.0-7
  - Rebuild for ocaml-ppxlib 0.33.0 and ocaml-yojson 2.2.2
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 29.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 29.0-5
  - Rebuild for ocaml-zarith 1.14
* Wed Jul 03 2024 Jerry James <loganjerry@gmail.com> - 29.0-4
  - Rebuild for ocaml-sexplib0 0.17.0
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 29.0-3
  - OCaml 5.2.0 ppc64le fix
* Mon Jun 17 2024 Jerry James <loganjerry@gmail.com> - 29.0-2
  - Rebuild for ocaml-dune 3.16.0
* Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> - 29.0-1
  - Exclude ppc64le until upstream ocaml bug is fixed
* Thu Jun 06 2024 Jerry James <loganjerry@gmail.com> - 29.0-1
  - Version 29.0
  - Drop upstreamed test patch
  - Add patch to remove dependency on the bytes library for OCaml 5.x
* Thu May 30 2024 Richard W.M. Jones <rjones@redhat.com> - 28.1-4
  - OCaml 5.2.0 for Fedora 41
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 28.1-3
  - BR yq for the tests
* Thu Apr 18 2024 Jerry James <loganjerry@gmail.com> - 28.1-3
  - Rebuild for why3 1.7.2
* Mon Mar 25 2024 Richard W.M. Jones <rjones@redhat.com> - 28.1-2
  - Use %{bash_completions_dir} macro

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/04
/usr/lib/debug/.build-id/04/29ac8e29eecd79fd40ff0f3cbc823da34e2e0e
/usr/lib/debug/.build-id/04/29ac8e29eecd79fd40ff0f3cbc823da34e2e0e.debug
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/9d79133e85a4ee39d20af6757b70c5ddc32984
/usr/lib/debug/.build-id/09/9d79133e85a4ee39d20af6757b70c5ddc32984.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/a7933ad74c6fc1a72d88bc8001fc891fe8cb69
/usr/lib/debug/.build-id/0f/a7933ad74c6fc1a72d88bc8001fc891fe8cb69.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/1fae641151b26bb8ed9e8665f3cc638ca211ef
/usr/lib/debug/.build-id/14/1fae641151b26bb8ed9e8665f3cc638ca211ef.debug
/usr/lib/debug/.build-id/17
/usr/lib/debug/.build-id/17/9d42c67b5312034ba600a2919ddb6ba99a9244
/usr/lib/debug/.build-id/17/9d42c67b5312034ba600a2919ddb6ba99a9244.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/6258f35ac53a03044b9a46431d9f98edb4ee3d
/usr/lib/debug/.build-id/23/6258f35ac53a03044b9a46431d9f98edb4ee3d.debug
/usr/lib/debug/.build-id/23/c73c375d2d8c69b2cee8fb7cde07134d633e3e
/usr/lib/debug/.build-id/23/c73c375d2d8c69b2cee8fb7cde07134d633e3e.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/600f532cabd6b2683d582701156cf85441b517
/usr/lib/debug/.build-id/28/600f532cabd6b2683d582701156cf85441b517.debug
/usr/lib/debug/.build-id/2f
/usr/lib/debug/.build-id/2f/fd2114a51294c826d26c0cb9efd7b8fcdad9d7
/usr/lib/debug/.build-id/2f/fd2114a51294c826d26c0cb9efd7b8fcdad9d7.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/5f36ab9d04cb2cdfa049af7ad14464af5c43bf
/usr/lib/debug/.build-id/31/5f36ab9d04cb2cdfa049af7ad14464af5c43bf.debug
/usr/lib/debug/.build-id/32
/usr/lib/debug/.build-id/32/2b0cd99665cb58a0ec644c0af7db90ce48976e
/usr/lib/debug/.build-id/32/2b0cd99665cb58a0ec644c0af7db90ce48976e.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/5350d0fe153f751196a13dce7bf5e9f08076bc
/usr/lib/debug/.build-id/34/5350d0fe153f751196a13dce7bf5e9f08076bc.debug
/usr/lib/debug/.build-id/34/f08bf84140d3314f7dcee41076bd8b4f98fb32
/usr/lib/debug/.build-id/34/f08bf84140d3314f7dcee41076bd8b4f98fb32.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/ce6f997dc4e0e3957c1a758eb36d239eb0787c
/usr/lib/debug/.build-id/35/ce6f997dc4e0e3957c1a758eb36d239eb0787c.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/8f327e310f16bd68b4ba4503045ca604fafebd
/usr/lib/debug/.build-id/37/8f327e310f16bd68b4ba4503045ca604fafebd.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/9671fb10cdf10fd3f0608ed6019797f8586948
/usr/lib/debug/.build-id/3b/9671fb10cdf10fd3f0608ed6019797f8586948.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/6e3bff3a8e4b0bbe54e193ccda96fc0ff2e201
/usr/lib/debug/.build-id/3d/6e3bff3a8e4b0bbe54e193ccda96fc0ff2e201.debug
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/cd6534ca0fcfec3dd71cb6fab16a62c4189d61
/usr/lib/debug/.build-id/3e/cd6534ca0fcfec3dd71cb6fab16a62c4189d61.debug
/usr/lib/debug/.build-id/3f
/usr/lib/debug/.build-id/3f/6c77b54ecf2d5c38ba3665521881b7e1d867bd
/usr/lib/debug/.build-id/3f/6c77b54ecf2d5c38ba3665521881b7e1d867bd.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/b331e6abbf2245d54e27f914ec177d263a570b
/usr/lib/debug/.build-id/41/b331e6abbf2245d54e27f914ec177d263a570b.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/1585c7b7f82b739dfc0339001a3f5062eea66d
/usr/lib/debug/.build-id/48/1585c7b7f82b739dfc0339001a3f5062eea66d.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/049345dd5c8ac230d60068af8d914690bcc9bb
/usr/lib/debug/.build-id/4c/049345dd5c8ac230d60068af8d914690bcc9bb.debug
/usr/lib/debug/.build-id/52
/usr/lib/debug/.build-id/52/823a523d7992974cf1c486d55d2cf50c0367bc
/usr/lib/debug/.build-id/52/823a523d7992974cf1c486d55d2cf50c0367bc.debug
/usr/lib/debug/.build-id/5d
/usr/lib/debug/.build-id/5d/2c7fd91be5f78a7c429341529320d93fe37a92
/usr/lib/debug/.build-id/5d/2c7fd91be5f78a7c429341529320d93fe37a92.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/1bef716e7b43c929e9266124b3c4be231075ea
/usr/lib/debug/.build-id/5f/1bef716e7b43c929e9266124b3c4be231075ea.debug
/usr/lib/debug/.build-id/66
/usr/lib/debug/.build-id/66/bbd654a29593e7710182aeaa7057e3c32f77a4
/usr/lib/debug/.build-id/66/bbd654a29593e7710182aeaa7057e3c32f77a4.debug
/usr/lib/debug/.build-id/6b
/usr/lib/debug/.build-id/6b/86ff39ac5524889b73dff61511be7e2c814191
/usr/lib/debug/.build-id/6b/86ff39ac5524889b73dff61511be7e2c814191.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/2d4bb1da2a45c675efc1f96f07c174fcc1e09c
/usr/lib/debug/.build-id/6e/2d4bb1da2a45c675efc1f96f07c174fcc1e09c.debug
/usr/lib/debug/.build-id/75
/usr/lib/debug/.build-id/75/d73b2873228e9bc2c5cdae828361301b1f79de
/usr/lib/debug/.build-id/75/d73b2873228e9bc2c5cdae828361301b1f79de.debug
/usr/lib/debug/.build-id/79
/usr/lib/debug/.build-id/79/96bc05fd4fa0b78b891ac691e527273cb4d036
/usr/lib/debug/.build-id/79/96bc05fd4fa0b78b891ac691e527273cb4d036.debug
/usr/lib/debug/.build-id/7a
/usr/lib/debug/.build-id/7a/50a81b10257e43548ebf3bc6acdbc3bc119016
/usr/lib/debug/.build-id/7a/50a81b10257e43548ebf3bc6acdbc3bc119016.debug
/usr/lib/debug/.build-id/7b
/usr/lib/debug/.build-id/7b/9581dd1b22a1b99abc3b599905d3bf0614e286
/usr/lib/debug/.build-id/7b/9581dd1b22a1b99abc3b599905d3bf0614e286.debug
/usr/lib/debug/.build-id/7e
/usr/lib/debug/.build-id/7e/e5c62d1ad3c97d271efe96867e7dbedd08eb2e
/usr/lib/debug/.build-id/7e/e5c62d1ad3c97d271efe96867e7dbedd08eb2e.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/5ab523e630302ea293f2e40204f8a7f5b39d82
/usr/lib/debug/.build-id/87/5ab523e630302ea293f2e40204f8a7f5b39d82.debug
/usr/lib/debug/.build-id/8f
/usr/lib/debug/.build-id/8f/5dcb6724212472e6ff191df9bb799125607fda
/usr/lib/debug/.build-id/8f/5dcb6724212472e6ff191df9bb799125607fda.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/2fce463a0894edbc5377eb924839c1c7d77609
/usr/lib/debug/.build-id/90/2fce463a0894edbc5377eb924839c1c7d77609.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/882182ab50717754b887623511855bece88c8c
/usr/lib/debug/.build-id/94/882182ab50717754b887623511855bece88c8c.debug
/usr/lib/debug/.build-id/97
/usr/lib/debug/.build-id/97/6b865245a68ce31317a4f339a55f7e028c1875
/usr/lib/debug/.build-id/97/6b865245a68ce31317a4f339a55f7e028c1875.debug
/usr/lib/debug/.build-id/9d
/usr/lib/debug/.build-id/9d/73fecfd0b88ca699fd17cec2e8c1f96cbb285a
/usr/lib/debug/.build-id/9d/73fecfd0b88ca699fd17cec2e8c1f96cbb285a.debug
/usr/lib/debug/.build-id/a1
/usr/lib/debug/.build-id/a1/1f52c96672f59ba4541a61af91ed8042ef9183
/usr/lib/debug/.build-id/a1/1f52c96672f59ba4541a61af91ed8042ef9183.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/11aee408c3c9e604a01c443c38977c648db5af
/usr/lib/debug/.build-id/a2/11aee408c3c9e604a01c443c38977c648db5af.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/b676f8991720a3b891ccbfa9360727115f8eeb
/usr/lib/debug/.build-id/a5/b676f8991720a3b891ccbfa9360727115f8eeb.debug
/usr/lib/debug/.build-id/a8
/usr/lib/debug/.build-id/a8/0f64a19ee6a590a4d7c984805f15a91a5fd706
/usr/lib/debug/.build-id/a8/0f64a19ee6a590a4d7c984805f15a91a5fd706.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/48253c46c2868f33c1c257f5330d128986ba4e
/usr/lib/debug/.build-id/a9/48253c46c2868f33c1c257f5330d128986ba4e.debug
/usr/lib/debug/.build-id/ad
/usr/lib/debug/.build-id/ad/bfdeca85a2b86d73e6a70b51992563644a3659
/usr/lib/debug/.build-id/ad/bfdeca85a2b86d73e6a70b51992563644a3659.debug
/usr/lib/debug/.build-id/b0
/usr/lib/debug/.build-id/b0/0bb6266d119ef726b5d64a59cc2fe42958abb1
/usr/lib/debug/.build-id/b0/0bb6266d119ef726b5d64a59cc2fe42958abb1.debug
/usr/lib/debug/.build-id/b2
/usr/lib/debug/.build-id/b2/62b2a390fe68d43c57759da614747117c27473
/usr/lib/debug/.build-id/b2/62b2a390fe68d43c57759da614747117c27473.debug
/usr/lib/debug/.build-id/b3
/usr/lib/debug/.build-id/b3/0365b602ba6c8b008cbcb28b4286f471d328cd
/usr/lib/debug/.build-id/b3/0365b602ba6c8b008cbcb28b4286f471d328cd.debug
/usr/lib/debug/.build-id/b5
/usr/lib/debug/.build-id/b5/436a590b98c12fb432fef712bc0ed28ac1cafe
/usr/lib/debug/.build-id/b5/436a590b98c12fb432fef712bc0ed28ac1cafe.debug
/usr/lib/debug/.build-id/bb
/usr/lib/debug/.build-id/bb/c94b894f52297f8fd8a2d899fd71d1aad2cac3
/usr/lib/debug/.build-id/bb/c94b894f52297f8fd8a2d899fd71d1aad2cac3.debug
/usr/lib/debug/.build-id/c4
/usr/lib/debug/.build-id/c4/1ee45d6ef6ca377f0c57d93e9a50a2345087aa
/usr/lib/debug/.build-id/c4/1ee45d6ef6ca377f0c57d93e9a50a2345087aa.debug
/usr/lib/debug/.build-id/c4/9d7e72b312865586ae7af8177d139ffa40ab4e
/usr/lib/debug/.build-id/c4/9d7e72b312865586ae7af8177d139ffa40ab4e.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/e197eef959fd91ec7c93ca60cf34a5d7a6e5f8
/usr/lib/debug/.build-id/c5/e197eef959fd91ec7c93ca60cf34a5d7a6e5f8.debug
/usr/lib/debug/.build-id/cb
/usr/lib/debug/.build-id/cb/8e4e587362e7dc20cc40d18d833a024dcb7d06
/usr/lib/debug/.build-id/cb/8e4e587362e7dc20cc40d18d833a024dcb7d06.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/100208b01540aeb9a47d5bc56b8d4748f492bd
/usr/lib/debug/.build-id/d4/100208b01540aeb9a47d5bc56b8d4748f492bd.debug
/usr/lib/debug/.build-id/d7
/usr/lib/debug/.build-id/d7/97530fc82f55bad662549b3d668f5a57ed8d56
/usr/lib/debug/.build-id/d7/97530fc82f55bad662549b3d668f5a57ed8d56.debug
/usr/lib/debug/.build-id/db
/usr/lib/debug/.build-id/db/a9cea43f34fa79200e998cf6ab5e87a4e7ba56
/usr/lib/debug/.build-id/db/a9cea43f34fa79200e998cf6ab5e87a4e7ba56.debug
/usr/lib/debug/.build-id/f2
/usr/lib/debug/.build-id/f2/2fc768c4d2b207c82cd2160630aed8367a4e17
/usr/lib/debug/.build-id/f2/2fc768c4d2b207c82cd2160630aed8367a4e17.debug
/usr/lib/debug/.build-id/f2/666b4e2a887de86bea4d2c16e150eb0492661e
/usr/lib/debug/.build-id/f2/666b4e2a887de86bea4d2c16e150eb0492661e.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/89a03f5641444303e16c4a28ee57d35e144ebe
/usr/lib/debug/.build-id/f9/89a03f5641444303e16c4a28ee57d35e144ebe.debug
/usr/lib/debug/.build-id/fa
/usr/lib/debug/.build-id/fa/74535c6a828d77a13e8299b63e6d677bc76801
/usr/lib/debug/.build-id/fa/74535c6a828d77a13e8299b63e6d677bc76801.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/14c17106e8418c9c152e80cf2438bc65b949be
/usr/lib/debug/.build-id/fb/14c17106e8418c9c152e80cf2438bc65b949be.debug
/usr/lib/debug/.build-id/ff
/usr/lib/debug/.build-id/ff/38d99b2fdd27c0d23486c8751f8879ee014a98
/usr/lib/debug/.build-id/ff/38d99b2fdd27c0d23486c8751f8879ee014a98.debug
/usr/lib/debug/.build-id/ff/d2a0abe852fc2705266e8f3c801fc07cd218b9
/usr/lib/debug/.build-id/ff/d2a0abe852fc2705266e8f3c801fc07cd218b9.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/frama-c-32.1-2.fc44.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/frama-c-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/bin/frama-c-gui-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/bin/frama-c-ptests-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/bin/frama-c-wtests-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/frama-c
/usr/lib/debug/usr/lib64/ocaml/frama-c-acsl-importer
/usr/lib/debug/usr/lib64/ocaml/frama-c-acsl-importer/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-acsl-importer/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-acsl-importer/gui/register_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-alias
/usr/lib/debug/usr/lib64/ocaml/frama-c-alias/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-aorai
/usr/lib/debug/usr/lib64/ocaml/frama-c-aorai/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-aorai/core/aorai.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-api_generator
/usr/lib/debug/usr/lib64/ocaml/frama-c-api_generator/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-api_generator/core/api_generator.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-callgraph
/usr/lib/debug/usr/lib64/ocaml/frama-c-callgraph/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-callgraph/core/callgraph.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-constant_propagation
/usr/lib/debug/usr/lib64/ocaml/frama-c-constant_propagation/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-constant_propagation/core/Constant_Propagation.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-dive
/usr/lib/debug/usr/lib64/ocaml/frama-c-dive/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-dive/core/dive.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-e-acsl
/usr/lib/debug/usr/lib64/ocaml/frama-c-e-acsl/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-e-acsl/core/E_ACSL.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/apron
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/apron/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/apron/core/apron_domain.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/core/eva.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/gui/eva_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/mthread
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/mthread/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/mthread/core/mthread.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/mthread/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/mthread/gui/mthread_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/numerors
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/numerors/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-eva/numerors/core/numerors.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-from
/usr/lib/debug/usr/lib64/ocaml/frama-c-from/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-from/core/from.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-from/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-from/gui/from_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-impact
/usr/lib/debug/usr/lib64/ocaml/frama-c-impact/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-impact/core/impact.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-impact/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-impact/gui/impact_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-inout
/usr/lib/debug/usr/lib64/ocaml/frama-c-inout/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-inout/core/inout.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-instantiate
/usr/lib/debug/usr/lib64/ocaml/frama-c-instantiate/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-instantiate/core/instantiate.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-loop-analysis
/usr/lib/debug/usr/lib64/ocaml/frama-c-loop-analysis/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-loop-analysis/core/LoopAnalysis.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-markdown-report
/usr/lib/debug/usr/lib64/ocaml/frama-c-markdown-report/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-markdown-report/core/markdown_report.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-markdown-report/eva-info
/usr/lib/debug/usr/lib64/ocaml/frama-c-markdown-report/eva-info/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-markdown-report/eva-info/core/markdown_report_eva_info.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-metrics
/usr/lib/debug/usr/lib64/ocaml/frama-c-metrics/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-metrics/core/metrics.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-metrics/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-metrics/gui/metrics_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-nonterm
/usr/lib/debug/usr/lib64/ocaml/frama-c-nonterm/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-nonterm/core/nonterm.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-obfuscator
/usr/lib/debug/usr/lib64/ocaml/frama-c-obfuscator/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-obfuscator/core/obfuscator.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-occurrence
/usr/lib/debug/usr/lib64/ocaml/frama-c-occurrence/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-occurrence/core/occurrence.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-occurrence/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-occurrence/gui/occurrence_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-pdg
/usr/lib/debug/usr/lib64/ocaml/frama-c-pdg/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-pdg/core/pdg.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-pdg/types
/usr/lib/debug/usr/lib64/ocaml/frama-c-pdg/types/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-pdg/types/core/Pdg_types.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-reduc
/usr/lib/debug/usr/lib64/ocaml/frama-c-reduc/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-reduc/core/reduc.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-region
/usr/lib/debug/usr/lib64/ocaml/frama-c-region/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-region/core/Region.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-report
/usr/lib/debug/usr/lib64/ocaml/frama-c-report/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-report/core/report.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-rtegen
/usr/lib/debug/usr/lib64/ocaml/frama-c-rtegen/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-rtegen/core/RteGen.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-rtegen/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-rtegen/gui/rtegen_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-scope
/usr/lib/debug/usr/lib64/ocaml/frama-c-scope/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-scope/core/scope.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-scope/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-scope/gui/scope_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-security_slicing
/usr/lib/debug/usr/lib64/ocaml/frama-c-security_slicing/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-security_slicing/core/security_slicing.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-security_slicing/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-security_slicing/gui/security_slicing_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-server
/usr/lib/debug/usr/lib64/ocaml/frama-c-server/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-server/core/server.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-slicing
/usr/lib/debug/usr/lib64/ocaml/frama-c-slicing/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-slicing/core/slicing.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-slicing/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-slicing/gui/slicing_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-sparecode
/usr/lib/debug/usr/lib64/ocaml/frama-c-sparecode/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-sparecode/core/Sparecode.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-studia
/usr/lib/debug/usr/lib64/ocaml/frama-c-studia/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-studia/core/studia.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-studia/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-studia/gui/studia_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-users
/usr/lib/debug/usr/lib64/ocaml/frama-c-users/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-users/core/Users.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-volatile
/usr/lib/debug/usr/lib64/ocaml/frama-c-volatile/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-volatile/core/volatile.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-wp
/usr/lib/debug/usr/lib64/ocaml/frama-c-wp/core
/usr/lib/debug/usr/lib64/ocaml/frama-c-wp/core/wp.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c-wp/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c-wp/gui/wp_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c/analysis-scripts
/usr/lib/debug/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c/boot
/usr/lib/debug/usr/lib64/ocaml/frama-c/boot/frama_c_boot.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c/gui/frama_c_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c/init
/usr/lib/debug/usr/lib64/ocaml/frama-c/init/cmdline
/usr/lib/debug/usr/lib64/ocaml/frama-c/init/cmdline/frama_c_very_first_cmdline.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c/init/gui
/usr/lib/debug/usr/lib64/ocaml/frama-c/init/gui/frama_c_very_first_gui.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/frama-c/kernel
/usr/lib/debug/usr/lib64/ocaml/frama-c/kernel/frama_c_kernel.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/qed
/usr/lib/debug/usr/lib64/ocaml/qed/qed.cmxs-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllframa_c_kernel_stubs.so-32.1-2.fc44.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllwp_stubs.so-32.1-2.fc44.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 21 23:30:45 2026