معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

Parser and typechecker for an extension of SMT-LIB 2

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything aarch64
نام بسته	ocaml-psmt2-frontend
نام فایل بسته	ocaml-psmt2-frontend-0.4.0-11.fc39.aarch64.rpm
نسخه بسته	0.4.0
انتشار بسته	11.fc39
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Thu Jul 20 21
هاست سازنده	buildvm-a64-16.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/ACoquereau/psmt2-frontend
مجوز	Apache-2.0
حجم دانلود	1.8M
حجم نصب	6.470M

This package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

جایگزین ها

بسته	نسخه	معماری	مخزن
ocaml-psmt2-frontend-0.4.0-11.fc39.src.rpm	0.4.0	x86_64	Fedora Everything
ocaml-psmt2-frontend-0.4.0-11.fc39.x86_64.rpm	0.4.0	x86_64	Fedora Everything
ocaml-psmt2-frontend-debuginfo-0.4.0-11.fc39.aarch64.rpm	0.4.0	aarch64	Fedora Everything
ocaml-psmt2-frontend-debuginfo-0.4.0-11.fc39.x86_64.rpm	0.4.0	x86_64	Fedora Everything
ocaml-psmt2-frontend-debugsource-0.4.0-11.fc39.aarch64.rpm	0.4.0	aarch64	Fedora Everything
ocaml-psmt2-frontend-debugsource-0.4.0-11.fc39.x86_64.rpm	0.4.0	x86_64	Fedora Everything
ocaml-psmt2-frontend-devel-0.4.0-11.fc39.aarch64.rpm	0.4.0	aarch64	Fedora Everything
ocaml-psmt2-frontend-devel-0.4.0-11.fc39.x86_64.rpm	0.4.0	x86_64	Fedora Everything
ocaml-psmt2-frontend-docs-0.4.0-11.fc39.aarch64.rpm	0.4.0	aarch64	Fedora Everything
ocaml-psmt2-frontend-docs-0.4.0-11.fc39.x86_64.rpm	0.4.0	x86_64	Fedora Everything

نیازمندی

