Paket: psmt2-frontend (0.4.0-4 ve diğerleri)

psmt2-frontend için bağlantılar

• eLxr Yama Takipçisi

psmt2-frontend Kaynak Paketini İndir:

• [psmt2-frontend_0.4.0-4.debian.tar.xz]
• [psmt2-frontend_0.4.0-4.dsc]
• [psmt2-frontend_0.4.0.orig.tar.gz]

Geliştiriciler:

• Debian OCaml Maintainers
• Julien Puydt

Dış Kaynaklar:

• Ana Sayfa [github.com]

Benzer paketler:

• libpsmt2-frontend-ocaml-dev
• z3
• libsymfpu-dev
• python3-parse-stages
• libghc-simple-smt-dev
• libghc-simple-smt-prof
• libghc-simple-smt-doc
• python3-pkgconfig
• libiptables-parse-perl
• exempi
• cvc4

psmt2-frontend ile İlgili Diğer Paketler

• dep: libc6 (>= 2.38)

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

• dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b3)

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

psmt2-frontend indir