libghc-simple-smt-prof_0.9.1-1+b2_i386.deb


Advertisement

Description

libghc-simple-smt-prof - A simple way to interact with an SMT solver process.; profiling libraries

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename libghc-simple-smt-prof_0.9.1-1+b2_i386.deb
Package name libghc-simple-smt-prof
Package version 0.9.1
Package release 1+b2
Package architecture i386
Package type deb
Category haskell
Homepage http://hackage.haskell.org/package/simple-smt
License -
Maintainer Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Download size 79.14 KB
Installed size 529.00 KB
This package provides a simple way to interact with an SMT solver process,
using the SmtLib-2 format.
This package provides a library for the Haskell programming language, compiled
for profiling.  See http://www.haskell.org/ for more information on Haskell.

Alternatives

Package Version Architecture Repository
libghc-simple-smt-prof_0.9.1-1+b2_amd64.deb 0.9.1 amd64 Debian Main
libghc-simple-smt-prof - - -

Requires

Name Value
libghc-base-prof-4.11.1.0-3abbc -
libghc-process-prof-1.6.3.0-871ce -
libghc-simple-smt-dev = 0.9.1-1+b2

Provides

Name Value
libghc-simple-smt-prof-0.9.1-68284 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libghc-simple-smt-prof_0.9.1-1+b2_i386.deb
Source Package haskell-simple-smt

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libghc-simple-smt-prof deb package:
    # sudo apt-get install libghc-simple-smt-prof

Files

Path
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/simple-smt-0.9.1-73rH3oTvGg61ZDKsrAFdj8/SimpleSMT.p_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/simple-smt-0.9.1-73rH3oTvGg61ZDKsrAFdj8/libHSsimple-smt-0.9.1-73rH3oTvGg61ZDKsrAFdj8_p.a
/usr/share/doc/libghc-simple-smt-prof/buildinfo_i386.gz
/usr/share/doc/libghc-simple-smt-prof/changelog.Debian.gz
/usr/share/doc/libghc-simple-smt-prof/changelog.Debian.i386.gz
/usr/share/doc/libghc-simple-smt-prof/changelog.gz
/usr/share/doc/libghc-simple-smt-prof/copyright

Changelog

2018-09-30 - Ilias Tsitsimpis <iliastsi@debian.org>
haskell-simple-smt (0.9.1-1) unstable; urgency=medium
* Bump debhelper compat level to 10
* New upstream release
2018-07-03 - Clint Adams <clint@debian.org>
haskell-simple-smt (0.8-1) unstable; urgency=medium
* Set Rules-Requires-Root to no.
* New upstream release
2018-04-09 - Clint Adams <clint@debian.org>
haskell-simple-smt (0.7.1-1) unstable; urgency=medium
* New upstream release
2018-04-09 - Clint Adams <clint@debian.org>
haskell-simple-smt (0.6.0-4) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* Change Priority to optional. Since Debian Policy version 4.0.1,
priority extra has been deprecated.
* Use the HTTPS form of the copyright-format URL
* Modify d/watch and Source field in d/copyright to use HTTPS
* Declare compliance with Debian policy 4.1.1
* Use salsa.debian.org URLs in Vcs-{Browser,Git} fields
[ Clint Adams ]
* Bump to Standards-Version 4.1.4.
2016-10-27 - Clint Adams <clint@debian.org>
haskell-simple-smt (0.6.0-3) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
2016-10-14 - Clint Adams <clint@debian.org>
haskell-simple-smt (0.6.0-2) experimental; urgency=medium
[ Clint Adams ]
* Temporarily build-depend on ghc 8.
2016-06-01 - Joachim Breitner <nomeata@debian.org>
haskell-simple-smt (0.6.0-1) unstable; urgency=low
* Initial release

See Also

Package Description
libghc-singleton-bool-dev_0.1.4-2+b2_i386.deb type-level booleans
libghc-singleton-bool-doc_0.1.4-2_all.deb type-level booleans; documentation
libghc-singleton-bool-prof_0.1.4-2+b2_i386.deb type-level booleans; profiling libraries
libghc-singletons-dev_2.4.1-2_i386.deb Haskell framework for generating singleton types
libghc-singletons-doc_2.4.1-2_all.deb Haskell framework for generating singleton types; documentation
libghc-singletons-prof_2.4.1-2_i386.deb Haskell framework for generating singleton types; profiling libraries
libghc-skein-dev_1.0.9.4-5+b2_i386.deb family of cryptographic hash functions
libghc-skein-doc_1.0.9.4-5_all.deb family of cryptographic hash functions; documentation
libghc-skein-prof_1.0.9.4-5+b2_i386.deb family of cryptographic hash functions; profiling libraries
libghc-skylighting-core-dev_0.7.5-1_i386.deb syntax highlighting library
libghc-skylighting-core-doc_0.7.5-1_all.deb syntax highlighting library; documentation
libghc-skylighting-core-prof_0.7.5-1_i386.deb syntax highlighting library; profiling libraries
libghc-skylighting-dev_0.7.5-1_i386.deb syntax highlighting library
libghc-skylighting-doc_0.7.5-1_all.deb syntax highlighting library; documentation
libghc-skylighting-prof_0.7.5-1_i386.deb syntax highlighting library; profiling libraries
Advertisement
Advertisement