معرفی شرکت ها

why3-1.5.1-1.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-1.fc37.aarch64.rpm
نسخه بسته 1.5.1
انتشار بسته 1.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sat 17 Sep 2022 05
هاست سازنده buildvm-a64-31.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://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.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.aarch64.rpm 1.5.1 aarch64 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)
= 4b42074316049648ad080770f23f8c11 ocamlx(NFlocq_Core_Defs)
= c0c0f330b08d4f746230beffb79226ba ocamlx(NFlocq_Core_FLT)
= afa7db6acea3c0d2dec498e4b95b843a ocamlx(NFlocq_Core_Generic_fmt)
= d1f8a1bb3790bcd842b632e727253baf ocamlx(NFlocq_Core_Raux)
= b2f8fe1005f89231f233f41a222836a4 ocamlx(NFlocq_Core_Zaux)
= a771076304ef59e91d552295089f4153 ocamlx(NFlocq_IEEE754_BinarySingleNaN)
= cb9417e181e177b627daf9737edf8fb3 ocamlx(NWhy3_BuiltIn)
= b4e408ccd9ea3276339871ef97e74f06 ocamlx(NWhy3_floating_point_GenFloat)
= fab975065cf7683a3f1251f16a119d04 ocamlx(NWhy3_ieee_float_GenericFloat)
= ed889408f6d5867e51e967c2d2ac8069 ocamlx(NWhy3_int_EuclideanDivision)
= 0cd6a77eeffee320f3babb68875f75df ocamlx(NWhy3_list_NumOcc)
= 86175bddff40779ec491701827a71893 ocamlx(NWhy3_map_Map)
= 21745c85a4a313154af1ffbe56d6fbf6 ocamlx(NWhy3_map_Occ)
= 0003e90ed083538a26728c62cb15f4dc ocamlx(NWhy3_set_Cardinal)
= 45f969114abd806b5be0ca22f5ea3a59 ocamlx(NWhy3_set_Fset)
= 96db0abf2b4fe02e449c2cc64de82c2d ocamlx(NWhy3_set_Set)
= c17d0426962a98295fddb7dff30020d7 ocamlx(Nativecode)
= e9d24fbbfd9a8224482ba16fc3c48b26 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)
= cb9417e181e177b627daf9737edf8fb3 ocamlx(NWhy3_BuiltIn)
= aea0c505fa4aa6c3ea528438e252a120 ocamlx(NWhy3_HighOrd)
= f6213c459d34a2ae74ca4afc3bc306eb ocamlx(NWhy3_bool_Bool)
= 393a9a4ede3ed2c7e2a541dddbca02fb ocamlx(NWhy3_bv_BV_Gen)
= 2afdd034c8b55c2438e006b643a2ab64 ocamlx(NWhy3_bv_Pow2int)
= e2eb44367d74183f6c1a6f5ae3ce7e21 ocamlx(NWhy3_floating_point_Double)
= 7baa88c33fefcec679c4289637047ce9 ocamlx(NWhy3_floating_point_DoubleFormat)
= b4e408ccd9ea3276339871ef97e74f06 ocamlx(NWhy3_floating_point_GenFloat)
= 9f2dfb967d07c5c217b00736b52a331e ocamlx(NWhy3_floating_point_Rounding)
= 87be2be30cc64156d020eb739a12fd6f ocamlx(NWhy3_floating_point_Single)
= c5c8031d4e82138c0ed507074698b6bf ocamlx(NWhy3_floating_point_SingleFormat)
= 488c4c0505128ae70dd1b0c471ca9a71 ocamlx(NWhy3_for_drivers_ComputerOfEuclideanDivision)
= c6248c87be3f6d79fb516e66e4e8fc7b ocamlx(NWhy3_ieee_float_Float32)
= 4eb92452b8f91e10a76b18018f3f8c35 ocamlx(NWhy3_ieee_float_Float64)
= fab975065cf7683a3f1251f16a119d04 ocamlx(NWhy3_ieee_float_GenericFloat)
= 4e1812e99cd95e3dd4113b9260765634 ocamlx(NWhy3_ieee_float_RoundingMode)
= 6c83a0f40a1c7b9b9040b19a506b722b ocamlx(NWhy3_int_Abs)
= 67723da12c92fcf120f438f425ad7afb ocamlx(NWhy3_int_ComputerDivision)
= a9ef2cdf27c29c5b0f882bf2519ab3d3 ocamlx(NWhy3_int_Div2)
= ed889408f6d5867e51e967c2d2ac8069 ocamlx(NWhy3_int_EuclideanDivision)
= d4e92f513608c1c093e71f3b05e15265 ocamlx(NWhy3_int_Exponentiation)
= 6912804c8e320e34795b91fc7829a771 ocamlx(NWhy3_int_Int)
= 50e99392cea2cba87787ecdd9a49c3eb ocamlx(NWhy3_int_MinMax)
= 102822496e1163e3f83b002504c018d9 ocamlx(NWhy3_int_NumOf)
= c9c6ce1cdea90e7d6cd28a5329b8cf79 ocamlx(NWhy3_int_Power)
= dee2cd37d7409243da663ed771415915 ocamlx(NWhy3_list_Append)
= a1a816a4f0f078607198968b2d5aa22c ocamlx(NWhy3_list_Combine)
= ecd6423104c6652d49f61f79de68242c ocamlx(NWhy3_list_Distinct)
= fad18ab840067794ede534361f6e4f5d ocamlx(NWhy3_list_HdTl)
= d3ed1ccf22d19756d8b4b59c7a26fd7e ocamlx(NWhy3_list_HdTlNoOpt)
= e1cbeeaf76803e0104b7995e4c2d9edf ocamlx(NWhy3_list_Length)
= ec62a93d3c137d6cd8c0648d0506290b ocamlx(NWhy3_list_List)
= 33f9102e1234f49aa4c7bd5dff700b22 ocamlx(NWhy3_list_Mem)
= e221c69bce7dbc86bfffc17c66c1cbf6 ocamlx(NWhy3_list_Nth)
= 59a2a45ac26a61cf059182df44e403f4 ocamlx(NWhy3_list_NthHdTl)
= 13e43e75146357ce0c13c91a37b85709 ocamlx(NWhy3_list_NthLength)
= 422b239750eb58eae3e92114be090ebb ocamlx(NWhy3_list_NthLengthAppend)
= 1c1515f442fcacc3a83804491ce15bbd ocamlx(NWhy3_list_NthNoOpt)
= 0cd6a77eeffee320f3babb68875f75df ocamlx(NWhy3_list_NumOcc)
= 1a70b2719703f35c357ded80660adf9b ocamlx(NWhy3_list_Permut)
= c94555a5129946f26433af6b4041b3d8 ocamlx(NWhy3_list_RevAppend)
= fde7ecc03eb58bebf2300f78db3cda46 ocamlx(NWhy3_list_Reverse)
= d8373e66889b33a52227bc7fe7162611 ocamlx(NWhy3_map_Const)
= 86175bddff40779ec491701827a71893 ocamlx(NWhy3_map_Map)
= 89408a7b7f6d49ab3331cb877e307162 ocamlx(NWhy3_map_MapInjection)
= 0f8314ce501e53a8a969a28324d40fe5 ocamlx(NWhy3_map_MapPermut)
= 21745c85a4a313154af1ffbe56d6fbf6 ocamlx(NWhy3_map_Occ)
= 983228e7efc4d3a9aef9b11c404f5362 ocamlx(NWhy3_number_Coprime)
= bc895803df5aca09291cacf58b2b1566 ocamlx(NWhy3_number_Divisibility)
= 2e3ea4e7f32de59aa9488d3b4ae5abb4 ocamlx(NWhy3_number_Gcd)
= e9329ea07c1b5d32f08bc75474d0e5df ocamlx(NWhy3_number_Parity)
= ff9cea828d69b465c70188b6ab6d7eab ocamlx(NWhy3_number_Prime)
= 2f837c956164537fa6d4e7d5f236db95 ocamlx(NWhy3_option_Option)
= ade8385c3bad298ff0d3cf7182f6635d ocamlx(NWhy3_real_Abs)
= 8337c72bbb544e198074dd76b8620d21 ocamlx(NWhy3_real_ExpLog)
= 2d70d67282c7e2b0c43f5013c86ff2e0 ocamlx(NWhy3_real_FromInt)
= 5b3a8923169532dfcd0aff144a94ecb5 ocamlx(NWhy3_real_MinMax)
= 0ac515c8e7f874cb12c2157a7c0e17f5 ocamlx(NWhy3_real_PowerInt)
= 11296c815f8479c7176badfd69ab804f ocamlx(NWhy3_real_PowerReal)
= 0b391c7c7b1528985c45fa9895674bc0 ocamlx(NWhy3_real_Real)
= b7d721aef8b950b23a0a65f807b3dc7a ocamlx(NWhy3_real_RealInfix)
= 74aeb9110a033385008f590c365079ff ocamlx(NWhy3_real_Square)
= 3e10cc4c705467d7f57df5b3457b0171 ocamlx(NWhy3_real_Trigonometry)
= ffd15045ad6aeae4247c740233c8a1f4 ocamlx(NWhy3_real_Truncate)
= 0003e90ed083538a26728c62cb15f4dc ocamlx(NWhy3_set_Cardinal)
= 45f969114abd806b5be0ca22f5ea3a59 ocamlx(NWhy3_set_Fset)
= e94af9e76179698c1bc9c74ee3571843 ocamlx(NWhy3_set_FsetInduction)
= e9be5ab792d90a40e7b31b1a58947db3 ocamlx(NWhy3_set_FsetInt)
= e9b24fa5cbc0ce5344805d8fe1502fc2 ocamlx(NWhy3_set_FsetSum)
= 96db0abf2b4fe02e449c2cc64de82c2d ocamlx(NWhy3_set_Set)
= 0ecf3e29321146a89c7b222a790a206d ocamlx(NWhy3_set_SetApp)
= fcb4bfc88ea2f9617171ba595c52d7bb ocamlx(NWhy3_set_SetAppInt)
= 48e35da5cb129dfbdc8baaa1e914ce18 ocamlx(NWhy3_set_SetImp)
= d34b1c92fc40d669cabf2b66d60456f1 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-1.fc37 why3
= 1.5.1-1.fc37 why3(aarch-64)


