معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Parser and typechecker for an extension of SMT-LIB 2

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything i686
نام بسته	ocaml-psmt2-frontend
نام فایل بسته	ocaml-psmt2-frontend-0.4.0-7.fc38.i686.rpm
نسخه بسته	0.4.0
انتشار بسته	7.fc38
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Tue 24 Jan 2023 10
هاست سازنده	buildhw-x86-12.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/ACoquereau/psmt2-frontend
مجوز	Apache-2.0
حجم دانلود	2.2M
حجم نصب	6.885M

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-7.fc38.aarch64.rpm	0.4.0	aarch64	Fedora Everything
ocaml-psmt2-frontend-0.4.0-7.fc38.src.rpm	0.4.0	i686	Fedora Everything
ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64.rpm	0.4.0	x86_64	Fedora Everything
ocaml-psmt2-frontend-debuginfo-0.4.0-7.fc38.aarch64.rpm	0.4.0	aarch64	Fedora Everything
ocaml-psmt2-frontend-debuginfo-0.4.0-7.fc38.i686.rpm	0.4.0	i686	Fedora Everything
ocaml-psmt2-frontend-debuginfo-0.4.0-7.fc38.x86_64.rpm	0.4.0	x86_64	Fedora Everything
ocaml-psmt2-frontend-debugsource-0.4.0-7.fc38.aarch64.rpm	0.4.0	aarch64	Fedora Everything
ocaml-psmt2-frontend-debugsource-0.4.0-7.fc38.i686.rpm	0.4.0	i686	Fedora Everything
ocaml-psmt2-frontend-debugsource-0.4.0-7.fc38.x86_64.rpm	0.4.0	x86_64	Fedora Everything
ocaml-psmt2-frontend-devel-0.4.0-7.fc38.aarch64.rpm	0.4.0	aarch64	Fedora Everything
ocaml-psmt2-frontend-devel-0.4.0-7.fc38.i686.rpm	0.4.0	i686	Fedora Everything
ocaml-psmt2-frontend-devel-0.4.0-7.fc38.x86_64.rpm	0.4.0	x86_64	Fedora Everything
ocaml-psmt2-frontend-docs-0.4.0-7.fc38.aarch64.rpm	0.4.0	aarch64	Fedora Everything
ocaml-psmt2-frontend-docs-0.4.0-7.fc38.x86_64.rpm	0.4.0	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	libc.so.6
-	libc.so.6(GLIBC_2.0)
-	libc.so.6(GLIBC_2.1)
-	libc.so.6(GLIBC_2.1.3)
-	libc.so.6(GLIBC_2.17)
-	libc.so.6(GLIBC_2.2)
-	libc.so.6(GLIBC_2.3)
-	libc.so.6(GLIBC_2.3.4)
-	libc.so.6(GLIBC_2.33)
-	libc.so.6(GLIBC_2.34)
-	libc.so.6(GLIBC_2.4)
-	libc.so.6(GLIBC_2.7)
-	libm.so.6
-	libm.so.6(GLIBC_2.0)
-	libm.so.6(GLIBC_2.1)
-	libm.so.6(GLIBC_2.29)
-	libm.so.6(GLIBC_2.35)
= 8f8f634558798ee408df3c50a5539b15	ocaml(CamlinternalFormatBasics)
= 3acb5fff4139ae05e0a9decb7f14b441	ocaml(Psmt2Frontend)
= f2a7d3b1791e22532e11aab66897b80e	ocaml(Psmt2Frontend__Options)
= 9db40cf067a5f5dfaee657fa78b512c2	ocaml(Psmt2Frontend__Smtlib_error)
= e81464008f8a2258172e55589846de9e	ocaml(Psmt2Frontend__Smtlib_parser)
= be9f1a8a628fcb7f7a036510514a2463	ocaml(Psmt2Frontend__Smtlib_printer)
= cb4c1e026844f8e78cd5146035b5774a	ocaml(Psmt2Frontend__Smtlib_syntax)
= 8661f17d2610dfba82827494bde6d5dd	ocaml(Psmt2Frontend__Smtlib_ty)
= 990dd6593a57a6587922a1820ed67a83	ocaml(Psmt2Frontend__Smtlib_typed_env)
= 812b13d1c32c68cbda2225da8fe9f724	ocaml(Psmt2Frontend__Smtlib_typed_logic)
= 79b0e9d3b6f7fed07eb3cc2abb961b91	ocaml(Stdlib)
= 4b09c9a6d0622bbf5a3829234b481822	ocaml(Stdlib__Buffer)
= 26845df28d19584687a38a1ab814c3f9	ocaml(Stdlib__Either)
= b6edb97b685819e873481fe05723c8bc	ocaml(Stdlib__Format)
= 34c0fdd524bf2a75e4d5af64a6d34401	ocaml(Stdlib__Hashtbl)
= c9318c276ac7e383fd682c2dd06be434	ocaml(Stdlib__Lexing)
= ee222542f6f8195441543b8b399b64b9	ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680	ocaml(Stdlib__Map)
= bc8af6214197dc8f40eaa738a4cd6a28	ocaml(Stdlib__Printf)
= b63511032211eae4b567ba313cd72962	ocaml(Stdlib__Seq)
= 30ae8c258e7fc6fb7e6370a60256d724	ocaml(Stdlib__Stack)
= 097838f294457ecbb61ccbcf86cc6972	ocaml(Stdlib__String)
= c0dde02a556a6d79e363ad365d165d57	ocaml(Stdlib__Uchar)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 3acb5fff4139ae05e0a9decb7f14b441	ocaml(Psmt2Frontend)
= 60842ca3bb592935244eccbbac561a22	ocaml(Psmt2Frontend__Main)
= f2a7d3b1791e22532e11aab66897b80e	ocaml(Psmt2Frontend__Options)
= 9db40cf067a5f5dfaee657fa78b512c2	ocaml(Psmt2Frontend__Smtlib_error)
= 9e85d1060c958e8d001eb03bca8f6a88	ocaml(Psmt2Frontend__Smtlib_lexer)
= e81464008f8a2258172e55589846de9e	ocaml(Psmt2Frontend__Smtlib_parser)
= be9f1a8a628fcb7f7a036510514a2463	ocaml(Psmt2Frontend__Smtlib_printer)
= cb4c1e026844f8e78cd5146035b5774a	ocaml(Psmt2Frontend__Smtlib_syntax)
= 8661f17d2610dfba82827494bde6d5dd	ocaml(Psmt2Frontend__Smtlib_ty)
= 990dd6593a57a6587922a1820ed67a83	ocaml(Psmt2Frontend__Smtlib_typed_env)
= 812b13d1c32c68cbda2225da8fe9f724	ocaml(Psmt2Frontend__Smtlib_typed_logic)
= ac4488d3b0b57c9b3b554ec5407ec195	ocaml(Psmt2Frontend__Smtlib_typing)
= 205181e6576f0c849c151e17320752d3	ocaml(Psmt2Frontend__Version)
= 0.4.0-7.fc38	ocaml-psmt2-frontend
= 0.4.0-7.fc38	ocaml-psmt2-frontend(x86-32)
= 0.4.0-7.fc38	ocaml-psmt2-frontend-doc

نحوه نصب

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

dnf install ocaml-psmt2-frontend-0.4.0-7.fc38.i686.rpm

فایل ها

مسیرها
/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/85
/usr/lib/.build-id/85/220d2dc311b6e38d7798e9b7b1dcba790c0290
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/327aec6bf1091ff922b77c487a0c496e81d78f
/usr/lib/ocaml/psmt2-frontend
/usr/lib/ocaml/psmt2-frontend/META
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
/usr/lib/ocaml/psmt2-frontend_bin
/usr/lib/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-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
2021-07-19	Move META to the main package
2021-03-29	Add -autoconf patch for autoconf 2.71 (bz 1943044)
2021-03-02	OCaml 4.12.0 build
2021-01-26	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild