معرفی شرکت ها

why3-1.5.1-6.fc38.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Software verification platform
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته why3
نام فایل بسته why3-1.5.1-6.fc38.x86_64.rpm
نسخه بسته 1.5.1
انتشار بسته 6.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 11
هاست سازنده buildhw-x86-14.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 14M
حجم نصب 48.986M
Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.


جایگزین ها

بسته نسخه معماری مخزن
why3-1.5.1-6.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-1.5.1-6.fc38.src.rpm 1.5.1 x86_64 Fedora Everything
why3-1.5.1-8.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-1.5.1-8.fc38.src.rpm 1.5.1 x86_64 Fedora Everything
why3-1.5.1-8.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-all-1.5.1-6.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-all-1.5.1-6.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-all-1.5.1-8.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-all-1.5.1-8.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debuginfo-1.5.1-6.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debuginfo-1.5.1-6.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debuginfo-1.5.1-8.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debuginfo-1.5.1-8.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debugsource-1.5.1-6.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debugsource-1.5.1-6.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debugsource-1.5.1-8.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debugsource-1.5.1-8.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-emacs-1.5.1-6.fc38.noarch.rpm 1.5.1 noarch Fedora Everything
why3-emacs-1.5.1-8.fc38.noarch.rpm 1.5.1 noarch Fedora Everything
why3-examples-1.5.1-6.fc38.noarch.rpm 1.5.1 noarch Fedora Everything
why3-examples-1.5.1-8.fc38.noarch.rpm 1.5.1 noarch Fedora Everything
why3-proofgeneral-1.5.1-6.fc38.noarch.rpm 1.5.1 noarch Fedora Everything
why3-proofgeneral-1.5.1-8.fc38.noarch.rpm 1.5.1 noarch Fedora Everything


نیازمندی

