[  etiona  ] [  nabia  ] [  aramo  ]

[ Quellcode: haskell-smtlib  ]

Links für libghc-smtlib-prof

Trisquel-Ressourcen:

• Install using apturl
• Entry at directory.fsf.org
• Fehlerberichte
• Changelog
• Copyright-Datei

Quellcode-Paket haskell-smtlib herunterladen:

• [haskell-smtlib_1.1-1build2.dsc]
• [haskell-smtlib_1.1.orig.tar.gz]
• [haskell-smtlib_1.1-1build2.debian.tar.xz]

Betreuer:

• Ubuntu Developers (E-Mail-Archiv)

Original Maintainers:

• Debian Haskell Group (E-Mail-Archiv)
• Kristoffer H Rose

Ähnliche Pakete:

• libghc-smtlib-doc
• libghc-simple-smt-prof
• libghc-random-prof
• libghc-constraints-extras-prof
• libghc-url-prof
• libghc-mime-prof
• libghc-uri-prof
• libghc-src-exts-util-prof
• libghc-polynomial-prof
• libghc-set-extra-prof
• libghc-constraints-prof

Andere Pakete mit Bezug zu libghc-smtlib-prof

hängt ab von

empfiehlt

schlägt vor

• dep: libghc-base-prof-4.13.0.0-d4e5b

  virtuelles Paket, bereitgestellt durch ghc-prof

• dep: libghc-pretty-prof-1.1.3.6-2f341

  virtuelles Paket, bereitgestellt durch ghc-prof

• dep: libghc-smtlib-dev (= 1.1-1build2)

  A library for working with the SMTLIB format.

libghc-smtlib-prof herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
arm64	447,4 kB	5695 kB	[Liste der Dateien]