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


Advertisement

Description

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

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename libghc-simple-smt-prof_0.9.1-1+b3_i386.deb
Package name libghc-simple-smt-prof
Package version 0.9.1
Package release 1+b3
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 77.46 KB
Installed size 522.00 KB

Alternatives

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

Requires

Name Value
libghc-base-prof-4.12.0.0-701e2 -
libghc-process-prof-1.6.5.0-5b963 -
libghc-simple-smt-dev = 0.9.1-1+b3

Provides

Name Value
libghc-simple-smt-prof-0.9.1-323ad -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libghc-simple-smt-prof_0.9.1-1+b3_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.6.5/simple-smt-0.9.1-IETptjfypRq16dtRmzEGr7/SimpleSMT.p_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/simple-smt-0.9.1-IETptjfypRq16dtRmzEGr7/libHSsimple-smt-0.9.1-IETptjfypRq16dtRmzEGr7_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-simple-templates-dev_0.9.0.0-1+b1_i386.deb basic template language for the Simple web framework
libghc-simple-templates-doc_0.9.0.0-1_all.deb basic template language for the Simple web framework; documentation
libghc-simple-templates-prof_0.9.0.0-1+b1_i386.deb basic template language for the Simple web framework; profiling libraries
libghc-singleton-bool-dev_0.1.4-3_i386.deb type-level booleans
libghc-singleton-bool-doc_0.1.4-3_all.deb type-level booleans; documentation
libghc-singleton-bool-prof_0.1.4-3_i386.deb type-level booleans; profiling libraries
libghc-singletons-dev_2.5.1-1_i386.deb Haskell framework for generating singleton types
libghc-singletons-doc_2.5.1-1_all.deb Haskell framework for generating singleton types; documentation
libghc-singletons-prof_2.5.1-1_i386.deb Haskell framework for generating singleton types; profiling libraries
libghc-skein-dev_1.0.9.4-5+b3_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+b3_i386.deb family of cryptographic hash functions; profiling libraries
libghc-skylighting-core-dev_0.7.7-1+b1_i386.deb syntax highlighting library
libghc-skylighting-core-doc_0.7.7-1_all.deb syntax highlighting library; documentation
libghc-skylighting-core-prof_0.7.7-1+b1_i386.deb syntax highlighting library; profiling libraries
Advertisement
Advertisement