مقدار نام
- /usr/bin/sh
- gtksourceview3(x86-64)
- hicolor-icon-theme
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.10)(64bit)
- libc.so.6(GLIBC_2.11)(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.15)(64bit)
- libc.so.6(GLIBC_2.16)(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.28)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.3.2)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.32)(64bit)
- libc.so.6(GLIBC_2.33)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- libc.so.6(GLIBC_2.9)(64bit)
- libcairo.so.2()(64bit)
- libgdk-3.so.0()(64bit)
- libgdk_pixbuf-2.0.so.0()(64bit)
- libglib-2.0.so.0()(64bit)
- libgobject-2.0.so.0()(64bit)
- libgtk-3.so.0()(64bit)
- libgtksourceview-3.0.so.1()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libm.so.6(GLIBC_2.35)(64bit)
- libmpfr.so.6()(64bit)
- libpango-1.0.so.0()(64bit)
- libz.so.1()(64bit)
= 00edc3e526b6239e9ad4c9319eaaabd5 ocaml(AcyclicGraph)
= 3bf67d1381824155797389de8a32d728 ocaml(CArray)
= b49a9e05558d074ce2420f1481d80d8a ocaml(CAst)
= a0c286baa9a2b79d6bec187ce25083a3 ocaml(CDebug)
= 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CEphemeron)
= a742212da585b925999bb1e9c57f8886 ocaml(CList)
= cbcf10800400dde7f75cbc0cc6a0a739 ocaml(CMap)
= 98ddda2b8661651d0ac1c4d2f3adc78a ocaml(CPrimitives)
= 10548a97a94e3c63dea0f824f53da608 ocaml(CSet)
= 93d511bb9f97d6117a9dba3706ab0743 ocaml(CSig)
= f53fe8692b6d16ecf125c5433c67ee1d ocaml(CString)
= 59f179ae315fc18388551aa9972e0dfc ocaml(CUnix)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalLazy)
= 9ca352bce78df900bce25f5e83b3e3ec ocaml(Constr)
= 233f361cbf25095b743d2afa636ee001 ocaml(Context)
= a9dd31ebef4b0f31606274cf6690f783 ocaml(Conv_oracle)
= c511194cd3d1c75d0ec51fe57d5c4b93 ocaml(Cooking)
= af077788df86ae3c100cb12d0e433100 ocaml(Declarations)
= 81958cbbb97b08eb74f21205ecbe734b ocaml(Environ)
= 746f3c41caf469b8602bbc0673a9de61 ocaml(Esubst)
= 156cdf64bb05c4ab0c4051f998dfab52 ocaml(Evar)
= 766d613c58c5e25783f49ff1e5b36922 ocaml(Exninfo)
= 712fa5d21be885f62f4afb0c1b2e620e ocaml(Float64)
= 04171b8e413a80692dcbea1031ff4542 ocaml(Hashcons)
= b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hashset)
= c638a3a3a3350b9a3cd3aecfc1548b44 ocaml(Int)
= de5fd01aaa49ae97f2332d9b30807adc ocaml(Loc)
= b56a185b9f7bb6f0f0f519c06bf981db ocaml(Mod_subst)
= 49342884abaa82c6937e426ec2bd2f58 ocaml(NCoq_Arith_Arith_prebase)
= edee5881ef17d727e3ee1030d7a1e5d2 ocaml(NCoq_Arith_Factorial)
= 3922c4f429b4350bba2dd2dab23b5b5a ocaml(NCoq_Arith_PeanoNat)
= 0804aef187ec6ef5a4c6bc88c0a4973b ocaml(NCoq_Bool_Bool)
= fc9b453d17fb7684a52a0ace0e56fbf7 ocaml(NCoq_Bool_Bvector)
= d2613c6f687e37311723c347656b1afa ocaml(NCoq_Bool_Sumbool)
= 6b266a73e315469f08ebc542bf8746e8 ocaml(NCoq_Classes_Morphisms)
= c52138961674f9ee5fab86bc21830c4a ocaml(NCoq_Classes_Morphisms_Prop)
= 03470792223f41943cca775a8537bcad ocaml(NCoq_Classes_RelationClasses)
= 9a5e5f319332f1aab08117fc52822560 ocaml(NCoq_Floats_FloatClass)
= 18edf3f67606ec5d149da16e9c2c1dcc ocaml(NCoq_Floats_SpecFloat)
= 7dff06490587ae72d8c480e28d0792c8 ocaml(NCoq_Init_Datatypes)
= 0091886e0df87b48c1b71a630733d322 ocaml(NCoq_Init_Decimal)
= 48f69a780f3ab731bfd5fd9892b611dc ocaml(NCoq_Init_Hexadecimal)
= 8d49d9267163e6178eb2130b0afa5363 ocaml(NCoq_Init_Logic)
= ba503b0fd72b1b323ac75b26585630aa ocaml(NCoq_Init_Nat)
= cd525699ffce1c8a6f907027bb87d10f ocaml(NCoq_Init_Number)
= 67f231ba5cf8725357b5682f1d4ed41b ocaml(NCoq_Init_Peano)
= 6ee28c2862fc7fd46a5168a9f874140a ocaml(NCoq_Init_Specif)
= 5bca515f37535f096c090facf9f2ee7b ocaml(NCoq_Init_Wf)
= f0f59ccc11cabe932e06f5bc97cf054c ocaml(NCoq_Lists_List)
= db6c012b8f82c2c8a04251ad442be755 ocaml(NCoq_Logic_ClassicalEpsilon)
= d014d8a7617cce07faeac7a778ef66c6 ocaml(NCoq_NArith_BinNat)
= f68e6acf6ffb202993bf722adf5f5260 ocaml(NCoq_Numbers_BinNums)
= 567a8354cd285d3669d47d582c454eca ocaml(NCoq_PArith_BinPos)
= 819299f98ae3fdc97e4a9a2c9609ffae ocaml(NCoq_Program_Basics)
= e89b31eaa6e00a18da0fbd5d08938402 ocaml(NCoq_QArith_QArith_base)
= 4a3dc52bf2666912d7d251574a7b8367 ocaml(NCoq_QArith_Qabs)
= 648dbc98464b2098597c04a9e931ceff ocaml(NCoq_QArith_Qreduction)
= b40922aa694cb517278c619534d861c9 ocaml(NCoq_Reals_Alembert)
= 3bc9cae9c5f4257f9935585d0566e119 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals)
= d0cfbe899abd4907c1c20c02ebd67b98 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult)
= 416b35c7119a55b95616d5ab474212b9 ocaml(NCoq_Reals_Cauchy_QExtra)
= e17d1e4cd82578c36d0c8b465e5d0fcc ocaml(NCoq_Reals_RIneq)
= 0ef21d135ce5620dcdffd8943721e056 ocaml(NCoq_Reals_R_sqrt)
= 8717e5ba29c58e18675aa9d4441687b9 ocaml(NCoq_Reals_Raxioms)
= d7937acd1fa489b5786486500a1c33c7 ocaml(NCoq_Reals_Rbasic_fun)
= f36e6fdcfa9a0e339578e20a9f5db7d3 ocaml(NCoq_Reals_Rdefinitions)
= bee964dae118e2f605da619804d4e408 ocaml(NCoq_Reals_Rfunctions)
= 08d14df826ae8289b86b0107fb9c36d6 ocaml(NCoq_Reals_Rpow_def)
= 8767217ef0eaef18c23c7865242cf7ba ocaml(NCoq_Reals_Rpower)
= f42bf05072ae26906298ececd08c0f21 ocaml(NCoq_Reals_Rsqrt_def)
= c17a6892fc43af795a51e11b6790caaa ocaml(NCoq_Reals_Rtrigo_def)
= c1ae23fc6d3a0c86eda15d3db1b1fd77 ocaml(NCoq_Reals_Rtrigo_fun)
= 50d48e86dd918045ba6710f690346c4e ocaml(NCoq_Relations_Relation_Definitions)
= e653cee5a401486b918c1d13e4ee646c ocaml(NCoq_Structures_OrdersTac)
= 8d193a819ec215c739e0ddb3eb67dac0 ocaml(NCoq_Vectors_Fin)
= 8a037daf65f727aba5e0d9e9eadc52e4 ocaml(NCoq_Vectors_Vector)
= 9f6d22a11bcb96c8600f9e25305c5e6c ocaml(NCoq_Vectors_VectorDef)
= d009e51dbc856ed50a95419b1c65a06a ocaml(NCoq_Vectors_VectorEq)
= 35943b2857fea55b68a994bc40682d1e ocaml(NCoq_Vectors_VectorSpec)
= 75a2ff407fbbc12c0021cf14b6cb0f4a ocaml(NCoq_ZArith_BinInt)
= 127ab251d986c70c3d6131d06396afd8 ocaml(NCoq_ZArith_ZArith_dec)
= 3c79cf9f91dd9622e786c53f032964e0 ocaml(NCoq_ZArith_Zbool)
= 62d38b4a4e33dc0f927bb81a7f738a3e ocaml(NCoq_ZArith_Zeven)
= e6a528fc72a76ccc4ceb24d48ae0dfd1 ocaml(NCoq_ZArith_Znat)
= 2404fff785da3403be59e3b5070915a7 ocaml(NCoq_ZArith_Zpower)
= 6b85b253533d9c96b7b96cbbf6e15a26 ocaml(NCoq_setoid_ring_Ring_theory)
= e0214f692ecd93d4c63ec81c9a68b962 ocaml(NFlocq_Calc_Bracket)
= 287d8ef36befd07a6aec3ba1b7c54b74 ocaml(NFlocq_Calc_Operations)
= 7c2bcdd8433b018527e07f973e03b2e3 ocaml(NFlocq_Calc_Round)
= 08cd9b47bf7c432525e394f63175cafe ocaml(NFlocq_Core_Defs)
= 3e3ce226aa583a7f62c6933c79a9587d ocaml(NFlocq_Core_Digits)
= 67d75cf34e0a21bb4933d4ede0c59ebd ocaml(NFlocq_Core_FIX)
= 8cdb39a38fe4b22eb6dfd1f6cc35ec2e ocaml(NFlocq_Core_FLT)
= 2410b3af617d927dd58d0b601b84c8bc ocaml(NFlocq_Core_Generic_fmt)
= 34b3cbbefcc8082bfc2aa9bd75cb8316 ocaml(NFlocq_Core_Raux)
= 1331b523bdf9decaac86604d1dd39bbf ocaml(NFlocq_Core_Zaux)
= 46899ffb3587d90f885924e83c397f1b ocaml(NFlocq_IEEE754_BinarySingleNaN)
= 09dc3913cac4303ae47a5d415efc4baf ocaml(NWhy3_BuiltIn)
= af7fd281cc98a27daf1f4f03d32ca276 ocaml(NWhy3_floating_point_GenFloat)
= 697c96b5f911b8ddf3cfa75b8be86c10 ocaml(NWhy3_floating_point_Rounding)
= dbe1980d466b3e6266785726fa8550b8 ocaml(NWhy3_ieee_float_GenericFloat)
= aa5d6009c5b1b94d42c626bb3b49e8e8 ocaml(NWhy3_ieee_float_RoundingMode)
= 9c8f6b00ccf660e8082c0ebd1a7bf35a ocaml(NWhy3_int_EuclideanDivision)
= 3f3551ab130e96e618bb495d843f5222 ocaml(NWhy3_list_NumOcc)
= 0b548d781ba1f710bed5417c83ad4620 ocaml(NWhy3_map_Map)
= d21c2e070dfe6e115e34014b0e79e1fb ocaml(NWhy3_map_Occ)
= 8c292c13a6c936b2effc962d36ad8888 ocaml(NWhy3_set_Cardinal)
= 5b5eb20e8104260cad3b7fac01f4248e ocaml(NWhy3_set_Fset)
= 7bfda67a3d2503771ad9f8844d1c1a74 ocaml(NWhy3_set_Set)
= 0b6c349e44c595f40356f60ca49fa766 ocaml(Names)
= 02dbeca2f7bfac8ee80f221d7d1bcb8a ocaml(Nativecode)
= 60d8b9f9f4561c30226973b77f29c919 ocaml(Nativeconv)
= 219578857e7b319faa4d145a4fa5ff68 ocaml(Nativelambda)
= 7b23ee7251439aa612f59354c020ea67 ocaml(Nativelib)
= 151356e5f71c48ba131e257d7b5d6b0e ocaml(Nativevalues)
= b1745fe14cd37c212d34eea094f1b8df ocaml(Opaqueproof)
= 3587b91abccbee918d16a0ecc7071866 ocaml(Parray)
= b42c7d685f7cf8e56cb9e5cb72b082aa ocaml(Pp)
= e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Predicate)
= 346d147227354e938de6b932d04d6b3d ocaml(Range)
= 3523f631320a31383fd961d753a8e437 ocaml(Reduction)
= 921f47b24ba103d9c6a00670a3a8a6c8 ocaml(Retroknowledge)
= 3aeff8b2ebba7f5453fc613375ce0644 ocaml(Rtree)
= e73c70ce289f5c49f0cf7f5a0ceeefc2 ocaml(Sorts)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Array)
= 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Bigarray)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Complex)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Format)
= a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int32)
= 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Int64)
= 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lazy)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Map)
= 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Obj)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Set)
= 510a78f010f6c530a911189d7538d002 ocaml(Stdlib__Stream)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= c1500a859572f47c5adeb740fbcebf6b ocaml(Term)
= 1dab58426370af71f458b92a6fb5ef06 ocaml(TransparentState)
= bd28bddd5c33ca5c1a5f9f43f907e5da ocaml(UGraph)
= 5150bcb618feddc1f891db28ba2fa04b ocaml(Uint63)
= 6feb5ec642e4daf30a0944e888214cea ocaml(Univ)
= 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Unix)
= 46a1f0249bfbf29202e10de25200d4ea ocaml(Util)
= 88733f1084158f9273bb318495213675 ocaml(Vmbytecodes)
= 2ee3a68ca9992bc9e1f6aeb9e6e33af6 ocaml(Vmemitcodes)
= 6cfd8f0d13168b127ebed3d4375b15c3 ocaml(Vmvalues)
= 0573444d7d158417dbd5f4f46081e73b ocamlx(CamlinternalLazy)
= 45329762b8adf278295c6f273d9bfdbe ocamlx(NCoq_Arith_PeanoNat)
= 1f993fa6a7728d4b28fa15bc4d731358 ocamlx(NCoq_Bool_Bool)
= e9987ca544d018da02e3d0af10c6da3a ocamlx(NCoq_Bool_Bvector)
= 01cf8e2922f2a5371a5c0df4a577443e ocamlx(NCoq_Classes_Morphisms)
= c0cf23e2dbd0d844ce7ffae520f7b6e5 ocamlx(NCoq_Classes_Morphisms_Prop)
= 48fa17d9f99bd99d602c8199c87d749a ocamlx(NCoq_Classes_RelationClasses)
= 48bef1774c24de06f4788df1cc458a22 ocamlx(NCoq_Init_Datatypes)
= 0f42f274405f8931bcd744b7479f9d9d ocamlx(NCoq_Init_Logic)
= d1b22dbf125594d15c039763555e44fd ocamlx(NCoq_Init_Nat)
= 936218c3d5d1b29715be0703a1f8c140 ocamlx(NCoq_Init_Peano)
= 3b73ff2cf90a49f6a96088e51cab2ae6 ocamlx(NCoq_Init_Specif)
= 1df58dc8f3254487ae4b572d841cab42 ocamlx(NCoq_Lists_List)
= 5a15914a9002b1c1ad1cc4365e3fd2ef ocamlx(NCoq_Logic_ClassicalEpsilon)
= 8add6981da76a4e4049478832940e033 ocamlx(NCoq_Numbers_BinNums)
= 3128d0965efc9c3922a2768691979019 ocamlx(NCoq_PArith_BinPos)
= b5bacab41ebee12e582641208b3804c2 ocamlx(NCoq_Reals_Rbasic_fun)
= 6250c86ce1ae948d89e2d38750933a81 ocamlx(NCoq_Reals_Rdefinitions)
= 09746c1708cc34b221f84d74c69c2e28 ocamlx(NCoq_Reals_Rpower)
= 6bd28d1273c8d7f33e3f59a1207049ea ocamlx(NCoq_Vectors_Vector)
= beb16bfad8352a59c2e71b3805cd02ee ocamlx(NCoq_ZArith_BinInt)
= c400cd47f09d60e1acc1c6d92923b094 ocamlx(NCoq_ZArith_ZArith_dec)
= b987e292cf3ccb13995721ccf9216174 ocamlx(NCoq_ZArith_Zbool)
= a07754735f4ae25357c27b5f311f1e95 ocamlx(NCoq_ZArith_Zpower)
= bafb01d40c4dfb7df787bab4600cbe19 ocamlx(NFlocq_Core_Defs)
= e55966b1ac2036934dfe903c02e1f3e5 ocamlx(NFlocq_Core_FLT)
= 5657720b0273057c4294f761ae27d935 ocamlx(NFlocq_Core_Generic_fmt)
= 7f8798a9ca1480885baa246d5781a16f ocamlx(NFlocq_Core_Raux)
= 3c75459b8113c42b755ef00165c5efe3 ocamlx(NFlocq_Core_Zaux)
= 9afee01125f062cf1d547f2b1762f608 ocamlx(NFlocq_IEEE754_BinarySingleNaN)
= 9bef77e699a804ddcdb0fd2e9f073ec4 ocamlx(NWhy3_BuiltIn)
= feda756c3c27122c9a9f221ee874729e ocamlx(NWhy3_floating_point_GenFloat)
= 76bdd755019b7062c8e29902c15d10d2 ocamlx(NWhy3_ieee_float_GenericFloat)
= 00ff21fb600a04eb1837ed65c7febd28 ocamlx(NWhy3_int_EuclideanDivision)
= 1b76fc08d55153fa4e5d52d9b3957f04 ocamlx(NWhy3_list_NumOcc)
= e82fd9c62fbc9dcff9a6b1c49fa2ab40 ocamlx(NWhy3_map_Map)
= 81c39e95a1a538a9c767683a2643fb1d ocamlx(NWhy3_map_Occ)
= abe4e6083609da410c87042b414d0bee ocamlx(NWhy3_set_Cardinal)
= 3b958bec49cc79e9c0eaaa9b8a9bb6af ocamlx(NWhy3_set_Fset)
= b96de663a2d7d64d12719e1c3f8d1600 ocamlx(NWhy3_set_Set)
= 378132e12cd0ddc62cbb443b2537e37f ocamlx(Nativecode)
= b733ab24883fab6226ad7bb0280e587b ocamlx(Nativevalues)
- rtld(GNU_HASH)
- texlive-base(x86-64)
- vim-filesystem


ارائه دهنده

مقدار نام
- application()
- application(fr.lri.why3.desktop)
- bundled(js-jquery)
- metainfo()
- metainfo(fr.lri.why3.metainfo.xml)
= 09dc3913cac4303ae47a5d415efc4baf ocaml(NWhy3_BuiltIn)
= 7534f360a36a0fb004556c4bd3e02a6c ocaml(NWhy3_HighOrd)
= 13f212ae5f6896f59d8002eea963c29f ocaml(NWhy3_bool_Bool)
= 50218438d949695f89874eb77fe893b0 ocaml(NWhy3_bv_BV_Gen)
= dd76e18d96d2b30aebe320f7da886ecb ocaml(NWhy3_bv_Pow2int)
= 1f509e8550cac747e6d0efbe87beb970 ocaml(NWhy3_floating_point_Double)
= e98a1d58373e1ecb4d0bdfefc5881c6e ocaml(NWhy3_floating_point_DoubleFormat)
= af7fd281cc98a27daf1f4f03d32ca276 ocaml(NWhy3_floating_point_GenFloat)
= 697c96b5f911b8ddf3cfa75b8be86c10 ocaml(NWhy3_floating_point_Rounding)
= df31c30236d0a74bec24947fb1fdca09 ocaml(NWhy3_floating_point_Single)
= 5708d180dcd8fc431c78126755246182 ocaml(NWhy3_floating_point_SingleFormat)
= 2a500eaf85232e8f30f0dcef5c92cb1c ocaml(NWhy3_for_drivers_ComputerOfEuclideanDivision)
= 8479669e4eaecb5eff7a7dc7cc31bd60 ocaml(NWhy3_ieee_float_Float32)
= 431edc7482bbcdb1130e96335d9538d5 ocaml(NWhy3_ieee_float_Float64)
= dbe1980d466b3e6266785726fa8550b8 ocaml(NWhy3_ieee_float_GenericFloat)
= aa5d6009c5b1b94d42c626bb3b49e8e8 ocaml(NWhy3_ieee_float_RoundingMode)
= 434a5761d2c002dbb50f933d8dee9a3b ocaml(NWhy3_int_Abs)
= 2f7636e0f89dfc1b297e5b6580d93f2d ocaml(NWhy3_int_ComputerDivision)
= 5c574ab14a87575752a343b7bff1d0f4 ocaml(NWhy3_int_Div2)
= 9c8f6b00ccf660e8082c0ebd1a7bf35a ocaml(NWhy3_int_EuclideanDivision)
= aaab6d0cec73830300538803650d4f14 ocaml(NWhy3_int_Exponentiation)
= b9fcbdfa122e53dc1764cb103dceb29d ocaml(NWhy3_int_Int)
= 7494902b1064bd2d6400ed43292046f1 ocaml(NWhy3_int_MinMax)
= f64309eb5b119566e960e3a9bb207378 ocaml(NWhy3_int_NumOf)
= d7eec04bbae0c7146c7dd3e754194110 ocaml(NWhy3_int_Power)
= 2b62ed22a164dbb3f6845e2d7f10c12a ocaml(NWhy3_list_Append)
= 1474cd24df5106dbc8965c59b29fcdd2 ocaml(NWhy3_list_Combine)
= 1f5b58a2d0d2ee02b54e9ca5a62dc110 ocaml(NWhy3_list_Distinct)
= 6c93f9a8b3e6cb3e15b959b53a3fa3bb ocaml(NWhy3_list_HdTl)
= 49c8f695728ada55e7770ff2e1e1d65e ocaml(NWhy3_list_HdTlNoOpt)
= 848850d911d729ad754577d6220b8fc6 ocaml(NWhy3_list_Length)
= a0856199a10516a5fdcefdf47ac6579e ocaml(NWhy3_list_List)
= cf5c3a8b3a9dbb631f57581288217fc8 ocaml(NWhy3_list_Mem)
= ae52bb1aef19e24627ab05ab830e8622 ocaml(NWhy3_list_Nth)
= d057d825235067e115a18815b429d445 ocaml(NWhy3_list_NthHdTl)
= f276db702ad106dc673aed05b0693c66 ocaml(NWhy3_list_NthLength)
= 465e65dbd5649b9792f6742a0039a0bf ocaml(NWhy3_list_NthLengthAppend)
= 8df0ccf93c55e0eb8159331fcd5d3c21 ocaml(NWhy3_list_NthNoOpt)
= 3f3551ab130e96e618bb495d843f5222 ocaml(NWhy3_list_NumOcc)
= 483f110f3d551545d436cfd3bcbd2ebd ocaml(NWhy3_list_Permut)
= 1adb3d003bc27a25d11eba9bc6b370f1 ocaml(NWhy3_list_RevAppend)
= 18331142e0abcb70aa0b996e2eab392d ocaml(NWhy3_list_Reverse)
= 792e0086e68c81c31da0ef06b25599f8 ocaml(NWhy3_map_Const)
= 0b548d781ba1f710bed5417c83ad4620 ocaml(NWhy3_map_Map)
= 171e3c7b3b0c614917b9bb36a016923a ocaml(NWhy3_map_MapInjection)
= 88af5f140bb60afe6941f8dfd519aed0 ocaml(NWhy3_map_MapPermut)
= d21c2e070dfe6e115e34014b0e79e1fb ocaml(NWhy3_map_Occ)
= 996fc66dadd005449225b6662568585c ocaml(NWhy3_number_Coprime)
= 0d9544e9908a6c2bcab53f30e4a34305 ocaml(NWhy3_number_Divisibility)
= 6cbd45f00f3eba5d624e9b88ecd6fc02 ocaml(NWhy3_number_Gcd)
= 86b6f51fc13e1c9702079a4aeaae219c ocaml(NWhy3_number_Parity)
= 27fac9d99bc140a10bc3a11a310efa88 ocaml(NWhy3_number_Prime)
= 2de2baf43a716123750b855b5aaac4a3 ocaml(NWhy3_option_Option)
= 11e4366c7060ef5e60e01d82ae3f92d9 ocaml(NWhy3_real_Abs)
= 61ccbdf6cd6ac0d4884ae6f355c0ca82 ocaml(NWhy3_real_ExpLog)
= 96102eedc8a1486c92bb03701355ed47 ocaml(NWhy3_real_FromInt)
= 36ecc648941e4d3d06bf442f27b7b7c5 ocaml(NWhy3_real_MinMax)
= 2f1eb17f573bb8c205ad007520e6f2f2 ocaml(NWhy3_real_PowerInt)
= 77947197b539686f664b17fd8b0f7d8b ocaml(NWhy3_real_PowerReal)
= d60967303ba61ac48880919db81024c2 ocaml(NWhy3_real_Real)
= a651104e580022b240ca6faaac07e817 ocaml(NWhy3_real_RealInfix)
= 71e4490fdfae58e56197a458e5b289e3 ocaml(NWhy3_real_Square)
= 1b31d06f8d8c0c62d76a90a631d02b70 ocaml(NWhy3_real_Trigonometry)
= a2b929cf409e796ae7f44f1d69591bb3 ocaml(NWhy3_real_Truncate)
= 8c292c13a6c936b2effc962d36ad8888 ocaml(NWhy3_set_Cardinal)
= 5b5eb20e8104260cad3b7fac01f4248e ocaml(NWhy3_set_Fset)
= 8b59f4ffd04ebb627dc1192f7bd1796c ocaml(NWhy3_set_FsetInduction)
= 652fb688c0298d4778d73c0e5185e77d ocaml(NWhy3_set_FsetInt)
= 61cb70d31554a67df8c2abc84823c43a ocaml(NWhy3_set_FsetSum)
= 7bfda67a3d2503771ad9f8844d1c1a74 ocaml(NWhy3_set_Set)
= ecdfae1767dfbaa7e14c76c914d2d39f ocaml(NWhy3_set_SetApp)
= 4c69a798f240a8a95f36a76a502684e5 ocaml(NWhy3_set_SetAppInt)
= 7c0d0eeb0b8614c63e150c8aa0ba2487 ocaml(NWhy3_set_SetImp)
= de90443fa8f6f8db29662680f1ab0ae7 ocaml(NWhy3_set_SetImpInt)
= 9bef77e699a804ddcdb0fd2e9f073ec4 ocamlx(NWhy3_BuiltIn)
= ae6dfda4596650e8c500a9bc18a151df ocamlx(NWhy3_HighOrd)
= 431a2ce13d7ac4ebf455bce7187757b1 ocamlx(NWhy3_bool_Bool)
= 0da15e6efedb21deac7e42461ebaf2ce ocamlx(NWhy3_bv_BV_Gen)
= ad11733f6a1fe1aa0cf610ec5d90dc98 ocamlx(NWhy3_bv_Pow2int)
= 10d30a66f32472ac5ae93f8ddef90480 ocamlx(NWhy3_floating_point_Double)
= 7fb5a876abd6d883570c8bb708551493 ocamlx(NWhy3_floating_point_DoubleFormat)
= feda756c3c27122c9a9f221ee874729e ocamlx(NWhy3_floating_point_GenFloat)
= 49caf2709bba54ec16e6ed831263e581 ocamlx(NWhy3_floating_point_Rounding)
= e0b46c68c8aab1f020f98f612bc8a6d9 ocamlx(NWhy3_floating_point_Single)
= 2ec9c939714d5c753c24eb5ee276ae2b ocamlx(NWhy3_floating_point_SingleFormat)
= 619e15b692238854f1fe2d3b8a3f1017 ocamlx(NWhy3_for_drivers_ComputerOfEuclideanDivision)
= 6b63c71c7ca405bfd5ba2f075fd33cd0 ocamlx(NWhy3_ieee_float_Float32)
= a467958355aba7a1a997622bb0dc6654 ocamlx(NWhy3_ieee_float_Float64)
= 76bdd755019b7062c8e29902c15d10d2 ocamlx(NWhy3_ieee_float_GenericFloat)
= 74e2fe0aa110806e3720a28df4cc97c2 ocamlx(NWhy3_ieee_float_RoundingMode)
= 9e950fd4f9a51cd0b1c8f7b3ccc38fff ocamlx(NWhy3_int_Abs)
= a597d7e1ae13c12244e3e4f633e3c71c ocamlx(NWhy3_int_ComputerDivision)
= 5f3571213658f0842d50f8f5dbb5ac4f ocamlx(NWhy3_int_Div2)
= 00ff21fb600a04eb1837ed65c7febd28 ocamlx(NWhy3_int_EuclideanDivision)
= 65b491f2488bc91ef8845dbc56965f01 ocamlx(NWhy3_int_Exponentiation)
= b6787efb815763efe643303224b215c9 ocamlx(NWhy3_int_Int)
= 3595911c7404007dd9e04506215f3023 ocamlx(NWhy3_int_MinMax)
= ea2177303f3fbe9bd2654d9e08feb507 ocamlx(NWhy3_int_NumOf)
= 0d83cfaf167be9c774ac0e998208d918 ocamlx(NWhy3_int_Power)
= 5b500126f664949d45b8bbce9cec2131 ocamlx(NWhy3_list_Append)
= b7cb50ac7c2da9eb0f77d55916e65182 ocamlx(NWhy3_list_Combine)
= d79009111cb624316e6702178321b74b ocamlx(NWhy3_list_Distinct)
= 6630d48091ad097378f3a20fbe566b80 ocamlx(NWhy3_list_HdTl)
= b86e72b202934d419fb3871bbb0fdee4 ocamlx(NWhy3_list_HdTlNoOpt)
= ec66473294908d9b93fa3fc6649611f4 ocamlx(NWhy3_list_Length)
= 9d867c9bafaa8602124118869504d765 ocamlx(NWhy3_list_List)
= 7b662eee2e8452fe71de4bcce0c7f8d4 ocamlx(NWhy3_list_Mem)
= 7a3f2ebf639a12a6d2e347802e569047 ocamlx(NWhy3_list_Nth)
= 4f05a729747cf70963bf1e95ca910503 ocamlx(NWhy3_list_NthHdTl)
= a955649f6b5309d2d6079997a72e8280 ocamlx(NWhy3_list_NthLength)
= c1411ee16bc3f2604c84070a1358234e ocamlx(NWhy3_list_NthLengthAppend)
= 76a572c3896974c9a28e78e489e7d453 ocamlx(NWhy3_list_NthNoOpt)
= 1b76fc08d55153fa4e5d52d9b3957f04 ocamlx(NWhy3_list_NumOcc)
= 83b82b5cecd4cd44a2ace5ee0a02eb68 ocamlx(NWhy3_list_Permut)
= bab0b2fc28266fe7f89f688a2379b436 ocamlx(NWhy3_list_RevAppend)
= 9b957d6687505095beab135fbe8e2ec7 ocamlx(NWhy3_list_Reverse)
= c66d707967441c8781e81f2e58555d84 ocamlx(NWhy3_map_Const)
= e82fd9c62fbc9dcff9a6b1c49fa2ab40 ocamlx(NWhy3_map_Map)
= 0e297bd52ea2d2e03ab5cad2995e381a ocamlx(NWhy3_map_MapInjection)
= ed8fd5560fa06bdc202b1f8296274ea8 ocamlx(NWhy3_map_MapPermut)
= 81c39e95a1a538a9c767683a2643fb1d ocamlx(NWhy3_map_Occ)
= 53498ab3b2800c6a1850cf611915930d ocamlx(NWhy3_number_Coprime)
= b55ede001feebe4cb5f0d045fc5dc12b ocamlx(NWhy3_number_Divisibility)
= 7b4c4fc58ea8f71c8aced76f55e1a681 ocamlx(NWhy3_number_Gcd)
= 69d21e48a51087bdc48db65221bf616e ocamlx(NWhy3_number_Parity)
= 49d7eea705e33012112b78df7f2942ea ocamlx(NWhy3_number_Prime)
= a5dd4b51556a65041a472d7563940465 ocamlx(NWhy3_option_Option)
= 473027b0123949f30ea5dcd4d0b7d4ff ocamlx(NWhy3_real_Abs)
= 083aafc50c605c7fa3994441a1db940e ocamlx(NWhy3_real_ExpLog)
= d6692747ff6282a5126182d33a3f4f38 ocamlx(NWhy3_real_FromInt)
= 6caa1e3b07b0cda2f54342d79a4e9b43 ocamlx(NWhy3_real_MinMax)
= 166d338883863a8a3a7d1b6c97f3cac9 ocamlx(NWhy3_real_PowerInt)
= b8ef7292cdde78d5db8d5d5f2d8333e4 ocamlx(NWhy3_real_PowerReal)
= e8e37110ccd5c1d19fdd92ca71b8803e ocamlx(NWhy3_real_Real)
= 1095e52e56199b48c5a4fac29b40dd36 ocamlx(NWhy3_real_RealInfix)
= 2780aabe23b715641b09784957d28f07 ocamlx(NWhy3_real_Square)
= b2b2475e361246b6fa85dbf0d65ef3cb ocamlx(NWhy3_real_Trigonometry)
= 93b8cb70e73ba41e78fab163da25ed6d ocamlx(NWhy3_real_Truncate)
= abe4e6083609da410c87042b414d0bee ocamlx(NWhy3_set_Cardinal)
= 3b958bec49cc79e9c0eaaa9b8a9bb6af ocamlx(NWhy3_set_Fset)
= b6b44ad225ecd9100bd93361e689a722 ocamlx(NWhy3_set_FsetInduction)
= fe1e189b5f827053c5531c549b726eae ocamlx(NWhy3_set_FsetInt)
= 1c17ec7971dbb91b73bb967d3d1c3cfe ocamlx(NWhy3_set_FsetSum)
= b96de663a2d7d64d12719e1c3f8d1600 ocamlx(NWhy3_set_Set)
= 3acc8d28c68893855b6729933fa75834 ocamlx(NWhy3_set_SetApp)
= 06c6090430693328f5be827ec70472e2 ocamlx(NWhy3_set_SetAppInt)
= d56b04fb026b25e14944d2726eb31cdc ocamlx(NWhy3_set_SetImp)
= 4c49e532fafea0b982a8c01820682bbc ocamlx(NWhy3_set_SetImpInt)
= 2.41-12.fc38 why
= 2.41-12.fc38 why-jessie
= 2.41-12.fc38 why-pvs-support
= 1.5.1-6.fc38 why3
= 1.5.1-6.fc38 why3(x86-64)


