Index of /ubuntu/pool/universe/c/cryptominisat

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 python3-cryptominisa..> 2025-01-03 17:37  608K  
 python3-cryptominisa..> 2024-05-03 15:05  512K  
 python3-cryptominisa..> 2024-04-01 06:47  514K  
 python3-cryptominisa..> 2022-02-23 02:45   19K  
 libcryptominisat5-de..> 2025-01-03 17:37   17K  
 libcryptominisat5-de..> 2024-05-03 15:05   17K  
 libcryptominisat5-de..> 2024-04-01 06:47   17K  
 libcryptominisat5-de..> 2022-02-23 02:45   13K  
 libcryptominisat5-5...> 2025-01-03 17:37  447K  
 libcryptominisat5-5...> 2024-05-03 15:05  435K  
 libcryptominisat5-5...> 2024-04-01 06:47  437K  
 libcryptominisat5-5...> 2022-02-23 02:45  378K  
 cryptominisat_5.11.2..> 2024-05-03 14:29  470K  
 cryptominisat_5.11.2..> 2025-01-03 17:37   94K  
 cryptominisat_5.11.2..> 2025-01-03 17:36  2.4K  
 cryptominisat_5.11.2..> 2025-01-03 17:35  6.5K  
 cryptominisat_5.11.2..> 2024-05-03 15:05   91K  
 cryptominisat_5.11.2..> 2024-05-03 14:29  2.4K  
 cryptominisat_5.11.2..> 2024-05-03 14:29  6.5K  
 cryptominisat_5.11.1..> 2023-12-14 20:37  464K  
 cryptominisat_5.11.1..> 2024-04-01 06:47   81K  
 cryptominisat_5.11.1..> 2024-03-31 21:36  2.6K  
 cryptominisat_5.11.1..> 2024-03-31 21:36  5.6K  
 cryptominisat_5.8.0+..> 2020-07-13 20:24  441K  
 cryptominisat_5.8.0+..> 2022-02-23 02:45   91K  
 cryptominisat_5.8.0+..> 2022-02-23 02:24  2.4K  
 cryptominisat_5.8.0+..> 2022-02-23 02:24  6.1K