| 
					
						
							
								
								
								
									
									
									
										centos
									
								
							
						
					
				 | 
				
					
						
							
							Adding entrypoints to docker images (#1909)
						
					
				 | 
				2016-08-12 09:18:42 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										hub
									
								
							
						
					
				 | 
				
					
						
							
							clean Docker
						
					
				 | 
				2017-02-15 21:40:23 +04:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										ubuntu
									
								
							
						
					
				 | 
				
					
						
							
							added build-essential dep to dockerfiles (#3666)
						
					
				 | 
				2016-11-29 13:23:53 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										ubuntu-aarch64
									
								
							
						
					
				 | 
				
					
						
							
							Update Dockerfile ubuntu-aarch64
						
					
				 | 
				2016-09-09 19:31:01 +07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										ubuntu-arm
									
								
							
						
					
				 | 
				
					
						
							
							Update Ubuntu arm Dockerfile
						
					
				 | 
				2016-09-09 19:31:54 +07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										ubuntu-dev
									
								
							
						
					
				 | 
				
					
						
							
							docker uses rustup, fixes #1337
						
					
				 | 
				2016-06-20 11:02:31 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										ubuntu-jit
									
								
							
						
					
				 | 
				
					
						
							
							Adding entrypoints to docker images (#1909)
						
					
				 | 
				2016-08-12 09:18:42 +02:00 |