نحوه نصب


نصب پکیج rpm why3:

    dnf install why3-1.5.1-6.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/bin/isabelle_client
/usr/bin/why3
/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/145ea262620b0895bbe2c9a3085bbdb297cfe3
/usr/lib/.build-id/03
/usr/lib/.build-id/03/e0e8183548ec1e1684879909da5562e3c504f4
/usr/lib/.build-id/05
/usr/lib/.build-id/05/42b76e29b98d2fe7e922b2d1ca02672f1afa58
/usr/lib/.build-id/09
/usr/lib/.build-id/09/d068a534970fb43627911a762156fb418ffd99
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/fb953d4c0bf7d12f2c038afef68b061e956d2c
/usr/lib/.build-id/10
/usr/lib/.build-id/10/8fdeab8a68ba63200d88b74357edaac8290beb
/usr/lib/.build-id/14
/usr/lib/.build-id/14/4250a257d500deb14b686faf7ee03114f5d65a
/usr/lib/.build-id/18
/usr/lib/.build-id/18/c2e6dc0a6f2e0f0a9ac1e7ef8879b853b4d4cf
/usr/lib/.build-id/19
/usr/lib/.build-id/19/248bdb5757de1932adb34d0b92f90c366c3d5b
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/8272e64f0e0d7343d81d9c053fee92cd96dba8
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/4bd924b0d8f39496b8786ea740ec3b7917f19a
/usr/lib/.build-id/21
/usr/lib/.build-id/21/80ee26ee3daa0011d839ad8be3ca548eaa016e
/usr/lib/.build-id/23
/usr/lib/.build-id/23/0d67560381c6831bca243b934e055feb5e54b0
/usr/lib/.build-id/25
/usr/lib/.build-id/25/7d4bb5f5afa2eb66b4bbb9d9663cbc69118c52
/usr/lib/.build-id/25/e348eb5d938ebbc5f232163b73ee1ff89ff4d0
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/c5cffaf84f20c14f985996834b568ac5ec3822
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/0fac0fc7abe07549e4b3570f00cfe36dba4062
/usr/lib/.build-id/2d
/usr/lib/.build-id/2d/5f2f646e6b71168f194e88304aef63539c2d8c
/usr/lib/.build-id/32
/usr/lib/.build-id/32/3c27c4eacfa1a5f9d9a349b87143e729c46038
/usr/lib/.build-id/40
/usr/lib/.build-id/40/1681013b29018ec425282b360c6fa9f2378f03
/usr/lib/.build-id/42
/usr/lib/.build-id/42/9cdf91b78f0e1f95c69a661ea24c13d75c3ab2
/usr/lib/.build-id/47
/usr/lib/.build-id/47/98a227ed9179328e3a965df1560dc82c5d790a
/usr/lib/.build-id/50
/usr/lib/.build-id/50/819ea6a9153ae2623ef6d225922dd080ef1052
/usr/lib/.build-id/51
/usr/lib/.build-id/51/d6725b162e53ae44445da374d0e000c7772daa
... and 843 more


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-01-24

Rebuild OCaml packages for F38

2023-01-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2023-01-06

BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022

2022-11-26

Rebuild for coq 8.16.1

2022-11-01

Rebuild for ocaml-ppxlib 0.28.0

2022-09-16

Version 1.5.1

2022-08-18

Rebuild to fix coq dependency
Convert License tag to SPDX

2022-07-23

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-19

Remove i686 support

2022-07-07

Version 1.5.0
Add ocaml-mlmpfr support
Drop unmaintained man pages
Use new OCaml macros

2022-06-19

OCaml 4.14.0 rebuild

2022-03-25

Rebuild for coq 8.15.1

2022-02-28

Version 1.4.1

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2022-01-17

Rebuild for menhir 20211230