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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 cryptominisat_5.8.0+..> 22-Feb-2022 23:24  6.1K  
 cryptominisat_5.8.0+..> 22-Feb-2022 23:24  2.4K  
 cryptominisat_5.8.0+..> 22-Feb-2022 23:45   91K  
 cryptominisat_5.8.0+..> 13-Jul-2020 17:24  441K  
 cryptominisat_5.11.4..> 25-Dec-2022 20:25  5.3K  
 cryptominisat_5.11.4..> 25-Dec-2022 20:25  2.4K  
 cryptominisat_5.11.4..> 25-Dec-2022 20:26   78K  
 cryptominisat_5.11.4..> 15-Jul-2023 05:38  6.6K  
 cryptominisat_5.11.4..> 15-Jul-2023 05:38  2.4K  
 cryptominisat_5.11.4..> 15-Jul-2023 05:39   79K  
 cryptominisat_5.11.4..> 06-Nov-2022 03:16  518K  
 cryptominisat_5.11.1..> 31-Mar-2024 18:36  5.6K  
 cryptominisat_5.11.1..> 31-Mar-2024 18:36  2.6K  
 cryptominisat_5.11.1..> 01-Apr-2024 03:47   81K  
 cryptominisat_5.11.1..> 14-Dec-2023 17:37  464K  
 cryptominisat_5.11.2..> 03-May-2024 11:29  6.5K  
 cryptominisat_5.11.2..> 03-May-2024 11:29  2.4K  
 cryptominisat_5.11.2..> 03-May-2024 12:05   91K  
 cryptominisat_5.11.2..> 03-May-2024 11:29  470K  
 libcryptominisat5-5...> 22-Feb-2022 23:45  378K  
 libcryptominisat5-5...> 25-Dec-2022 20:26  432K  
 libcryptominisat5-5...> 15-Jul-2023 05:39  435K  
 libcryptominisat5-5...> 01-Apr-2024 03:47  437K  
 libcryptominisat5-5...> 03-May-2024 12:05  435K  
 libcryptominisat5-de..> 22-Feb-2022 23:45   13K  
 libcryptominisat5-de..> 25-Dec-2022 20:26   17K  
 libcryptominisat5-de..> 15-Jul-2023 05:39   17K  
 libcryptominisat5-de..> 01-Apr-2024 03:47   17K  
 libcryptominisat5-de..> 03-May-2024 12:05   17K  
 python3-cryptominisa..> 22-Feb-2022 23:45   19K  
 python3-cryptominisa..> 25-Dec-2022 20:26  518K  
 python3-cryptominisa..> 15-Jul-2023 05:39  522K  
 python3-cryptominisa..> 01-Apr-2024 03:47  514K  
 python3-cryptominisa..> 03-May-2024 12:05  512K