2012-02-16 14:05:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								{ cabal, random }:
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-19 11:44:37 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2011-08-10 00:35:08 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								cabal.mkDerivation (self: {
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-19 11:44:37 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  pname = "QuickCheck";
							 | 
						
					
						
							
								
									
										
										
										
											2011-08-10 00:35:08 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  version = "1.2.0.1";
							 | 
						
					
						
							
								
									
										
										
										
											2011-03-12 17:28:15 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  sha256 = "1gxpvbc0ab4n35b5zcbzng8qc7y3mzgym8cj42bci984f08y1bld";
							 | 
						
					
						
							
								
									
										
										
										
											2012-02-16 14:05:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  buildDepends = [ random ];
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-19 11:44:37 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  meta = {
							 | 
						
					
						
							
								
									
										
										
										
											2011-08-10 00:35:08 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    homepage = "http://www.math.chalmers.se/~rjmh/QuickCheck/";
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-19 11:44:37 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    description = "Automatic testing of Haskell programs";
							 | 
						
					
						
							
								
									
										
										
										
											2011-08-10 00:35:08 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    license = self.stdenv.lib.licenses.bsd3;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    platforms = self.ghc.meta.platforms;
							 | 
						
					
						
							
								
									
										
										
										
											2012-03-24 10:21:28 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    maintainers = [ self.stdenv.lib.maintainers.andres ];
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-19 11:44:37 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  };
							 | 
						
					
						
							
								
									
										
										
										
											2011-03-28 15:04:00 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								})
							 |