libghc-quickcheck-safe-prof_0.1.0.4-2+b2_i386.deb


Advertisement

Description

libghc-quickcheck-safe-prof - Safe reimplementation of QuickCheck's core; profiling libraries

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename libghc-quickcheck-safe-prof_0.1.0.4-2+b2_i386.deb
Package name libghc-quickcheck-safe-prof
Package version 0.1.0.4
Package release 2+b2
Package architecture i386
Package type deb
Category haskell
Homepage http://hackage.haskell.org/package/QuickCheck-safe
License -
Maintainer Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Download size 36.21 KB
Installed size 187.00 KB
QuickCheck-safe reimplements the quickCheck functionality with a pure
interface and a very small trusted base (see Test.QuickCheck.Safe.Trusted).
* uses the existing Arbitrary instances
* implemented features: testing, result minimization (i.e., shrinking)
* missing features: expected failures, label frequencies, coverage
The package is targeted at users who want to leverage SafeHaskell for
sandboxing.
>>> putStr $ quickCheck (inventQCGen ()) (\x -> length (x :: [()]) < 10)
*** Failed! Falsifiable (after 18 tests and 3 shrinks):
[(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
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-quickcheck-safe-prof_0.1.0.4-2+b2_amd64.deb 0.1.0.4 amd64 Debian Main
libghc-quickcheck-safe-prof - - -

Requires

Name Value
libghc-base-prof-4.11.1.0-3abbc -
libghc-quickcheck-prof-2.11.3-0255a -
libghc-quickcheck-safe-dev = 0.1.0.4-2+b2

Provides

Name Value
libghc-quickcheck-safe-prof-0.1.0.4-0b012 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libghc-quickcheck-safe-prof_0.1.0.4-2+b2_i386.deb
Source Package haskell-quickcheck-safe

Install Howto

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

Files

Path
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/QuickCheck-safe-0.1.0.4-57IU8GXF0IT6YTZ72UhWPI/libHSQuickCheck-safe-0.1.0.4-57IU8GXF0IT6YTZ72UhWPI_p.a
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/QuickCheck-safe-0.1.0.4-57IU8GXF0IT6YTZ72UhWPI/Test/QuickCheck/Safe.p_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/QuickCheck-safe-0.1.0.4-57IU8GXF0IT6YTZ72UhWPI/Test/QuickCheck/Safe/Trusted.p_hi
/usr/share/doc/libghc-quickcheck-safe-prof/buildinfo_i386.gz
/usr/share/doc/libghc-quickcheck-safe-prof/changelog.Debian.gz
/usr/share/doc/libghc-quickcheck-safe-prof/changelog.Debian.i386.gz
/usr/share/doc/libghc-quickcheck-safe-prof/changelog.gz
/usr/share/doc/libghc-quickcheck-safe-prof/copyright

Changelog

2018-09-30 - Ilias Tsitsimpis <iliastsi@debian.org>
haskell-quickcheck-safe (0.1.0.4-2) unstable; urgency=medium
* Bump debhelper compat level to 10
2018-07-03 - Clint Adams <clint@debian.org>
haskell-quickcheck-safe (0.1.0.4-1) unstable; urgency=medium
* Set Rules-Requires-Root to no.
* New upstream release
2018-04-09 - Clint Adams <clint@debian.org>
haskell-quickcheck-safe (0.1.0.3-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-07-05 - Clint Adams <clint@debian.org>
haskell-quickcheck-safe (0.1.0.2-1) unstable; urgency=medium
* New upstream release
2016-10-27 - Clint Adams <clint@debian.org>
haskell-quickcheck-safe (0.1.0.1-4) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
2016-10-16 - Clint Adams <clint@debian.org>
haskell-quickcheck-safe (0.1.0.1-3) 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)
[ Clint Adams ]
* Temporarily build-depend on ghc 8.
2015-12-03 - Clint Adams <clint@debian.org>
haskell-quickcheck-safe (0.1.0.1-2) unstable; urgency=medium
* Switch Vcs-Git/Vcs-Browser headers to new location.
2015-08-20 - Joachim Breitner <nomeata@debian.org>
haskell-quickcheck-safe (0.1.0.1-1) experimental; urgency=low
* Initial release
* Depend on haskell-devscripts >= 0.10 to ensure that this package
builds against GHC in experimental

See Also

Package Description
libghc-quickcheck-simple-dev_0.1.0.4-2+b2_i386.deb Test properties and default-mains for QuickCheck
libghc-quickcheck-simple-doc_0.1.0.4-2_all.deb Test properties and default-mains for QuickCheck; documentation
libghc-quickcheck-simple-prof_0.1.0.4-2+b2_i386.deb Test properties and default-mains for QuickCheck; profiling libraries
libghc-quickcheck-text-dev_0.1.2.1-4+b2_i386.deb alternative arbitrary instance for Text
libghc-quickcheck-text-doc_0.1.2.1-4_all.deb alternative arbitrary instance for Text; documentation
libghc-quickcheck-text-prof_0.1.2.1-4+b2_i386.deb alternative arbitrary instance for Text; profiling libraries
libghc-quickcheck-unicode-dev_1.0.1.0-3+b2_i386.deb Generator and shrink functions for testing Unicode-related software
libghc-quickcheck-unicode-doc_1.0.1.0-3_all.deb Generator and shrink functions for testing Unicode-related software.; documentation
libghc-quickcheck-unicode-prof_1.0.1.0-3+b2_i386.deb Generator and shrink functions for testing Unicode-related software.; profiling libraries
libghc-quickcheck2-dev_2.11.3-1+b2_i386.deb Haskell automatic testing library for GHC
libghc-quickcheck2-doc_2.11.3-1_all.deb Haskell automatic testing library for GHC; documentation
libghc-quickcheck2-prof_2.11.3-1+b2_i386.deb Haskell automatic testing library for GHC; profiling libraries
libghc-random-dev_1.1-7+b2_i386.deb Random number generator for Haskell
libghc-random-doc_1.1-7_all.deb Random number generator for Haskell; documentation
libghc-random-fu-dev_0.2.7.0-6+b1_i386.deb random number generation
Advertisement
Advertisement