@ -1,20 +1,38 @@
{ stdenv , fetchgit , coq , coqPackages }:
let revision = " e e 4 3 6 6 3 5 a 3 4 8 7 3 c 7 9 f 4 9 c 3 d 2 d 5 0 7 1 9 4 2 1 6 f 6 e 8 e 9 " ; in
{ stdenv , fetchgit , coq , ssreflect }:
let param =
{
" 8 . 4 " = {
version = " 2 0 1 6 0 5 2 9 " ;
rev = " a 9 e 8 9 f 1 d 4 2 4 6 a 7 8 7 b f 1 d 8 8 7 3 0 7 2 0 7 7 a 3 1 9 6 3 5 c 3 e " ;
sha256 = " 1 4 n g 7 1 p 8 9 0 q 1 2 x v s j 0 0 s i 2 a 3 f j c b s a p 2 g y 0 r 8 s x p w 4 z n d n l q 7 4 w a " ;
} ;
" 8 . 5 " = {
version = " 2 0 1 7 0 5 1 2 " ;
rev = " 3 1 e b 0 5 0 a e 5 c e 5 7 a b 4 0 2 d b 9 7 2 6 f b 7 c d 9 4 5 a 0 b 4 d 0 3 " ;
sha256 = " 0 3 3 c h 1 0 i 5 w m q y w 8 j 6 w n r 0 d l b n i b g f p r 1 v r 0 c 0 7 q 3 y j 6 h 2 3 x k m q p g " ;
} ;
" 8 . 6 " = {
version = " 2 0 1 7 0 6 1 6 " ;
rev = " 3 6 6 e e 3 f 8 e 5 9 9 b 5 c a b 4 3 8 a 6 3 a 0 9 7 1 3 f 4 4 a c 5 4 4 c 5 a " ;
sha256 = " 0 6 k w n r f n d n r 6 w 8 b m a a 2 s 0 i 0 r k q y v 0 8 1 z j 5 5 z 3 v c y n 0 w r 6 x 6 m l s z 9 " ;
} ;
} . " ${ coq . coq-version } "
; in
stdenv . mkDerivation rec {
name = " c o q - Q u i c k C h i c k - ${ coq . coq-version } - ${ version } " ;
version = " 2 0 1 7 0 7 1 0 - ${ builtins . substring 0 7 revision } " ;
name = " c o q ${ coq . coq-version } - Q u i c k C h i c k - ${ param . version } " ;
src = fetchgit {
url = git://github.com/QuickChick/QuickChick.git ;
rev = revision ;
sha256 = " 0 s q 1 4 j 1 k l 4 m 4 p l y x j 2 d b k f w a 6 i q i p m f 9 w 7 m x x x c b s m 7 1 8 m 0 x f 1 g r " ;
inherit ( param ) rev sha256 ;
} ;
buildInputs = [ coq . ocaml coq . camlp5 ] ;
propagatedBuildInputs = [ coq coqPackages . ssreflect ] ;
propagatedBuildInputs = [ coq ssreflect ] ;
enableParallelBuilding = true ;