[ bianca ]

Пакет-източник: psmt2-frontend (0.4.0-4)

Връзки за psmt2-frontend

Отговорници:

Външни препратки:

Начална страница [github.com]

Следните двоични пакети са компилирани от този пакет-източник:

libpsmt2-frontend-ocaml: Parse and type-check SMT-LIB 2 (runtime files)
libpsmt2-frontend-ocaml-dev: Parse and type-check SMT-LIB 2 (dev files)
psmt2-frontend: Parse and type-check SMT-LIB 2 (tool)

Други пакети, свързани с psmt2-frontend

зависимости при компилиране

зависимости при компилиране (архитектурно-независими)

adep: debhelper-compat (= 13)

Пакетът не е наличен
adep: dh-ocaml (>= 1.2.2)

helper tools for maintaining OCaml-related Debian packages
adep: libmenhir-ocaml-dev

Menhir library for OCaml
adep: menhir

Parser generator for OCaml
adep: ocaml-dune

composable build system for OCaml projects

Download psmt2-frontend

Файл	Големина (в кБ)	контролна сума MD5
psmt2-frontend_0.4.0-4.debian.tar.xz	2,2 кБ	d15c5598706837874169c48804cd83b9
psmt2-frontend_0.4.0-4.dsc	2,0 кБ	b5966e7af694971b506d87cf3decd54b
psmt2-frontend_0.4.0.orig.tar.gz	69,1 кБ	4fc9f9a68343b4614f120c1556bee644

Хранилище на изходния код на пакета (СКП: Git): https://salsa.debian.org/ocaml-team/psmt2-frontend.git
Хранилище на изходния код на пакета (за разглеждане през браузър): https://salsa.debian.org/ocaml-team/psmt2-frontend