نحوه نصب


نصب پکیج rpm why3:

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


فایل ها

مسیرها
/usr/bin/isabelle_client
/usr/bin/why3
/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/8d1120cea6c59fde1a0174e77d78e503dda711
/usr/lib/.build-id/00/a53b7af7c22d14284ae4ab0cfd5675dd7d4791
/usr/lib/.build-id/01
/usr/lib/.build-id/01/cc0a8f102c3d8999a983606d9200fdb1230de6
/usr/lib/.build-id/01/d2f499e3b4e631d4f2bc6aa4ac20e2b4676b90
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/31e9b080f0acec6b678b9228d255a06de58a2b
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/04b0995a07c5f212bd86014582e69ebd3cee82
/usr/lib/.build-id/0d
/usr/lib/.build-id/0d/4d55e43619c34941da7ec78ef0263a98e3cced
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/bd8a84cd9b4fd6c32fe19ed15430b7ebc84459
/usr/lib/.build-id/10
/usr/lib/.build-id/10/02222ee10c8c746777d620ff7f29f59608f36f
/usr/lib/.build-id/10/87c3075813b10b59eac5af446ba44a44f9892f
/usr/lib/.build-id/18
/usr/lib/.build-id/18/d7e0c1e6e3e07bef380f119681cd83f35f4116
/usr/lib/.build-id/19
/usr/lib/.build-id/19/6d9ba3ae17e382b2439d1c9a825f57060c4fa9
/usr/lib/.build-id/19/c4d38e0b5d8262439c69fc0104a2e09a06c9aa
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/36dcd70178d23fcaa72646b3e84a51e4229dc7
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/38e66a560bd284434b7c4733d9bd76936a0b72
/usr/lib/.build-id/1e/42468fb6615eb985fb2c96265a1e733f22f6ae
/usr/lib/.build-id/22
/usr/lib/.build-id/22/52be6c1cd8d222f9d244e0a9623e9aaef73d1e
/usr/lib/.build-id/23
/usr/lib/.build-id/23/dba4a6bbd66480a18530409aaa125cac43ac75
/usr/lib/.build-id/28
/usr/lib/.build-id/28/eff5192c2d8424c8361942f0e40e1635bd71e8
/usr/lib/.build-id/29
/usr/lib/.build-id/29/e0f647ade939169fa9c405991de09436e9186e
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/7daeb71fca3aad9beb90a82547f2cea92ccd8b
/usr/lib/.build-id/2f/e52daea67c0c01a59fb1eb8327579c6f16adac
/usr/lib/.build-id/30
/usr/lib/.build-id/30/1edb20c851bc69b2516f4ca5d1f49dcfa340c5
/usr/lib/.build-id/31
/usr/lib/.build-id/31/7d12eb3b8132b694e7ea18538a0aaf509fa6b8
/usr/lib/.build-id/31/e15a117a8975746da70a156d4ed87ea631bcea
/usr/lib/.build-id/35
/usr/lib/.build-id/35/de1a4ee28e269c605121ab44514bfa08dacee3
/usr/lib/.build-id/38
/usr/lib/.build-id/38/39a92de1df7ebcdc7e8519a7246782f06ffec7
... and 830 more


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

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

2021-10-05

OCaml 4.13.1 build

2021-10-04

Try to build on s390x with OCaml 4.13