1831409 – FTI: frama-c: frama-c

Bug 1831409 - FTI: frama-c: frama-c

Summary: FTI: frama-c: frama-c

Keywords:
Status:	CLOSED RAWHIDE
Alias:	None
Product:	Fedora
Classification:	Fedora
Component:	frama-c
Sub Component:
Version:	rawhide
Hardware:	Unspecified
OS:	Unspecified
Priority:	unspecified
Severity:	unspecified
Target Milestone:	---
Assignee:	Jerry James
QA Contact:	Fedora Extras Quality Assurance
Docs Contact:
URL:
Whiteboard:
Depends On:
Blocks:	F33FailsToInstall
TreeView+	depends on / blocked

Reported:	2020-05-05 06:00 UTC by Igor Raits
Modified:	2020-05-07 16:40 UTC (History)
CC List:	1 user (show)
Fixed In Version:
Doc Type:	If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed:	2020-05-07 16:40:06 UTC
Type:	---
Embargoed:
Dependent Products:

Attachments	(Terms of Use)

Description Igor Raits 2020-05-05 06:00:04 UTC

Hello,

Your package (frama-c) Fails To Install in Fedora 33:

---
can't install frama-c-20.0-2.fc33.x86_64:
  - nothing provides ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__callback) = 05f106bfa8c02f2eefb8a3e3c18411af needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__bytes) = 772b4012f2db40e66e9c581c84cada7e needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__queue) = 03c7b1e419bb4f4383376912cbd6bf5a needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__printexc) = ed69988976f47e63364ac57d164dda5f needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Cairo) = bd2266e8289b397e4ab45fdc72967f8f needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__char) = 2f2acf8bdbc1a264012f13ea21fa0c4b needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__nativeint) = b4e3a7a1158f02cabeb08cb0c21793e7 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(CamlinternalOO) = dedea9ae821afe9bbc2e9bb926b78def needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__printexc) = 678fbefb5bcbeaeb7afb5ae5ca515b17 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__pervasives) = b21448628d3d122ebdaa9995cac0ba7f needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__bytes) = 6f160e4554ac4fc65dcb567dac770c1b needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__char) = d80ec3dec044dcabdaf3546ec3ca4692 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(CamlinternalOO) = dacfd1f469564fd5ec616ae1bf81f6c9 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__digest) = 60c60a8f614ee08eec5a2f5a733a870e needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__stream) = 1571ee6ad62a0ffc202bec6301bacca2 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__scanf) = e84e0fc8d2ad94705113ca03bfc9de5a needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Str) = c5bcee777d07f9d2f20c78da78387372 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__int64) = 245f7406b24fc324c213f37aeb9bd563 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__set) = 82f5cc8aac133142447f442798e3e68e needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Unix) = ba030e73c9a8a296035219290541184c needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__arg) = 965c9e33adab6e9e8dc021fbfa95558d needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Dynlink) = c6e85eecd953497826b689c46820b1ed needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__gc) = 7fd146e11f52aa63b80f74c58258be74 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__weak) = 566904bc5a0ffe372f2b7937579598cc needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__stack) = b515cb9a8648d069a1e380b3ec573599 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(MenhirLib) = 8104f6c92c2064747d44f3960f4a06e9 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__obj) = 930dac301330b9d6c1d5e7e7c2310683 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__lexing) = e7ce663ca25a827e8cc02172a8f8f6fb needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Dynlink) = 27aabf24ddf129cbf6d78cfa5353a90d needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__digest) = 86a46ee67f616c9e2a28cf8f9057e89c needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__gc) = 88ea814453410dc94978809800d4f5da needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__scanf) = 70e0ba7c9ddc1a8ecb11ae0eee0f2313 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__stack) = e4921211a708a4285a797ff8f01741a1 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__weak) = b8f1a2821001d118c5570770bb7b673f needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Str) = b2619808edfd808b4097e5ec36277e82 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__arrayLabels) = 1d1f7bb853f3aa14d43377b871f03986 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__listLabels) = 683be3036e610dcdee760b7c448f32ed needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__parsing) = 0f8a2f81be75a9e86f670a6fef3a7f30 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__stdLabels) = ab1c96678ff9a88d0720eeb9f1e433af needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__arg) = cb1eaa0d37316e516697f64cadc75f5f needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__int32) = be315a06dd915963aef90cd481c312ac needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__nativeint) = 9c651ab9558916b271b6e657ca96187c needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__pervasives) = a4e6439f19e44d97d49bbd087347b9ec needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(CamlinternalMod) = af94199ed44285f84e5dc816919fab44 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__marshal) = c2ddae800dde5964f2743a87506541ee needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(CamlinternalMod) = c7b4d54e7a5caa93feb83a5618f624fb needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__lazy) = 49ab9a467c5d45c11636487ce2b410f5 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__map) = 3ed208b888965290b89d720efaf17612 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__marshal) = 650ea397c78bf14d75a0fc6cbd264975 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Apron) = 0aae45236cbad39a57476c6f6e7f2216 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Bi_outbuf) = 67b1fd7016634c4607d9d4c4882568a5 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Bi_share) = 63f73b7d8ddf5b50e05b6f69cd9c300a needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Big_int_Z) = fcb482d29cb5d8e568fc2f4f22a7309f needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Box) = 3fdde391cab30773c2228f7d49d7d13d needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Easy_format) = 8e8188a864ee07497f6221b9f38ca5bc needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Findlib) = 67e6fe1ef9892e259c4efb14f0589746 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Graph) = 0c429bf70d9d90146f7ea407995dde7f needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Mpf) = 1a187e436288d694ac043788dab85a82 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Mpfr) = dc817d11714cc69e4124336c23351c0c needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Mpfrf) = dd3ea1c1d32af2ed1ecb79f5fb77fa04 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Mpq) = b5e4d4f90aa2a29b3bbc128dd10f8a5c needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Mpqf) = b1163aade0bc16caa73cc8ce7017f05f needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Mpz) = 8ae9af62bb63f0f382c20a8ee898581e needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Mpzf) = 64b29497b8bd10e97f4818cfdff701cc needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Oct) = 45c8d05ebbcbd1d9e4eb6965f6fd6b90 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Polka) = 80fb52dc9ea58a03d3563a735e0c6baa needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Ppx_deriving_runtime) = 511e8883a1455eb133e6c7617b27ad67 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Ppx_deriving_yojson_runtime) = f48312e26f9a01ece32d52418d6939e3 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Q) = 3cadae05bfd63c15c868c18e8ffd5eb7 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Result) = 45b12a2d053383850294836b6928586b needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__float) = 0a88df599143186ba84eae4f1bd83330 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Stdlib__result) = 9bf2f8ca180cb8a4af558fc27309983b needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Yojson) = 0c4451a985dc17fcc717545be8388453 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Z) = 86f26e9405bfebf07d145852db71a09d needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocaml(Zmq) = ea60a14819257a456776d6a501f3991a needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Apron) = f42233828e68b6735049fe836ea33d1a needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Big_int_Z) = 1e0dc358544a6481ba2a10e4d5c2a5fc needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Box) = 1e44d55e539eae4df04738d7e5a39f13 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Graph) = a1f49c0fb6a9541155297fe9e65c4500 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Mpfr) = 5cafd4ea3a33bcaac033daa875d7f18b needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Mpfrf) = db5fbe31d6e39dc03cb085f521981a95 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Mpqf) = 2cca4f13d9ac866d9e60ad2b51afc90d needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Mpz) = cd9c7aaff167475d0e8971b81d8dbc1a needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Mpzf) = 282ec4f4c4add0f4971c02417d626ede needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Oct) = 95c2451ef68637901627fd64eecc3370 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Polka) = efd55ea9de2bc2ebf8a28160d49b2dd6 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Q) = 380b5463b42b179fdf69ecc79b86bd14 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__float) = 130ed12564ac88f13129232664a0c638 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Stdlib__parsing) = 6cc6af62ef0c74e718bcf92be05fd292 needed by frama-c-20.0-2.fc33.x86_64
  - nothing provides ocamlx(Z) = ec555c299aae5c588dd65306beb24133 needed by frama-c-20.0-2.fc33.x86_64
---

According to a policy for FTBFS/FTI bugs (https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/), your package may be orphaned in 8+ weeks if you won't reply to this bug.

Thanks!

Comment 1 Jerry James 2020-05-07 16:40:06 UTC

Built in Rawhide.

Note You need to log in before you can comment on or make changes to this bug.