| backward-cpp@94718085ef | Bump backward-cpp dep | 2025-02-13 17:47:01 -08:00 | 
		
			
			
			
			
				| bigint | tests: use /usr/bin/env for bash. | 2023-08-12 11:59:39 +10:00 | 
		
			
			
			
			
				| cxxopts@4bf61f0869 | driver: switch to cxxopts, replace -B | 2024-10-09 15:21:34 +02:00 | 
		
			
			
			
			
				| dlfcn-win32 | Add dlfcn library for win32 | 2022-10-28 16:15:30 +02:00 | 
		
			
			
			
			
				| fst | libs/fst: Patch wx_len overread | 2025-02-25 17:18:15 +13:00 | 
		
			
			
			
			
				| json11 | Reapply "Merge upstream" | 2025-01-23 13:40:32 -08:00 | 
		
			
			
			
			
				| minisat | minisat: Record changes in patch | 2024-08-17 10:01:25 +12:00 | 
		
			
			
			
			
				| nlohmann_json | Add liberty json parsing to stats command | 2024-11-18 11:16:14 -08:00 |