eLxr packages

 / Pacotes / bianca (stable) / Fonte / - / psmt2-frontend

[  bianca  ]

Links para psmt2-frontend

• Repositório-fonte Debian (Git)
• Rastreador de patch eLxr

Mantenedores(as):

• Debian OCaml Maintainers
• Julien Puydt

Fontes externas:

• Pagina principal [github.com]

Os seguintes pacotes binários são criados a partir deste pacote-fonte:

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)

Outros pacotes relacionados a psmt2-frontend

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Pacote não disponível

• 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

Arquivo	Tamanho (em kB)	Soma de verificação MD5
psmt2-frontend_0.4.0-4.debian.tar.xz	2.2 kB	d15c5598706837874169c48804cd83b9
psmt2-frontend_0.4.0-4.dsc	2.0 kB	b5966e7af694971b506d87cf3decd54b
psmt2-frontend_0.4.0.orig.tar.gz	69.1 kB	4fc9f9a68343b4614f120c1556bee644

Repositório-fonte de pacotes Debian (VCS: Git)

https://salsa.debian.org/ocaml-team/psmt2-frontend.git

Repositório-fonte de pacotes Debian (navegável)

https://salsa.debian.org/ocaml-team/psmt2-frontend