» Ubuntu » Pakketten » plucky (25.04) » ocaml » psmt2-frontend
noble  ] [  plucky  ] [  questing  ] [  resolute  ]
[ Bron: psmt2-frontend  ]

Pakket: psmt2-frontend (0.4.0-4build2) [universe]

Verwijzigingen voor psmt2-frontend

Screenshot

Ubuntu bronnen:

Het bronpakket psmt2-frontend downloaden:

Beheerder:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Externe bronnen:

Vergelijkbare pakketten:

Parse and type-check SMT-LIB 2 (tool)

Andere aan psmt2-frontend gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libc6 (>= 2.38)
    GNU C Library: Shared libraries
  • dep: libpsmt2-frontend-ocaml (= 0.4.0-4build2)
    Parse and type-check SMT-LIB 2 (runtime files)
  • dep: libzstd1 (>= 1.5.5) [armhf]
    fast lossless compression algorithm

psmt2-frontend downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 593,2 kB2.207,0 kB [overzicht]
arm64 655,5 kB2.567,0 kB [overzicht]
armhf 213,6 kB868,0 kB [overzicht]
ppc64el 630,3 kB2.503,0 kB [overzicht]
riscv64 609,8 kB2.287,0 kB [overzicht]
s390x 600,4 kB2.467,0 kB [overzicht]