all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: haskell-smtlib  ]

Package: libghc-smtlib-dev (1.1-3 and others)

Links for libghc-smtlib-dev

Screenshot

Debian Resources:

Download Source Package haskell-smtlib:

Maintainers:

Similar packages:

Et bibliotek for arbejde med SMTLIB-formatet

Denne pakke tilbyder et bibliotek til programmeringssproget Haskell. Se http://www.haskell.org/ for yderligere information om Haskell.

Other Packages Related to libghc-smtlib-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-smtlib-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 1.1-3+b1 623.3 kB7,851.0 kB [list of files]
amd64 1.1-3+b1 418.1 kB4,400.0 kB [list of files]
arm64 1.1-3+b1 442.4 kB5,199.0 kB [list of files]
armel 1.1-3+b1 533.6 kB5,476.0 kB [list of files]
armhf 1.1-3+b1 519.7 kB5,406.0 kB [list of files]
hppa (unofficial port) 1.1-3+b3 788.8 kB7,813.0 kB [list of files]
i386 1.1-3+b1 658.2 kB5,958.0 kB [list of files]
ia64 (unofficial port) 1.1-3+b1 683.8 kB13,949.0 kB [list of files]
m68k (unofficial port) 1.1-3 666.6 kB6,301.0 kB [list of files]
mips64el 1.1-3+b1 574.8 kB7,505.0 kB [list of files]
ppc64 (unofficial port) 1.1-3+b1 577.3 kB8,029.0 kB [list of files]
ppc64el 1.1-3+b1 603.2 kB7,349.0 kB [list of files]
riscv64 1.1-3+b1 740.7 kB8,959.0 kB [list of files]
s390x 1.1-3+b1 677.7 kB8,778.0 kB [list of files]
sh4 (unofficial port) 1.1-2 119.1 kB1,513.0 kB [list of files]
sparc64 (unofficial port) 1.1-3+b2 717.9 kB10,497.0 kB [list of files]
x32 (unofficial port) 1.1-3 763.5 kB7,242.0 kB [list of files]