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

frama-c-debuginfo-23.1-1.fc34 RPM for x86_64

From Fedora 34 updates for x86_64 / debug / Packages / f

Name: frama-c-debuginfo Distribution: Fedora Project
Version: 23.1 Vendor: Fedora Project
Release: 1.fc34 Build date: Wed Aug 11 22:16:38 2021
Group: Development/Debug Build host: buildvm-x86-19.iad2.fedoraproject.org
Size: 22192809 Source RPM: frama-c-23.1-1.fc34.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

LGPLv2 and GPLv2 and GPLv2+ and BSD and QPL

Changelog

* Wed Aug 11 2021 Jerry James <loganjerry@gmail.com> - 23.1-1
  - Version 23.1
* Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 23.0-1
  - Update to Vanadium 23.0
* Sat Jun 12 2021 Jerry James <loganjerry@gmail.com> - 22.0-9
  - Rebuild for coq 8.13.2
* Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 22.0-8
  - Rebuild for coq 8.13.1 and ocaml-zarith 1.12
* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 22.0-7
  - Rebuild for coq 8.13.0
  - Update metainfo and install in metainfodir
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 22.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Sat Jan 02 2021 Jerry James <loganjerry@gmail.com> - 22.0-5
  - Rebuild for flocq 3.4.0
* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 22.0-4
  - Rebuild for coq 8.12.2
* Mon Dec 07 2020 Jerry James <loganjerry@gmail.com> - 22.0-3
  - Rebuild for ocaml-ppx-deriving-yojson 3.6.1
* Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 22.0-2
  - Rebuild for coq 8.12.1
* Fri Nov 20 2020 Jerry James <loganjerry@gmail.com> - 22.0-1
  - Update to Titanium 22.0
  - Add %check script
* Mon Nov 16 2020 Jerry James <loganjerry@gmail.com> - 21.1-7
  - Rebuild for ocaml-zarith 1.11
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 21.1-6
  - Rebuild for apron 0.9.13 and why3 1.3.3
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 21.1-5
  - OCaml 4.11.1 rebuild
* Tue Sep 01 2020 Jerry James <loganjerry@gmail.com> - 21.1-4
  - Rebuild for coq 8.12.0
* Mon Aug 24 2020 Richard W.M. Jones <rjones@redhat.com> - 21.1-4
  - OCaml 4.11.0 rebuild
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 21.1-3
  - Second attempt - Rebuilt for
    https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 21.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Thu Jun 25 2020 Jerry James <loganjerry@gmail.com> - 21.1-1
  - Update to Scandium 21.1
* Mon Jun 15 2020 Jerry James <loganjerry@gmail.com> - 21.0-2
  - Rebuild for coq 8.11.2
* Sat Jun 13 2020 Jerry James <loganjerry@gmail.com> - 21.0-1
  - Update to Scandium 21.0
  - Drop upstreamed -why3 patch
* Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 20.0-4
  - Rebuild for coq 8.11.1
* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 20.0-3
  - OCaml 4.11.0+dev2-2020-04-22 rebuild
* Sun Apr 05 2020 Richard W.M. Jones <rjones@redhat.com> - 20.0-2
  - Update all OCaml dependencies for RPM 4.16.
* Wed Mar 25 2020 Jerry James <loganjerry@gmail.com> - 20.0-1
  - Update to Calcium 20.0
* Thu Jan 23 2020 Jerry James <loganjerry@gmail.com> - 19.1-5
  - Rebuild for apron 0.9.12
* Mon Dec 09 2019 Jerry James <loganjerry@gmail.com> - 19.1-4
  - OCaml 4.09.0 (final) rebuild.
* Tue Oct 29 2019 Jerry James <loganjerry@gmail.com> - 19.1-3
  - Rebuild for why3 1.2.1
* Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 19.1-2
  - Rebuild for ocaml-menhir 20190924
* Mon Sep 23 2019 Jerry James <loganjerry@gmail.com> - 19.1-1
  - Update to Potassium 19.1
* Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 19.0-3
  - Unbundle flamegraph
  - Install bash completions in the right place

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/01
/usr/lib/debug/.build-id/01/5ec3830d6d7163946a24f2ad8ee141f2b4da92
/usr/lib/debug/.build-id/01/5ec3830d6d7163946a24f2ad8ee141f2b4da92.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/dcd7410c696d2287ad80e52bb928c360b64c2f
/usr/lib/debug/.build-id/0a/dcd7410c696d2287ad80e52bb928c360b64c2f.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/9dbc3099aa62a5b68cea49ed6bf04a4c4812c1
/usr/lib/debug/.build-id/0f/9dbc3099aa62a5b68cea49ed6bf04a4c4812c1.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/1d5d765ac9462f543ca8535bfc403ee8d1b356
/usr/lib/debug/.build-id/1b/1d5d765ac9462f543ca8535bfc403ee8d1b356.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/eda0c17f77479daa76d14f8b6497748d73d694
/usr/lib/debug/.build-id/22/eda0c17f77479daa76d14f8b6497748d73d694.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/e361759e454568190c85dc63f4b0f88c928b23
/usr/lib/debug/.build-id/2d/e361759e454568190c85dc63f4b0f88c928b23.debug
/usr/lib/debug/.build-id/30
/usr/lib/debug/.build-id/30/4e97e30287a1a1132398e150d846a002ecd558
/usr/lib/debug/.build-id/30/4e97e30287a1a1132398e150d846a002ecd558.debug
/usr/lib/debug/.build-id/39
/usr/lib/debug/.build-id/39/5aaed306c2368eba2118f2c1ccbf996a0e885f
/usr/lib/debug/.build-id/39/5aaed306c2368eba2118f2c1ccbf996a0e885f.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/6cbafc8e7eb8d25f871c05df65bd1dd3162e80
/usr/lib/debug/.build-id/41/6cbafc8e7eb8d25f871c05df65bd1dd3162e80.debug
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/01eac81d5a29497c321fbb7f1fa44cb9fb7267
/usr/lib/debug/.build-id/42/01eac81d5a29497c321fbb7f1fa44cb9fb7267.debug
/usr/lib/debug/.build-id/43
/usr/lib/debug/.build-id/43/430a98878fa929f74e2a51872b53c5f08146db
/usr/lib/debug/.build-id/43/430a98878fa929f74e2a51872b53c5f08146db.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/d6d78b724fb025619eb19ac12c56f253c53723
/usr/lib/debug/.build-id/44/d6d78b724fb025619eb19ac12c56f253c53723.debug
/usr/lib/debug/.build-id/46
/usr/lib/debug/.build-id/46/32384fde7e891005649dc717f597075fbc4909
/usr/lib/debug/.build-id/46/32384fde7e891005649dc717f597075fbc4909.debug
/usr/lib/debug/.build-id/4b
/usr/lib/debug/.build-id/4b/fa948deb3f80b37167cffe3a67573a0a339513
/usr/lib/debug/.build-id/4b/fa948deb3f80b37167cffe3a67573a0a339513.debug
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/781e477648bf8ac2c57d951eef8ddf6ea79158
/usr/lib/debug/.build-id/4d/781e477648bf8ac2c57d951eef8ddf6ea79158.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/5011a1e0844a7f633750308212e074d5d661a5
/usr/lib/debug/.build-id/51/5011a1e0844a7f633750308212e074d5d661a5.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/5fb0b894d020335c18d480e7140e4cc80148f9
/usr/lib/debug/.build-id/55/5fb0b894d020335c18d480e7140e4cc80148f9.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/1225256c9a9c92f251e2aec2de63b8a1beacf9
/usr/lib/debug/.build-id/58/1225256c9a9c92f251e2aec2de63b8a1beacf9.debug
/usr/lib/debug/.build-id/5d
/usr/lib/debug/.build-id/5d/1c9902a715af5961ead37d9a1d8b75a5839116
/usr/lib/debug/.build-id/5d/1c9902a715af5961ead37d9a1d8b75a5839116.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/bf3796886ad39d3f78b2735b4f109afe00b265
/usr/lib/debug/.build-id/5f/bf3796886ad39d3f78b2735b4f109afe00b265.debug
/usr/lib/debug/.build-id/6c
/usr/lib/debug/.build-id/6c/ebe44595bb2353442471f2360c3646707b4ae9
/usr/lib/debug/.build-id/6c/ebe44595bb2353442471f2360c3646707b4ae9.debug
/usr/lib/debug/.build-id/72
/usr/lib/debug/.build-id/72/ae07c40314708a77b66ce244b27b366fdaeeea
/usr/lib/debug/.build-id/72/ae07c40314708a77b66ce244b27b366fdaeeea.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/c10dc03d26c0d0fe138f903e3c6a5e0f059402
/usr/lib/debug/.build-id/74/c10dc03d26c0d0fe138f903e3c6a5e0f059402.debug
/usr/lib/debug/.build-id/75
/usr/lib/debug/.build-id/75/2f71f35e15fbba4fab392b25c8ebc8f857e27b
/usr/lib/debug/.build-id/75/2f71f35e15fbba4fab392b25c8ebc8f857e27b.debug
/usr/lib/debug/.build-id/77
/usr/lib/debug/.build-id/77/50f1a315cc712a0154667a3a4a7d97ed05b15f
/usr/lib/debug/.build-id/77/50f1a315cc712a0154667a3a4a7d97ed05b15f.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/125f87da41a985245b6f2cf4fb6e4ea21960c3
/usr/lib/debug/.build-id/7c/125f87da41a985245b6f2cf4fb6e4ea21960c3.debug
/usr/lib/debug/.build-id/7f
/usr/lib/debug/.build-id/7f/2bafd943404e5f5c95575ac843260647730d72
/usr/lib/debug/.build-id/7f/2bafd943404e5f5c95575ac843260647730d72.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/a5476654972a0771c626fcdf3b24016c622a68
/usr/lib/debug/.build-id/84/a5476654972a0771c626fcdf3b24016c622a68.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/5b2c1d9dbd678bf6d504e1f734a4f96cbad6ce
/usr/lib/debug/.build-id/85/5b2c1d9dbd678bf6d504e1f734a4f96cbad6ce.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/9d152ea6b1dce906e65d441ed5829ee4cd68cb
/usr/lib/debug/.build-id/8e/9d152ea6b1dce906e65d441ed5829ee4cd68cb.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/16bba38740e8a45f2010e84d4d84fae378eb53
/usr/lib/debug/.build-id/90/16bba38740e8a45f2010e84d4d84fae378eb53.debug
/usr/lib/debug/.build-id/92
/usr/lib/debug/.build-id/92/ea824119aa1e1648edd9ec7d338ca35837b52a
/usr/lib/debug/.build-id/92/ea824119aa1e1648edd9ec7d338ca35837b52a.debug
/usr/lib/debug/.build-id/93
/usr/lib/debug/.build-id/93/bde159984de18e186d94e5b2c5e10fa6dc39d5
/usr/lib/debug/.build-id/93/bde159984de18e186d94e5b2c5e10fa6dc39d5.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/fb97237c37df01b1f3f95db3ebdb25f1f62e10
/usr/lib/debug/.build-id/96/fb97237c37df01b1f3f95db3ebdb25f1f62e10.debug
/usr/lib/debug/.build-id/9b
/usr/lib/debug/.build-id/9b/f81c0e992b3fdce155066e82988557d81f3399
/usr/lib/debug/.build-id/9b/f81c0e992b3fdce155066e82988557d81f3399.debug
/usr/lib/debug/.build-id/b7
/usr/lib/debug/.build-id/b7/4e928948871e336b73e0777b472be610397297
/usr/lib/debug/.build-id/b7/4e928948871e336b73e0777b472be610397297.debug
/usr/lib/debug/.build-id/b7/e4c1b944510545e08c1f17af208540e9963786
/usr/lib/debug/.build-id/b7/e4c1b944510545e08c1f17af208540e9963786.debug
/usr/lib/debug/.build-id/b9
/usr/lib/debug/.build-id/b9/c3beb6e5e868c58e58a6de9278ec30b453ac79
/usr/lib/debug/.build-id/b9/c3beb6e5e868c58e58a6de9278ec30b453ac79.debug
/usr/lib/debug/.build-id/bd
/usr/lib/debug/.build-id/bd/428d780b5071de6ae0fcc2ee0807651b80d3f7
/usr/lib/debug/.build-id/bd/428d780b5071de6ae0fcc2ee0807651b80d3f7.debug
/usr/lib/debug/.build-id/bf
/usr/lib/debug/.build-id/bf/3fe65d510b339ea701e7c323d5c1a032a24443
/usr/lib/debug/.build-id/bf/3fe65d510b339ea701e7c323d5c1a032a24443.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/0705958f356879bb5716f14409bb2421aabf28
/usr/lib/debug/.build-id/c2/0705958f356879bb5716f14409bb2421aabf28.debug
/usr/lib/debug/.build-id/c6
/usr/lib/debug/.build-id/c6/2700f5e573e138db863039f84667e7f0d117ff
/usr/lib/debug/.build-id/c6/2700f5e573e138db863039f84667e7f0d117ff.debug
/usr/lib/debug/.build-id/c9
/usr/lib/debug/.build-id/c9/a59841da8285416fbe207121c54411b190ae6d
/usr/lib/debug/.build-id/c9/a59841da8285416fbe207121c54411b190ae6d.debug
/usr/lib/debug/.build-id/d3
/usr/lib/debug/.build-id/d3/1f08247604d0b2be37758dd5fb13bdd9ef29f4
/usr/lib/debug/.build-id/d3/1f08247604d0b2be37758dd5fb13bdd9ef29f4.debug
/usr/lib/debug/.build-id/ea
/usr/lib/debug/.build-id/ea/2eded2f1b5230267510f15e037d93b3f56b596
/usr/lib/debug/.build-id/ea/2eded2f1b5230267510f15e037d93b3f56b596.debug
/usr/lib/debug/.build-id/fc
/usr/lib/debug/.build-id/fc/7f7b8acfaf0988185228fec7ff05229a57ea75
/usr/lib/debug/.build-id/fc/7f7b8acfaf0988185228fec7ff05229a57ea75.debug
/usr/lib/debug/.build-id/fe
/usr/lib/debug/.build-id/fe/862443880d3822e9d228470a4c9a1cf3c2fb93
/usr/lib/debug/.build-id/fe/862443880d3822e9d228470a4c9a1cf3c2fb93.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/frama-c-23.1-1.fc34.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/frama-c-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/bin/frama-c-gui-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/bin/ptests-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/frama-c
/usr/lib/debug/usr/lib64/frama-c/dllframa-c.so-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins
/usr/lib/debug/usr/lib64/frama-c/plugins/gui
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Eva.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/From.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Impact.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Metrics.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Occurrence.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Qed.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Scope.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Security_slicing.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Slicing.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Studia.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Wp.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Aorai.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Callgraph.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Constant_Propagation.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Dive.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/E_ACSL.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Eva.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/From.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Impact.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Inout.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Instantiate.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/LoopAnalysis.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Markdown_report.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Metrics.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Nonterm.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Obfuscator.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Occurrence.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Pdg.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Postdominators.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Print_api.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Qed.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Report.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/RteGen.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Scope.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Security_slicing.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Server.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Slicing.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Sparecode.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Studia.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Users.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Variadic.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Wp.cmxs-23.1-1.fc34.x86_64.debug
/usr/lib/debug/usr/lib64/frama-c/plugins/top/eva_info.cmxs-23.1-1.fc34.x86_64.debug


Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 18 01:57:37 2022