include /krml
									
								 
							
						
					 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							gh-99108: Implement HACL* HMAC ( #130157 ) 
						
					 
				 
				2025-04-04 19:04:00 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-123748: Add conditional compilation rules for HACL SIMD256 and SIMD128 on macOS ( #123989 ) 
						
					 
				 
				2024-09-16 12:23:05 +08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-123748: Add conditional compilation rules for HACL SIMD256 and SIMD128 on macOS ( #123989 ) 
						
					 
				 
				2024-09-16 12:23:05 +08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-99108: Implement HACL* HMAC ( #130157 ) 
						
					 
				 
				2025-04-04 19:04:00 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-99108: Implement HACL* HMAC ( #130157 ) 
						
					 
				 
				2025-04-04 19:04:00 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-99108: Implement HACL* HMAC ( #130157 ) 
						
					 
				 
				2025-04-04 19:04:00 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-99108: Implement HACL* HMAC ( #130157 ) 
						
					 
				 
				2025-04-04 19:04:00 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Bump the HACL* revision. ( #133226 ) 
						
					 
				 
				2025-05-01 10:57:49 +08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-131298: eliminate HACL* static libraries for cryptographic modules (GH-132438) 
						
					 
				 
				2025-04-20 17:40:17 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-99108: Implement HACL* HMAC ( #130157 ) 
						
					 
				 
				2025-04-04 19:04:00 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 
						
					 
				 
				2025-03-15 10:42:27 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-131298: eliminate HACL* static libraries for cryptographic modules (GH-132438) 
						
					 
				 
				2025-04-20 17:40:17 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gh-99108: Implement HACL* HMAC ( #130157 ) 
						
					 
				 
				2025-04-04 19:04:00 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Bump the HACL* revision. ( #133226 ) 
						
					 
				 
				2025-05-01 10:57:49 +08:00