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

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