2015-08-09 14:46:07 +03:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								FORMULA_RENAMES = {
							 | 
						
					
						
							
								
									
										
										
										
											2015-08-15 16:15:29 -07:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "cv" => "progress",
							 | 
						
					
						
							
								
									
										
										
										
											2015-09-03 20:16:50 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "google-perftools" => "gperftools",
							 | 
						
					
						
							
								
									
										
										
										
											2015-08-12 16:09:19 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "go-app-engine-32" => "app-engine-go-32",
							 | 
						
					
						
							
								
									
										
										
										
											2015-08-13 12:59:28 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "go-app-engine-64" => "app-engine-go-64",
							 | 
						
					
						
							
								
									
										
										
										
											2015-08-13 12:59:59 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "app-engine-java-sdk" => "app-engine-java",
							 | 
						
					
						
							
								
									
										
										
										
											2015-08-13 13:00:52 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "google-app-engine" => "app-engine-python",
							 | 
						
					
						
							
								
									
										
										
										
											2015-11-27 09:59:40 -08:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "hamsterdb" => "upscaledb",
							 | 
						
					
						
							
								
									
										
										
										
											2015-08-11 15:29:43 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "libcppa" => "caf",
							 | 
						
					
						
							
								
									
										
										
										
											2015-08-12 14:05:48 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "objective-caml" => "ocaml",
							 | 
						
					
						
							
								
									
										
										
										
											2015-08-13 13:24:08 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "mpich2" => "mpich",
							 | 
						
					
						
							
								
									
										
										
										
											2015-09-23 07:56:08 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "plt-racket" => "racket",
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  "fig" => "docker-compose",
							 | 
						
					
						
							
								
									
										
										
										
											2015-10-05 13:22:52 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "polarssl" => "mbedtls",
							 | 
						
					
						
							
								
									
										
										
										
											2015-10-07 12:34:05 -05:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "crystal" => "autocode",
							 | 
						
					
						
							
								
									
										
										
										
											2015-11-04 13:15:52 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  "nimrod" => "nim",
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  "cyassl" => "wolfssl",
							 | 
						
					
						
							
								
									
										
										
										
											2015-08-09 14:46:07 +03:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								}
							 |