معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

Parse and type-check SMT-LIB 2 (dev files)

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Debian Bookworm-12
مخزن	Debian main s390x
نام بسته	libpsmt2-frontend-ocaml-dev
نام فایل بسته	libpsmt2-frontend-ocaml-dev_0.4.0-1_s390x.deb
نسخه بسته	0.4.0
انتشار بسته	1
معماری بسته	s390x
نگهدارنده	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت	-
هاست سازنده	-
نوع بسته	.deb
آدرس صفحه اصلی	https://github.com/ACoquereau/psmt2-frontend
مجوز	-
حجم دانلود	1058280
حجم نصب	5899

A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism. . This package provides the dev files.

بسته	نسخه	معماری	مخزن
libpsmt2-frontend-ocaml-dev_0.4.0-1+b1_amd64.deb	0.4.0	amd64	Debian main
libpsmt2-frontend-ocaml-dev_0.4.0-1_arm64.deb	0.4.0	arm64	Debian main
libpsmt2-frontend-ocaml-dev_0.4.0-1_armel.deb	0.4.0	armel	Debian main
libpsmt2-frontend-ocaml-dev_0.4.0-1_armhf.deb	0.4.0	armhf	Debian main
libpsmt2-frontend-ocaml-dev_0.4.0-1_i386.deb	0.4.0	i386	Debian main
libpsmt2-frontend-ocaml-dev_0.4.0-1_mips64el.deb	0.4.0	mips64el	Debian main
libpsmt2-frontend-ocaml-dev_0.4.0-1_mipsel.deb	0.4.0	mipsel	Debian main
libpsmt2-frontend-ocaml-dev_0.4.0-1_ppc64el.deb	0.4.0	ppc64el	Debian main

مقدار	نام
-	libpsmt2-frontend-ocaml-7esp5
-	ocaml-4.13.1

نصب پکیج deb libpsmt2-frontend-ocaml-dev:

sudo apt-get install libpsmt2-frontend-ocaml-dev_0.4.0-1_s390x.deb