Wed, 13 Nov 2019 12:41:45 UTC

Information for RPM frama-c-debuginfo-15.0-8.fc28.x86_64.rpm

ID12760061
Nameframa-c-debuginfo
Version15.0
Release8.fc28
Epoch
Archx86_64
SummaryDebug information for package frama-c
DescriptionThis package provides debug information for package frama-c. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2018-02-07 10:15:40 GMT
Size3450420
f19a66ee1bf33cf45741d8ea3576602d
LicenseLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Buildrootf28-build-11355124-852010
Provides
debuginfo(build-id) = 021c9b6d83bd8c3630ef12f69af6dc78014eb78d
debuginfo(build-id) = 0601edd1928da10e269b3bd3bf97cc6cdba4a4e8
debuginfo(build-id) = 099369aa2af09c5b76b1cee36a57d29b2e450327
debuginfo(build-id) = 12a656070c24c0af86486f1779022130070c67bd
debuginfo(build-id) = 131807641e50244a4fa45a7f4cf74535c3777a83
debuginfo(build-id) = 16dab67df18f48a22dbc7322257fdddf51490267
debuginfo(build-id) = 1c9aea239b74c461b29ab52fcda8704c3e74c254
debuginfo(build-id) = 2027afc0aa98293318790c2fddbbc5f014e160bb
debuginfo(build-id) = 212dad36ea13f7ca2c87bc4a2566d0935e2ea996
debuginfo(build-id) = 2c9e938da4f9283615bf2db55e4fc21ee7aca2f0
debuginfo(build-id) = 2e209d63307d0426dba320b818c74a65c742a218
debuginfo(build-id) = 2e5b326fcf159ad4dd4ba38524abea02536a15e2
debuginfo(build-id) = 312d80422ba6bddee63e354accdb3f02940b31a4
debuginfo(build-id) = 327d6d09d5007a797feb47fd3eb067646db57504
debuginfo(build-id) = 3426f638a36845328598ad3c993bc531b879ba5a
debuginfo(build-id) = 3526c80ac7b918748a4a940d7c3aea6b32b51be8
debuginfo(build-id) = 442d49141512b569bcf41e92948a75b3f4aba389
debuginfo(build-id) = 4d668f6819c195ba2a563640ff8df5c737267045
debuginfo(build-id) = 4fce6af3cf20b06386feaa5fac5e8546a7721b15
debuginfo(build-id) = 53395dfae69d8e22451157f95d4d6f7f0d4eb30c
debuginfo(build-id) = 59c88cf1921cf39afa8031741d37c1d17c71b541
debuginfo(build-id) = 5bb9a4e0ed1dfc6c6c20ecc4de3e6fb7d03d9a66
debuginfo(build-id) = 5ed228f43a3780805af6b8d9d7182da6847a8475
debuginfo(build-id) = 655ab09deaa573a62a1de1daf9c1580136412d1e
debuginfo(build-id) = 6c6eff18288d499a76c63f23fe6b70e1e1786972
debuginfo(build-id) = 72416bf744c587d7267a481e62e6ac7ef9a8bda2
debuginfo(build-id) = 8c82c785ab153bc51c6aaadca08c177c31d248ce
debuginfo(build-id) = 952333a5c0088af6635ac0ccc9a70e04bfd4ff3d
debuginfo(build-id) = aac0626c9b3252480f8f0f621482213da2af69a8
debuginfo(build-id) = b6bd10ddebfa9fb29042009bc39c99d6ede0da1c
debuginfo(build-id) = b77f616402f6dea8e43d48491efc3cdbd4d004e5
debuginfo(build-id) = b813c4f580cc9cbecf39bf8eb2b3439281352c94
debuginfo(build-id) = b94f81a2928a96f06e8420b448db0d651eb15908
debuginfo(build-id) = c50415cc5e9b07a0b69cda71da264beed57d4764
debuginfo(build-id) = cdb0fbb8089bd884847718213755260cb937956f
debuginfo(build-id) = cfe74b60b8efd8cff45023e542d71a0d68d10940
debuginfo(build-id) = d15edc971236161ae8b2dd7037790bba61c35957
debuginfo(build-id) = d1de3c8201b3dfc8f52909fa06d7331ca1ee118f
debuginfo(build-id) = e0daca8e406e75df0265381bf59642662877b392
debuginfo(build-id) = ed984d324b199a14a08360ac9c6d6e8c2ef5240c
debuginfo(build-id) = fd01fe510f4635af01c0353027adac5219711497
frama-c-debuginfo = 15.0-8.fc28
frama-c-debuginfo(x86-64) = 15.0-8.fc28
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends
frama-c-debugsource(x86-64) = 15.0-8.fc28
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 171 >>>
Name descending sort Size
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Wp.cmxs-15.0-8.fc28.x86_64.debug1613792
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Variadic.cmxs-15.0-8.fc28.x86_64.debug114488
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Value.cmxs-15.0-8.fc28.x86_64.debug870216
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Users.cmxs-15.0-8.fc28.x86_64.debug22544
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Sparecode.cmxs-15.0-8.fc28.x86_64.debug64184
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Slicing.cmxs-15.0-8.fc28.x86_64.debug228016
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Security_slicing.cmxs-15.0-8.fc28.x86_64.debug32728
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Scope.cmxs-15.0-8.fc28.x86_64.debug62672
/usr/lib/debug/usr/lib64/frama-c/plugins/top/RteGen.cmxs-15.0-8.fc28.x86_64.debug56712
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Report.cmxs-15.0-8.fc28.x86_64.debug51184
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Print_api.cmxs-15.0-8.fc28.x86_64.debug41552
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Postdominators.cmxs-15.0-8.fc28.x86_64.debug36400
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Pdg.cmxs-15.0-8.fc28.x86_64.debug98288
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Occurrence.cmxs-15.0-8.fc28.x86_64.debug32544
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Obfuscator.cmxs-15.0-8.fc28.x86_64.debug52336
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Nonterm.cmxs-15.0-8.fc28.x86_64.debug38488
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Metrics.cmxs-15.0-8.fc28.x86_64.debug228080
/usr/lib/debug/usr/lib64/frama-c/plugins/top/LoopAnalysis.cmxs-15.0-8.fc28.x86_64.debug71456
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Inout.cmxs-15.0-8.fc28.x86_64.debug87416
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Impact.cmxs-15.0-8.fc28.x86_64.debug82168
/usr/lib/debug/usr/lib64/frama-c/plugins/top/From.cmxs-15.0-8.fc28.x86_64.debug58192
/usr/lib/debug/usr/lib64/frama-c/plugins/top/E_ACSL.cmxs-15.0-8.fc28.x86_64.debug223712
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Constant_Propagation.cmxs-15.0-8.fc28.x86_64.debug41864
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Callgraph.cmxs-15.0-8.fc28.x86_64.debug38672
/usr/lib/debug/usr/lib64/frama-c/plugins/top/Aorai.cmxs-15.0-8.fc28.x86_64.debug377000
/usr/lib/debug/usr/lib64/frama-c/plugins/top0
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Wp.cmxs-15.0-8.fc28.x86_64.debug1785064
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Value.cmxs-15.0-8.fc28.x86_64.debug940824
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Slicing.cmxs-15.0-8.fc28.x86_64.debug251192
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Security_slicing.cmxs-15.0-8.fc28.x86_64.debug36864
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Scope.cmxs-15.0-8.fc28.x86_64.debug82624
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Occurrence.cmxs-15.0-8.fc28.x86_64.debug42376
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Metrics.cmxs-15.0-8.fc28.x86_64.debug246264
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Impact.cmxs-15.0-8.fc28.x86_64.debug100208
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/From.cmxs-15.0-8.fc28.x86_64.debug60184
/usr/lib/debug/usr/lib64/frama-c/plugins/gui/Callgraph.cmxs-15.0-8.fc28.x86_64.debug44736
/usr/lib/debug/usr/lib64/frama-c/plugins/gui0
/usr/lib/debug/usr/lib64/frama-c/plugins0
/usr/lib/debug/usr/lib64/frama-c0
/usr/lib/debug/usr/lib640
/usr/lib/debug/usr/bin/ptests-15.0-8.fc28.x86_64.debug330632
/usr/lib/debug/usr/bin/frama-c-gui-15.0-8.fc28.x86_64.debug5286152
/usr/lib/debug/usr/bin/frama-c-config-15.0-8.fc28.x86_64.debug209336
/usr/lib/debug/usr/bin/frama-c-15.0-8.fc28.x86_64.debug3939792
/usr/lib/debug/usr/bin0
/usr/lib/debug/usr0
/usr/lib/debug/.dwz/frama-c-15.0-8.fc28.x86_649655
/usr/lib/debug/.dwz0
/usr/lib/debug/.build-id/fd/01fe510f4635af01c0353027adac5219711497.debug99
/usr/lib/debug/.build-id/fd/01fe510f4635af01c0353027adac521971149760
Component of No Buildroots