» Ubuntu » Paketit » noble (24.04LTS) » haskell » libghc-simple-smt-dev
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Source: haskell-simple-smt  ]

Paketti: libghc-simple-smt-dev (0.9.7-2) [universe]

Links for libghc-simple-smt-dev

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti haskell-simple-smt:

Ylläpitäjä:

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.

External Resources:

Samankaltaisia paketteja:

A simple way to interact with an SMT solver process.

Muut pakettiin libghc-simple-smt-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-simple-smt-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 113.9 kt849.0 kt [tiedostoluettelo]
arm64 120.0 kt992.0 kt [tiedostoluettelo]
armhf 128.0 kt1,008.0 kt [tiedostoluettelo]
ppc64el 156.8 kt1,416.0 kt [tiedostoluettelo]
riscv64 180.7 kt1,585.0 kt [tiedostoluettelo]
s390x 155.6 kt1,569.0 kt [tiedostoluettelo]