[ bianca ]

Paquet source : psmt2-frontend (0.4.0-4)

Liens pour psmt2-frontend

Responsables :

Ressources externes :

Page d'accueil [github.com]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

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)

Autres paquets associés à psmt2-frontend

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Paquet indisponible
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

Fichier	Taille (en ko)	Somme MD5
psmt2-frontend_0.4.0-4.debian.tar.xz	2,2 ko	d15c5598706837874169c48804cd83b9
psmt2-frontend_0.4.0-4.dsc	2,0 ko	b5966e7af694971b506d87cf3decd54b
psmt2-frontend_0.4.0.orig.tar.gz	69,1 ko	4fc9f9a68343b4614f120c1556bee644

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/ocaml-team/psmt2-frontend.git
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/ocaml-team/psmt2-frontend