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

Paketti: libghc-simple-smt-dev (0.9.7-4) [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 104.9 kt822.0 kt [tiedostoluettelo]
arm64 109.8 kt955.0 kt [tiedostoluettelo]
armhf 140.8 kt1,038.0 kt [tiedostoluettelo]
ppc64el 133.0 kt1,282.0 kt [tiedostoluettelo]
riscv64 201.1 kt1,672.0 kt [tiedostoluettelo]
s390x 159.0 kt1,546.0 kt [tiedostoluettelo]