Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							55e356d5f8
							
						
					 | 
					
						
						
							
							cabal-install: do a cabal update
						
						
						
						
						
						
						
						[ci skip] 
						
					 | 
					
						2018-02-16 23:11:10 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							70658522de
							
						
					 | 
					
						
						
							
							tools: tweak cabal-install.sh based on recent feedback
						
						
						
						
						
					 | 
					
						2017-03-22 14:18:44 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							5aa4c91332
							
						
					 | 
					
						
						
							
							stack/cabal cleanups; drop GHC 7.6, 7.8 support
						
						
						
						
						
						
						
						A (disabled) stack build plan for GHC 7.8 is included; supporting it
would need small code changes and a maintainer. 
						
					 | 
					
						2016-10-21 14:47:22 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							2054f58f6a
							
						
					 | 
					
						
						
							
							tools: add a shebang line to cabal script
						
						
						
						
						
					 | 
					
						2016-07-05 14:07:14 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							6476944330
							
						
					 | 
					
						
						
							
							tools: update, rename cabal installation script
						
						
						
						
						
					 | 
					
						2016-06-29 15:01:24 -07:00 | 
					
					
						
						
							
							
							
						
					 |