» Ubuntu » Pakiety » jammy (22.04LTS) » haskell » libghc-smtlib-dev
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Pakiet źródłowy: haskell-smtlib  ]

Pakiet: libghc-smtlib-dev (1.1-1build2) [universe]

Odnośniki dla libghc-smtlib-dev

Screenshot

Zasoby systemu Ubuntu:

Pobieranie pakietu źródłowego haskell-smtlib:

Opiekun:

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.

Podobne pakiety:

A library for working with the SMTLIB format.

Inne pakiety związane z libghc-smtlib-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances
  • sug: libghc-smtlib-doc
    A library for working with the SMTLIB format.; documentation
  • sug: libghc-smtlib-prof
    A library for working with the SMTLIB format.; profiling libraries

Pobieranie libghc-smtlib-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 449,7 KiB5 264,0 KiB [lista plików]