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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 cryptominisat_5.8.0+..> 2022-02-23 02:24  2.4K  
 cryptominisat_5.11.4..> 2023-07-15 08:38  2.4K  
 cryptominisat_5.11.4..> 2022-12-25 23:25  2.4K  
 cryptominisat_5.11.1..> 2023-12-19 18:13  2.4K  
 cryptominisat_5.11.1..> 2024-03-30 03:18  2.4K  
 cryptominisat_5.11.1..> 2023-12-14 20:37  2.4K  
 cryptominisat_5.11.2..> 2024-05-03 14:29  2.4K  
 cryptominisat_5.11.1..> 2024-02-28 08:28  2.5K  
 cryptominisat_5.11.1..> 2024-03-31 21:36  2.6K  
 cryptominisat_5.11.1..> 2023-12-14 20:37  5.3K  
 cryptominisat_5.11.4..> 2022-12-25 23:25  5.3K  
 cryptominisat_5.11.1..> 2023-12-19 18:13  5.4K  
 cryptominisat_5.11.1..> 2024-03-30 03:18  5.4K  
 cryptominisat_5.11.1..> 2024-02-28 08:28  5.5K  
 cryptominisat_5.11.1..> 2024-03-31 21:36  5.6K  
 cryptominisat_5.8.0+..> 2022-02-23 02:24  6.1K  
 cryptominisat_5.11.2..> 2024-05-03 14:29  6.5K  
 cryptominisat_5.11.4..> 2023-07-15 08:38  6.6K  
 libcryptominisat5-de..> 2022-02-23 02:45   13K  
 libcryptominisat5-de..> 2022-12-25 23:26   17K  
 libcryptominisat5-de..> 2023-07-15 08:39   17K  
 libcryptominisat5-de..> 2024-03-30 03:33   17K  
 libcryptominisat5-de..> 2023-12-14 20:37   17K  
 libcryptominisat5-de..> 2023-12-19 19:25   17K  
 libcryptominisat5-de..> 2024-02-28 09:08   17K  
 libcryptominisat5-de..> 2024-04-01 06:47   17K  
 libcryptominisat5-de..> 2024-05-03 15:05   17K  
 python3-cryptominisa..> 2022-02-23 02:45   19K  
 cryptominisat_5.11.4..> 2022-12-25 23:26   78K  
 cryptominisat_5.11.4..> 2023-07-15 08:39   79K  
 cryptominisat_5.11.1..> 2023-12-14 20:37   81K  
 cryptominisat_5.11.1..> 2024-03-30 03:33   81K  
 cryptominisat_5.11.1..> 2023-12-19 19:25   81K  
 cryptominisat_5.11.1..> 2024-04-01 06:47   81K  
 cryptominisat_5.11.1..> 2024-02-28 09:08   81K  
 cryptominisat_5.8.0+..> 2022-02-23 02:45   91K  
 cryptominisat_5.11.2..> 2024-05-03 15:05   91K  
 libcryptominisat5-5...> 2022-02-23 02:45  378K  
 libcryptominisat5-5...> 2022-12-25 23:26  432K  
 libcryptominisat5-5...> 2024-05-03 15:05  435K  
 libcryptominisat5-5...> 2023-07-15 08:39  435K  
 libcryptominisat5-5...> 2023-12-14 20:37  436K  
 libcryptominisat5-5...> 2023-12-19 19:25  436K  
 libcryptominisat5-5...> 2024-03-30 03:33  436K  
 libcryptominisat5-5...> 2024-02-28 09:08  437K  
 libcryptominisat5-5...> 2024-04-01 06:47  437K  
 cryptominisat_5.8.0+..> 2020-07-13 20:24  441K  
 cryptominisat_5.11.1..> 2023-12-14 20:37  464K  
 cryptominisat_5.11.2..> 2024-05-03 14:29  470K  
 python3-cryptominisa..> 2024-05-03 15:05  512K  
 python3-cryptominisa..> 2023-12-14 20:37  513K  
 python3-cryptominisa..> 2023-12-19 19:25  513K  
 python3-cryptominisa..> 2024-03-30 03:33  514K  
 python3-cryptominisa..> 2024-02-28 09:08  514K  
 python3-cryptominisa..> 2024-04-01 06:47  514K  
 cryptominisat_5.11.4..> 2022-11-06 06:16  518K  
 python3-cryptominisa..> 2022-12-25 23:26  518K  
 python3-cryptominisa..> 2023-07-15 08:39  522K