libghc-smallcheck-prof_1.1.5-2+b2_i386.deb


Advertisement

Description

libghc-smallcheck-prof - Another lightweight testing library; profiling libraries

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename libghc-smallcheck-prof_1.1.5-2+b2_i386.deb
Package name libghc-smallcheck-prof
Package version 1.1.5
Package release 2+b2
Package architecture i386
Package type deb
Category haskell
Homepage https://github.com/feuerbach/smallcheck
License -
Maintainer Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Download size 155.53 KB
Installed size 1.26 MB
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.
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-smallcheck-prof_1.1.5-2+b2_amd64.deb 1.1.5 amd64 Debian Main
libghc-smallcheck-prof - - -

Requires

Name Value
libghc-base-prof-4.11.1.0-3abbc -
libghc-ghc-prim-prof-0.5.2.0-18731 -
libghc-logict-prof-0.6.0.2-11dab -
libghc-mtl-prof-2.2.2-32af5 -
libghc-pretty-prof-1.1.3.6-41c62 -
libghc-smallcheck-dev = 1.1.5-2+b2

Provides

Name Value
libghc-smallcheck-prof-1.1.5-e97ad -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libghc-smallcheck-prof_1.1.5-2+b2_i386.deb
Source Package haskell-smallcheck

Install Howto

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

Files

Path
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/libHSsmallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS_p.a
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck.p_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Drivers.p_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Property.p_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Series.p_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/SeriesMonad.p_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Property/Result.p_hi
/usr/share/doc/libghc-smallcheck-prof/buildinfo_i386.gz
/usr/share/doc/libghc-smallcheck-prof/changelog.Debian.gz
/usr/share/doc/libghc-smallcheck-prof/changelog.Debian.i386.gz
/usr/share/doc/libghc-smallcheck-prof/changelog.gz
/usr/share/doc/libghc-smallcheck-prof/copyright

Changelog

2018-10-01 - Ilias Tsitsimpis <iliastsi@debian.org>
haskell-smallcheck (1.1.5-2) unstable; urgency=medium
* Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
2018-09-29 - Ilias Tsitsimpis <iliastsi@debian.org>
haskell-smallcheck (1.1.5-1) unstable; urgency=medium
* Bump debhelper compat level to 10
* New upstream release
2018-07-03 - Clint Adams <clint@debian.org>
haskell-smallcheck (1.1.4-1) unstable; urgency=medium
* Set Rules-Requires-Root to no.
* New upstream release
2018-04-09 - Clint Adams <clint@debian.org>
haskell-smallcheck (1.1.3.1-1) 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.
* New upstream release
2017-09-03 - Sean Whitton <spwhitton@spwhitton.name>
haskell-smallcheck (1.1.2-1) unstable; urgency=medium
* New upstream release
2016-10-27 - Clint Adams <clint@debian.org>
haskell-smallcheck (1.1.1-7) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
2016-10-16 - Clint Adams <clint@debian.org>
haskell-smallcheck (1.1.1-6) experimental; urgency=medium
[ Dmitry Bogatov ]
* Use secure (https) uri in Vcs-Git field in 'debian/control'
* Bump standards version to 3.9.8 (no changes needed)
* Convert `debian/copyright' to dep5 format
[ Clint Adams ]
* Temporarily build-depend on ghc 8.
2015-12-03 - Clint Adams <clint@debian.org>
haskell-smallcheck (1.1.1-5) unstable; urgency=medium
* Switch Vcs-Git/Vcs-Browser headers to new location.
2015-08-20 - Joachim Breitner <nomeata@debian.org>
haskell-smallcheck (1.1.1-4) experimental; urgency=medium
* Bump standards-version to 3.9.6
* Depend on haskell-devscripts >= 0.10 to ensure that this package
builds against GHC in experimental
2015-04-27 - Joachim Breitner <nomeata@debian.org>
haskell-smallcheck (1.1.1-3) unstable; urgency=medium
* Upload to unstable

See Also

Package Description
libghc-smtlib-dev_1.0.9-2+b2_i386.deb A library for working with the SMTLIB format
libghc-smtlib-doc_1.0.9-2_all.deb A library for working with the SMTLIB format.; documentation
libghc-smtlib-prof_1.0.9-2+b2_i386.deb A library for working with the SMTLIB format.; profiling libraries
libghc-smtp-mail-dev_0.1.4.6-4+b1_i386.deb Simple email sending via SMTP
libghc-smtp-mail-doc_0.1.4.6-4_all.deb Simple email sending via SMTP; documentation
libghc-smtp-mail-prof_0.1.4.6-4+b1_i386.deb Simple email sending via SMTP; profiling libraries
libghc-snap-core-dev_1.0.3.2-3+b1_i386.deb Snap: A Haskell Web Framework (Core)
libghc-snap-core-doc_1.0.3.2-3_all.deb Snap: A Haskell Web Framework (Core); documentation
libghc-snap-core-prof_1.0.3.2-3+b1_i386.deb Snap: A Haskell Web Framework (Core); profiling libraries
libghc-snap-dev_1.1.1.0-3+b1_i386.deb Snap Web Framework
libghc-snap-doc_1.1.1.0-3_all.deb Snap Web Framework; documentation
libghc-snap-prof_1.1.1.0-3+b1_i386.deb Snap Web Framework; profiling libraries
libghc-snap-server-dev_1.1.0.0-3+b1_i386.deb iteratee-based, epoll-enabled web server for the Snap Framework
libghc-snap-server-doc_1.1.0.0-3_all.deb iteratee-based, epoll-enabled web server for the Snap Framework; documentation
libghc-snap-server-prof_1.1.0.0-3+b1_i386.deb iteratee-based, epoll-enabled web server for the Snap Framework; profiling lib
Advertisement
Advertisement