مقدار	نام
>= 2.37.9000-17	glibc
-	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.25)(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.38)(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)
-	libm.so.6(GLIBC_2.38)(64bit)
= cecfafd5c021473f5e358c96ac7502a0	ocaml(CamlinternalFormatBasics)
= 0ab297b4b0711d656b172837abc11452	ocaml(Psmt2Frontend)
= 7d7b72ebf84d4dfb4b996c96b0470e12	ocaml(Psmt2Frontend__Options)
= 6407385f4f368d53d5952fb397f6bdc9	ocaml(Psmt2Frontend__Smtlib_error)
= 619f7f44689c46a50ea4a85165254816	ocaml(Psmt2Frontend__Smtlib_parser)
= 7e02e0c6fdac48d01c2b776f19230214	ocaml(Psmt2Frontend__Smtlib_printer)
= 0b284fa3ea9ca81f3b4cf1ee462140ca	ocaml(Psmt2Frontend__Smtlib_syntax)
= 20caf42ce0d1a3851b588ef379a1ab63	ocaml(Psmt2Frontend__Smtlib_ty)
= b9e48d85d7b8701d0b500d9801f7e034	ocaml(Psmt2Frontend__Smtlib_typed_env)
= 8d3adeaee5bdfe5a90a5f72d22b20543	ocaml(Psmt2Frontend__Smtlib_typed_logic)
= 85f85ddb47edc0c7579657eee740302d	ocaml(Stdlib)
= 12b944b4b2913751cd65bdc638975d4d	ocaml(Stdlib__Buffer)
= 0d152be3cd9163970a657d842fca8ecf	ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808	ocaml(Stdlib__Either)
= e7385010d0d6a0bbd4191bc7546d458a	ocaml(Stdlib__Format)
= bafdecabd3fce4f5ccc09a1a5587dab4	ocaml(Stdlib__Hashtbl)
= be62854f0fbcd8531fe531cd00e34821	ocaml(Stdlib__Lexing)
= feb7c568830f9f239501efb83f4725e4	ocaml(Stdlib__List)
= 71415964978d1cf0c1701af1137aa1ea	ocaml(Stdlib__Map)
= 8debea255efc834da5c1bc2e73f09214	ocaml(Stdlib__Printf)
= cc3f899885b746f777815dc93be7ede2	ocaml(Stdlib__Seq)
= 2c058a31c4619e2e1504072ca87f6bee	ocaml(Stdlib__Stack)
= facad7e0dada5941148738b8188d844f	ocaml(Stdlib__String)
= 9ea864085095970c73b7b17c26c37317	ocaml(Stdlib__Uchar)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 0ab297b4b0711d656b172837abc11452	ocaml(Psmt2Frontend)
= 1df80f076f8dcce51b15e875118b66e4	ocaml(Psmt2Frontend__Main)
= 7d7b72ebf84d4dfb4b996c96b0470e12	ocaml(Psmt2Frontend__Options)
= 6407385f4f368d53d5952fb397f6bdc9	ocaml(Psmt2Frontend__Smtlib_error)
= ab6f103813f24b0d53de46e596a24115	ocaml(Psmt2Frontend__Smtlib_lexer)
= 619f7f44689c46a50ea4a85165254816	ocaml(Psmt2Frontend__Smtlib_parser)
= 7e02e0c6fdac48d01c2b776f19230214	ocaml(Psmt2Frontend__Smtlib_printer)
= 0b284fa3ea9ca81f3b4cf1ee462140ca	ocaml(Psmt2Frontend__Smtlib_syntax)
= 20caf42ce0d1a3851b588ef379a1ab63	ocaml(Psmt2Frontend__Smtlib_ty)
= b9e48d85d7b8701d0b500d9801f7e034	ocaml(Psmt2Frontend__Smtlib_typed_env)
= 8d3adeaee5bdfe5a90a5f72d22b20543	ocaml(Psmt2Frontend__Smtlib_typed_logic)
= 921f93d86adbb76e2967e183923fc867	ocaml(Psmt2Frontend__Smtlib_typing)
= 7b2e2c10cc5024d46421358ff57c031a	ocaml(Psmt2Frontend__Version)
= 0.4.0-11.fc39	ocaml-psmt2-frontend
= 0.4.0-11.fc39	ocaml-psmt2-frontend(aarch-64)
= 0.4.0-11.fc39	ocaml-psmt2-frontend-doc

نحوه نصب

نصب پکیج rpm ocaml-psmt2-frontend:

dnf install ocaml-psmt2-frontend-0.4.0-11.fc39.aarch64.rpm

فایل ها

مسیرها
/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/96
/usr/lib/.build-id/96/c79a592b66e54f3b121281795d64f2d70b1905
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/dc76c589ba6d7c967f358420c32fa538cd46de
/usr/lib64/ocaml/psmt2-frontend
/usr/lib64/ocaml/psmt2-frontend/META
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
/usr/lib64/ocaml/psmt2-frontend_bin
/usr/lib64/ocaml/psmt2-frontend_bin/META
/usr/share/doc/ocaml-psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
/usr/share/doc/ocaml-psmt2-frontend/README.md
/usr/share/licenses/ocaml-psmt2-frontend

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

تاریخ آخرین تغییر	جزئیات
2023-07-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-12	OCaml 5.0 rebuild for Fedora 39
2023-07-10	OCaml 5.0.0 rebuild
2023-03-21	Add patch for Sphinx 6.x compatibility (rhbz#2180496)
2023-01-24	Rebuild OCaml packages for F38
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-12-12	New URL Convert License tag to SPDX
2022-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-21	Use new OCaml macros
2022-06-19	OCaml 4.14.0 rebuild
2022-02-04	OCaml 4.13.1 rebuild to remove package notes
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-12-27	Version 0.4.0 Drop obsolete -autoconf patch Add %check script Add -docs subpackage
2021-10-05	OCaml 4.13.1 build
2021-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild