2012-02-16 14:05:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								{ cabal, extensibleExceptions, mtl, random }:
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-21 21:05:30 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2011-08-10 00:35:08 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								cabal.mkDerivation (self: {
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-21 21:05:30 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  pname = "QuickCheck";
							 | 
						
					
						
							
								
									
										
										
										
											2011-08-10 00:35:08 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  version = "2.4.0.1";
							 | 
						
					
						
							
								
									
										
										
										
											2011-03-12 17:28:15 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  sha256 = "1x7jc2svpxbll8qkrbswh5q59sqcjf2v5a6jnqslf5gwr5qpq18r";
							 | 
						
					
						
							
								
									
										
										
										
											2012-02-16 14:05:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  buildDepends = [ extensibleExceptions mtl random ];
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-21 21:05:30 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  meta = {
							 | 
						
					
						
							
								
									
										
										
										
											2011-08-10 00:35:08 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    homepage = "http://code.haskell.org/QuickCheck";
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-21 21:05:30 +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;
							 | 
						
					
						
							
								
									
										
										
										
											2013-05-11 00:36:36 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    maintainers = [ self.stdenv.lib.maintainers.andres ];
							 | 
						
					
						
							
								
									
										
										
										
											2009-04-21 21:05:30 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  };
							 | 
						
					
						
							
								
									
										
										
										
											2011-03-28 15:04:00 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								})
							 |