معرفی شرکت ها

why3-1.5.1-3.fc37.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Software verification platform
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything aarch64
نام بسته why3
نام فایل بسته why3-1.5.1-3.fc37.aarch64.rpm
نسخه بسته 1.5.1
انتشار بسته 3.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sun 27 Nov 2022 07
هاست سازنده buildvm-a64-07.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 16M
حجم نصب 60.726M
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-1.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-1.5.1-1.fc37.src.rpm 1.5.1 x86_64 Fedora Everything
why3-1.5.1-1.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-1.5.1-3.fc37.src.rpm 1.5.1 x86_64 Fedora Everything
why3-1.5.1-3.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-all-1.5.1-1.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-all-1.5.1-1.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-all-1.5.1-3.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-all-1.5.1-3.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debuginfo-1.5.1-1.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debuginfo-1.5.1-1.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debuginfo-1.5.1-3.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debuginfo-1.5.1-3.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debugsource-1.5.1-1.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debugsource-1.5.1-1.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debugsource-1.5.1-3.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debugsource-1.5.1-3.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-emacs-1.5.1-1.fc37.noarch.rpm 1.5.1 noarch Fedora Everything
why3-emacs-1.5.1-3.fc37.noarch.rpm 1.5.1 noarch Fedora Everything
why3-examples-1.5.1-1.fc37.noarch.rpm 1.5.1 noarch Fedora Everything
why3-examples-1.5.1-3.fc37.noarch.rpm 1.5.1 noarch Fedora Everything
why3-proofgeneral-1.5.1-1.fc37.noarch.rpm 1.5.1 noarch Fedora Everything
why3-proofgeneral-1.5.1-3.fc37.noarch.rpm 1.5.1 noarch Fedora Everything


نیازمندی

مقدار نام
- /usr/bin/sh
- gtksourceview3(aarch-64)
- hicolor-icon-theme
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.28)(64bit)
- libc.so.6(GLIBC_2.32)(64bit)
- libc.so.6(GLIBC_2.33)(64bit)
- libc.so.6(GLIBC_2.34)(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.17)(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)
= 6d7bf11af14ea68354925f3a37387930 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)
= 162669b09093ea11100da3962b876e9b ocamlx(CamlinternalLazy)
= 0c2031d176e9ca1291e7e8c9fb2e7bf6 ocamlx(NCoq_Arith_PeanoNat)
= 3f077edca92ed17f44c66137c4136c04 ocamlx(NCoq_Bool_Bool)
= 3c45839065198210cf0a34532e616970 ocamlx(NCoq_Bool_Bvector)
= 7b2cd9ce8169515988a2c6d3b4e3c91f ocamlx(NCoq_Classes_Morphisms)
= 0c5ee8a4abc2b4fafa54e01866cc092b ocamlx(NCoq_Classes_Morphisms_Prop)
= f0e432a6bbf3693c8b98755f373acfee ocamlx(NCoq_Classes_RelationClasses)
= cdbab4b0bd137a1bc00d54561f3dd061 ocamlx(NCoq_Init_Datatypes)
= 41d65a6a2b1c55d6e2f10cf6ded4b229 ocamlx(NCoq_Init_Logic)
= 64321e52710eeaa352d709d8ccafe6cf ocamlx(NCoq_Init_Nat)
= cba4622459520c2191e3261009133553 ocamlx(NCoq_Init_Peano)
= deb5ee0a23525d72a763da2cf5baa68d ocamlx(NCoq_Init_Specif)
= 8907851d368bbc622072348a2536b0a3 ocamlx(NCoq_Lists_List)
= 61ac547a30cd11c63ea4b917d7afab3e ocamlx(NCoq_Logic_ClassicalEpsilon)
= e0612228d82543c6ffaaa7a7352608e9 ocamlx(NCoq_Numbers_BinNums)
= 29ff38614d02d547af2edc8d670f7ac6 ocamlx(NCoq_PArith_BinPos)
= f3c63708716b1be443577d544b2fdd63 ocamlx(NCoq_Reals_Rbasic_fun)
= 84bd14c8e9395f487c90a05f13b6e658 ocamlx(NCoq_Reals_Rdefinitions)
= 82f3dcdf6928f8e125bc0a26d0349224 ocamlx(NCoq_Reals_Rpower)
= 1c16721cda37a803eebacc2848ed7a11 ocamlx(NCoq_Vectors_Vector)
= c4a9b46f1cfaa7b4241dfdf95e572d2b ocamlx(NCoq_ZArith_BinInt)
= 7fc232044fc24cccd04e1999e0a296c9 ocamlx(NCoq_ZArith_ZArith_dec)
= fa2c610108e4b1dc6ecc995c02a6e91a ocamlx(NCoq_ZArith_Zbool)
= 1712cf7e6612ab942b61af05f5688f64 ocamlx(NCoq_ZArith_Zpower)
= 8816459eeeff70fa37618a5b68210e3e ocamlx(NFlocq_Core_Defs)
= 21bb42ea99934f7ad5d97b72194b70eb ocamlx(NFlocq_Core_FLT)
= 53a049723305970fa0e4f5514a0ca8e1 ocamlx(NFlocq_Core_Generic_fmt)
= a4cf63b7f4b8a2e75dabd7cead746acf ocamlx(NFlocq_Core_Raux)
= caf896d87c14c672bea15b3586cfd60b ocamlx(NFlocq_Core_Zaux)
= 894aec87bd2e0a622f22efb8d70fe4f0 ocamlx(NFlocq_IEEE754_BinarySingleNaN)
= c027d61440a7a4695934699b251a78e5 ocamlx(NWhy3_BuiltIn)
= e6b2c47933e728aa3573f340c33d76e0 ocamlx(NWhy3_floating_point_GenFloat)
= f24bde206544f4e3e305172d6a52ee27 ocamlx(NWhy3_ieee_float_GenericFloat)
= 8d6d331c8410b3087a00a48fc2718a59 ocamlx(NWhy3_int_EuclideanDivision)
= 93b0c4f308d2878ed83c276575f2d2dc ocamlx(NWhy3_list_NumOcc)
= 41311d2de007939566b4231dea9903ca ocamlx(NWhy3_map_Map)
= 24f3d0b6619b8dc7866855bc236c2c07 ocamlx(NWhy3_map_Occ)
= be40022094ff3bf60981284cbc541e0f ocamlx(NWhy3_set_Cardinal)
= 22094b68d1225fe77e29f96466faa7b2 ocamlx(NWhy3_set_Fset)
= 1e911782303fee92b42182afb1d3a549 ocamlx(NWhy3_set_Set)
= 25dd46105be7e78ba71f11e778374924 ocamlx(Nativecode)
= c6cb05a1550531a6790b95fa67b03342 ocamlx(Nativevalues)
- rtld(GNU_HASH)
- texlive-base(aarch-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)
= c027d61440a7a4695934699b251a78e5 ocamlx(NWhy3_BuiltIn)
= 20d7ca2cade7b6ce65883e4ae93a6af3 ocamlx(NWhy3_HighOrd)
= 414d246190008907079259a2a960d694 ocamlx(NWhy3_bool_Bool)
= cd5886590b40cb5d8f639c082e4b6132 ocamlx(NWhy3_bv_BV_Gen)
= 15d4c818b9f2c250eda0fea5c949fc27 ocamlx(NWhy3_bv_Pow2int)
= 2ee04a74109626de3a32b1a869d190d7 ocamlx(NWhy3_floating_point_Double)
= 183ea625b0223c729e4f968dda6c4ab5 ocamlx(NWhy3_floating_point_DoubleFormat)
= e6b2c47933e728aa3573f340c33d76e0 ocamlx(NWhy3_floating_point_GenFloat)
= 37004933c2b18bb4af304f210d4854db ocamlx(NWhy3_floating_point_Rounding)
= 69beb72f87e920f131c77f89074ae9f2 ocamlx(NWhy3_floating_point_Single)
= 14fa9d94e916948c93eefeb8f1e00992 ocamlx(NWhy3_floating_point_SingleFormat)
= 6b8996c2c4257822d96980f2abd7a3df ocamlx(NWhy3_for_drivers_ComputerOfEuclideanDivision)
= e24824a6c73d535632f63ab7e57e779a ocamlx(NWhy3_ieee_float_Float32)
= 33c5295572fd76b2b3f4037131a8905a ocamlx(NWhy3_ieee_float_Float64)
= f24bde206544f4e3e305172d6a52ee27 ocamlx(NWhy3_ieee_float_GenericFloat)
= 8ffc60e4371136950c8b36474138671b ocamlx(NWhy3_ieee_float_RoundingMode)
= b235e2c65792b81319f9b6769f1e6f09 ocamlx(NWhy3_int_Abs)
= f344a44a2654a9ca6f1a5f4e5052e6b6 ocamlx(NWhy3_int_ComputerDivision)
= 94fa8db6fd65e4df9a6da717b6abde44 ocamlx(NWhy3_int_Div2)
= 8d6d331c8410b3087a00a48fc2718a59 ocamlx(NWhy3_int_EuclideanDivision)
= b8d94ca32b328709e45fd9e16865beb6 ocamlx(NWhy3_int_Exponentiation)
= ca38e830fccb9e2f088f87fcec1cac2c ocamlx(NWhy3_int_Int)
= 3bba5893004f7b26efe4866c1413ee49 ocamlx(NWhy3_int_MinMax)
= 8c54135b09a03501c2418970d532e079 ocamlx(NWhy3_int_NumOf)
= 999d678beae0a69ea2943a155d81fb65 ocamlx(NWhy3_int_Power)
= c0232f546e1a3676fd5b5b03bd26e834 ocamlx(NWhy3_list_Append)
= ffdde0de3f8b41ebe8c3ae1384bb4caa ocamlx(NWhy3_list_Combine)
= 7be9e0d29cb6c1e051f82d83dfee9850 ocamlx(NWhy3_list_Distinct)
= 1a754230532d37c973d6c3afbb9616a4 ocamlx(NWhy3_list_HdTl)
= 0359909ebb95f24bd0a083abf4a34944 ocamlx(NWhy3_list_HdTlNoOpt)
= ca053e89f32b6bf71fe65f943030d7d5 ocamlx(NWhy3_list_Length)
= 7371528f4e7d568684c56b1298a41a89 ocamlx(NWhy3_list_List)
= bd6617adee9800c63079f25f6336ae1a ocamlx(NWhy3_list_Mem)
= b47c117370710700a4aaef0254531dd5 ocamlx(NWhy3_list_Nth)
= 89e448fbfdf28e50d796b482f831f090 ocamlx(NWhy3_list_NthHdTl)
= 91a263962b2fd6e180cff5b499e489fa ocamlx(NWhy3_list_NthLength)
= cdbbbce509d2b7345e2537d7632bc638 ocamlx(NWhy3_list_NthLengthAppend)
= 3f48fc43827c6dafbf64c86a340fad12 ocamlx(NWhy3_list_NthNoOpt)
= 93b0c4f308d2878ed83c276575f2d2dc ocamlx(NWhy3_list_NumOcc)
= 2673ba2ce4af97994595777585154a57 ocamlx(NWhy3_list_Permut)
= 712902caac5b84d377640a4ae88c6cfa ocamlx(NWhy3_list_RevAppend)
= fcf33863501397e8e337698b9755146f ocamlx(NWhy3_list_Reverse)
= b7565a99c8dc54b0ea62b8ad9782398d ocamlx(NWhy3_map_Const)
= 41311d2de007939566b4231dea9903ca ocamlx(NWhy3_map_Map)
= 86e84213de22f446afad6cd3fdaeec78 ocamlx(NWhy3_map_MapInjection)
= a8ff11baa059d3770778bd210080d758 ocamlx(NWhy3_map_MapPermut)
= 24f3d0b6619b8dc7866855bc236c2c07 ocamlx(NWhy3_map_Occ)
= b623af47d100ae8e1ce548a24fac2ddf ocamlx(NWhy3_number_Coprime)
= 4e505a035cbaf3c8928324573c5115fa ocamlx(NWhy3_number_Divisibility)
= b0d26127eef584323997aca8e5563adc ocamlx(NWhy3_number_Gcd)
= cdf683c1c52d50f1cb3b06da5d999904 ocamlx(NWhy3_number_Parity)
= fce9fb57866dfa90e5701bd11b3b48e6 ocamlx(NWhy3_number_Prime)
= ef0ddc03648bdabcd13a0106bf1e95a6 ocamlx(NWhy3_option_Option)
= b76caaf91c91ec3b5696e318d53b3b99 ocamlx(NWhy3_real_Abs)
= 73d1c7b90984d75232a6c306f9af70b5 ocamlx(NWhy3_real_ExpLog)
= 889cc1a45c0cb0b8c06eb5b08b7477e5 ocamlx(NWhy3_real_FromInt)
= f01b5f1c632a4c850cec9ba7a1f35e33 ocamlx(NWhy3_real_MinMax)
= c99015d960a29c08229467f7110cc76d ocamlx(NWhy3_real_PowerInt)
= e302689453a95ae0da345677f07be870 ocamlx(NWhy3_real_PowerReal)
= a3a8ce515ae9f3d67c5ebb99a1a4bbca ocamlx(NWhy3_real_Real)
= df6bd5e55da21b29c46c401db1b948f5 ocamlx(NWhy3_real_RealInfix)
= 043176364d2355a7e169fc6ee2f4a30d ocamlx(NWhy3_real_Square)
= 5ff728be16fcbc36167db2dccdb55c15 ocamlx(NWhy3_real_Trigonometry)
= 119e6760b07fdee53c4127c562dfcd88 ocamlx(NWhy3_real_Truncate)
= be40022094ff3bf60981284cbc541e0f ocamlx(NWhy3_set_Cardinal)
= 22094b68d1225fe77e29f96466faa7b2 ocamlx(NWhy3_set_Fset)
= 3baceed0c0c114f8b50597dcd5d549c4 ocamlx(NWhy3_set_FsetInduction)
= 23cae3543eb84accfe04d90979ed5023 ocamlx(NWhy3_set_FsetInt)
= 345497ed2f323009557e650099506bf4 ocamlx(NWhy3_set_FsetSum)
= 1e911782303fee92b42182afb1d3a549 ocamlx(NWhy3_set_Set)
= 93bc8f01c8b6a906791a8b3bb590d8ac ocamlx(NWhy3_set_SetApp)
= 36c722740021d58dc1120a37e8b75552 ocamlx(NWhy3_set_SetAppInt)
= 62dd41dbc7ff94947b7d884aef4ad63b ocamlx(NWhy3_set_SetImp)
= d7a773ab1e63d981d7139acc7fc32da2 ocamlx(NWhy3_set_SetImpInt)
= 2.41-12.fc37 why
= 2.41-12.fc37 why-jessie
= 2.41-12.fc37 why-pvs-support
= 1.5.1-3.fc37 why3
= 1.5.1-3.fc37 why3(aarch-64)


نحوه نصب


نصب پکیج rpm why3:

    dnf install why3-1.5.1-3.fc37.aarch64.rpm


فایل ها

مسیرها
/usr/bin/isabelle_client
/usr/bin/why3
/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/696495df48af490b2d5dcafc47f1992dc0c1eb
/usr/lib/.build-id/03
/usr/lib/.build-id/03/0beed286ec05580d9fd447dcaa53d015056d78
/usr/lib/.build-id/06
/usr/lib/.build-id/06/d23fc4b1191fd8c2df99bc4dc94ff6f63cc61c
/usr/lib/.build-id/08
/usr/lib/.build-id/08/d5e5464aed0e5ea0c06de293e76a17232d4b74
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/0a62d5fad9cae3cb18e09764271efda18de7b8
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/1cc6e1ab8de2ca4ef9aed2ebe4c989fb4c9861
/usr/lib/.build-id/11
/usr/lib/.build-id/11/405ca14b9a953d00b7ac3f1d0f1958ff6636d7
/usr/lib/.build-id/18
/usr/lib/.build-id/18/da17f97604d3be91079c437732e35b94d68abd
/usr/lib/.build-id/1a
/usr/lib/.build-id/1a/b65147a8c38a6fde8bb1e1d6d6aca68b5c3dc0
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/18cd65051a81e872e8f0bdfbfaefed62b20252
/usr/lib/.build-id/1c/ba809207cefa4dac13ecd332ef63b2bd901f76
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/92f5f02a5383863bf007265b9a75e30cb094f4
/usr/lib/.build-id/1f/9a12bbada235040a658cd1db1166a451d12a50
/usr/lib/.build-id/22
/usr/lib/.build-id/22/ba6e9d794f3626a6f72322f8301e48e27454b0
/usr/lib/.build-id/23
/usr/lib/.build-id/23/49ce5204310e02f9f774679ee80f5af22675e6
/usr/lib/.build-id/28
/usr/lib/.build-id/28/d634dd6015a804c413feca801f3b77624a61bf
/usr/lib/.build-id/29
/usr/lib/.build-id/29/6f6e64882060f51dc9d1712357073817814224
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/5cb1afe5906b51fd7468615d8eda32d4aef4e7
/usr/lib/.build-id/2c/7522b3a5381d340e5e0affe0b57f12b2045a60
/usr/lib/.build-id/31
/usr/lib/.build-id/31/a3e26ad8768d26db20bcc14b4aa61352fb2866
/usr/lib/.build-id/37
/usr/lib/.build-id/37/a3513c0cf7ef6d4b06edbfa6a24f9f08275b4c
/usr/lib/.build-id/39
/usr/lib/.build-id/39/37788502d6100b39d6ecbdfd99842b39197bb3
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/7e2fe793507e4e7a52173f6aff716d2d33174f
/usr/lib/.build-id/42
/usr/lib/.build-id/42/80eeac3a347588f4d3ca957fe7a06dc5ca1b6e
/usr/lib/.build-id/43
/usr/lib/.build-id/43/ccff890dfea6475dbc9c4070677df7f9b325b1
... and 839 more


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

تاریخ آخرین تغییر جزئیات
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

2021-12-27

Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11

2021-11-30

Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128

2021-10-21

Rebuild for coq 8.14.0 and menhir 20211012
Add -coq8.14 patch
Drop XEmacs support