Tarkennettu haku
[  bookworm  ] [  trixie  ] [  sid  ]
[ Source: haskell-what4  ]

Paketti: libghc-what4-dev (1.3-4 ja muut)

Links for libghc-what4-dev

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti haskell-what4:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

Solver-agnostic symbolic values support for issuing queries

Muut pakettiin libghc-what4-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-what4-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
amd64 1.3-4+b3 3,677.9 kt37,028.0 kt [tiedostoluettelo]
arm64 1.3-4+b2 5,387.4 kt57,948.0 kt [tiedostoluettelo]
armel 1.3-4+b2 5,132.1 kt47,444.0 kt [tiedostoluettelo]
armhf 1.3-4+b2 5,029.6 kt46,512.0 kt [tiedostoluettelo]
i386 1.3-4+b2 6,133.9 kt50,555.0 kt [tiedostoluettelo]
mips64el 1.3-4+b1 5,428.6 kt68,774.0 kt [tiedostoluettelo]
mipsel 1.3-4+b1 5,073.3 kt52,842.0 kt [tiedostoluettelo]
ppc64el 1.3-4+b1 5,479.1 kt64,732.0 kt [tiedostoluettelo]
s390x 1.3-4+b1 5,897.5 kt65,872.0 kt [tiedostoluettelo]