[ bianca ]

Pakiet źródłowy: psmt2-frontend (0.4.0-4)

Odnośniki dla psmt2-frontend

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

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)

Inne pakiety związane z psmt2-frontend

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Pakiet niedostępny
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

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
psmt2-frontend_0.4.0-4.debian.tar.xz	2,2 KiB	d15c5598706837874169c48804cd83b9
psmt2-frontend_0.4.0-4.dsc	2,0 KiB	b5966e7af694971b506d87cf3decd54b
psmt2-frontend_0.4.0.orig.tar.gz	69,1 KiB	4fc9f9a68343b4614f120c1556bee644

Repozytorium kodu źródłowego Debiana (VCS: Git): https://salsa.debian.org/ocaml-team/psmt2-frontend.git
Repozytorium kodu źródłowego Debiana (do przeglądania): https://salsa.debian.org/ocaml-team/psmt2-frontend