DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamelibghc6-lazysmallcheck-dev
BeschreibungA library for demand-driven testing of Haskell programs
Archiv/RepositoryOffizielles Ubuntu Archiv lucid (universe)
Version0.5-1
Sektionuniverse/haskell
Prioritätoptional
Installierte Größe428 Byte
Hängt ab vonlibghc6-base-dev-3.0.3.2-52ace, libghc6-haskell98-dev-1.0.1.1-0fdaf, libc6 (>= 2.4), libffi5 (>= 3.0
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellehaskell-lazysmallcheck
Paketgröße66178 Byte
Prüfsumme MD5eadd1b75b47d32db57b6c14761690c22
Prüfsumme SHA1230dabf34d6d8e21f5230fb398705f036b2df749
Prüfsumme SHA25628e9291258f76ce452f72aa6f52145b24d59f047a3b0fb23b34d567a120e031e
Link zum Herunterladenlibghc6-lazysmallcheck-dev_0.5-1_i386.deb
Ausführliche BeschreibungThis package provides a library for the Haskell programming language. . Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to ``eager'' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.


Impressum
Linux is a registered trademark of Linus Torvalds