Ricardo Wurmus
|
a54b744126
|
gnu: Add ghc-nanospec.
* gnu/packages/haskell-check.scm (ghc-nanospec): New variable.
|
2018-02-13 13:37:39 +01:00 |
|
Ricardo Wurmus
|
ee448389cd
|
gnu: Add ghc-tasty-expected-failure.
* gnu/packages/haskell-check.scm (ghc-tasty-expected-failure): New variable.
|
2018-02-13 13:37:39 +01:00 |
|
Ricardo Wurmus
|
04a699919a
|
gnu: ghc-quickcheck-instances: Update to 0.3.16.1.
* gnu/packages/haskell-check.scm (ghc-quickcheck-instances): Update to
0.3.16.1.
[inputs]: Add ghc-base-compat, ghc-tagged, ghc-transformers-compat,
ghc-uuid-types, and ghc-case-insensitive.
|
2018-02-13 13:37:33 +01:00 |
|
Ricardo Wurmus
|
0f55dff335
|
gnu: ghc-hspec-meta: Update to 2.2.1.
* gnu/packages/haskell-check.scm (ghc-hspec-meta): Update to 2.2.1.
|
2018-02-13 13:37:32 +01:00 |
|
Ricardo Wurmus
|
b80a6f30c8
|
gnu: ghc-hunit: Update to 1.3.1.2.
* gnu/packages/haskell-check.scm (ghc-hunit): Update to 1.3.1.2.
|
2018-02-13 13:37:32 +01:00 |
|
Ricardo Wurmus
|
245efb325b
|
gnu: ghc-hspec-core: Update to 2.2.4.
* gnu/packages/haskell-check.scm (ghc-hspec-core): Update to 2.2.4.
|
2018-02-13 13:37:32 +01:00 |
|
Ricardo Wurmus
|
ed03ac41cf
|
gnu: ghc-hspec: Update to 2.2.4.
* gnu/packages/haskell-check.scm (ghc-hspec): Update to 2.2.4.
|
2018-02-13 13:37:32 +01:00 |
|
Ricardo Wurmus
|
669692eb55
|
gnu: ghc-tasty: Update to 0.11.0.4.
* gnu/packages/haskell-check.scm (ghc-tasty): Update to 0.11.0.4.
[inputs]: Add ghc-regex-tdfa.
|
2018-02-13 13:37:32 +01:00 |
|
Ricardo Wurmus
|
e5199a2cda
|
gnu: ghc-test-framework-quickcheck2: Update to 0.3.0.4.
* gnu/packages/haskell-check.scm (ghc-test-framework-quickcheck2): Update to
0.3.0.4.
[source]: Remove snippet.
|
2018-02-13 13:37:32 +01:00 |
|
Ricardo Wurmus
|
86ad4ee373
|
gnu: hspec-discover: Update to 2.2.4.
* gnu/packages/haskell-check.scm (hspec-discover): Update to 2.2.4.
|
2018-02-13 13:37:32 +01:00 |
|
Ricardo Wurmus
|
7fa02bc7ab
|
gnu: ghc-test-framework: Fix build with GHC 8.
* gnu/packages/haskell-check.scm (ghc-test-framework)[arguments]: Permit
building with newer version of "time".
|
2018-02-13 13:37:32 +01:00 |
|
Ricardo Wurmus
|
d5e86172ca
|
gnu: Add ghc-quickcheck-latest.
* gnu/packages/haskell-check.scm (ghc-quickcheck-latest): New variable.
|
2018-02-13 13:37:32 +01:00 |
|
Ricardo Wurmus
|
7291ad1e12
|
gnu: ghc-quickcheck: Update to 2.10.1.
* gnu/packages/haskell-check.scm (ghc-quickcheck): Update to 2.10.1.
[inputs]: Add ghc-random.
[description]: Add two sentences.
|
2018-02-13 13:37:32 +01:00 |
|
Tobias Geerinckx-Rice
|
78724a5a91
|
gnu: haskell-check: Use HTTPS for hspec.github.io home pages.
* gnu/packages/haskell-check.scm (hspec-discover, ghc-hspec-core)
(ghc-hspec-meta, ghc-hspec, ghc-hspec-contrib)[home-page]: Use HTTPS.
|
2018-01-16 22:21:34 +01:00 |
|
Tobias Geerinckx-Rice
|
03de26343e
|
gnu: ghc-quickcheck-unicode: Update to 1.0.1.0.
* gnu/packages/haskell-check.scm (ghc-quickcheck-unicode): Update to
1.0.1.0.
|
2018-01-10 15:59:45 +01:00 |
|
Tobias Geerinckx-Rice
|
bb0e9ca4d9
|
gnu: ghc-quickcheck-io: Update to 0.2.0.
* gnu/packages/haskell-check.scm (ghc-quickcheck-io): Update to 0.2.0
|
2017-12-07 02:59:27 +01:00 |
|
Tobias Geerinckx-Rice
|
0e9f42496b
|
gnu: ghc-tasty-rerun: Update to 1.1.8.
* gnu/packages/haskell-check.scm (ghc-tasty-rerun): Update to 1.1.8
|
2017-12-07 02:59:27 +01:00 |
|
Tobias Geerinckx-Rice
|
1fd90622ff
|
gnu: ghc-tasty-smallcheck: Use HTTPS for home page.
* gnu/packages/haskell-check.scm (ghc-tasty-smallcheck)[home-page]: Use
HTTPS.
|
2017-12-07 02:59:26 +01:00 |
|
Tobias Geerinckx-Rice
|
f3ec98660d
|
gnu: ghc-tasty-smallcheck: Update to 0.8.1.
* gnu/packages/haskell-check.scm (ghc-tasty-smallcheck): Update to 0.8.1
|
2017-12-07 02:59:26 +01:00 |
|
Tobias Geerinckx-Rice
|
08bb5bbbca
|
gnu: ghc-test-framework-hunit: Update to 0.3.0.2.
* gnu/packages/haskell-check.scm (ghc-test-framework-hunit): Update to 0.3.0.2
|
2017-12-07 02:59:25 +01:00 |
|
Tobias Geerinckx-Rice
|
49b9c8005c
|
gnu: ghc-tasty-golden: Mark up description.
* gnu/packages/haskell-check.scm (ghc-tasty-golden)[description]: Use @dfn.
|
2017-12-07 02:59:25 +01:00 |
|
Tobias Geerinckx-Rice
|
5f83ccbdee
|
gnu: ghc-tasty-golden: Update to 2.3.1.1.
* gnu/packages/haskell-check.scm (ghc-tasty-golden): Update to 2.3.1.1
|
2017-12-07 02:59:25 +01:00 |
|
Tobias Geerinckx-Rice
|
60c8a14b8a
|
gnu: ghc-tasty-rerun: Update to 1.1.7.
* gnu/packages/haskell-check.scm (ghc-tasty-rerun): Update to 1.1.7.
|
2017-11-29 13:42:06 +01:00 |
|
Ricardo Wurmus
|
a06b9b5007
|
gnu: Move testing packages from haskell to haskell-check.
* gnu/packages/haskell.scm (ghc-clock-bootstrap, ghc-tasty-ant-xml,
ghc-tasty-smallcheck, ghc-tasty-quickcheck, ghc-tasty-golden, ghc-tasty,
ghc-tasty-hunit, ghc-tasty-kat, ghc-tasty-th, ghc-tasty-rerun,
ghc-quickcheck-instances, ghc-quickcheck-unicode, ghc-quickcheck-io,
ghc-quickcheck, ghc-test-framework, ghc-test-framework-hunit,
ghc-test-framework-quickcheck2, ghc-test-framework-th, ghc-hunit,
hspec-discover, ghc-hspec-core, ghc-hspec-meta, ghc-hspec, ghc-hspec-contrib,
ghc-hspec-expectations): Move variables to ...
* gnu/packages/haskell-check.scm: ... this new file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/haskell.scm,
gnu/packages/idris.scm,
gnu/packages/version-control.scm,
gnu/packages/wm.scm: Include haskell-check module.
|
2017-11-13 18:12:27 +01:00 |