Index of /minisat

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]minisat-2.2.0_1.darw..>2018-10-21 07:29 45K 
[ ]minisat-2.2.0_1.darw..>2018-10-21 07:29 512  
[ ]minisat-2.2.0_1.darw..>2018-10-21 15:10 47K 
[ ]minisat-2.2.0_1.darw..>2018-10-21 15:10 512  
[ ]minisat-2.2.0_1.darw..>2019-12-29 23:12 45K 
[ ]minisat-2.2.0_1.darw..>2019-12-29 23:12 512  
[ ]minisat-2.2.0_1.darw..>2021-01-02 16:09 42K 
[ ]minisat-2.2.0_1.darw..>2021-01-02 16:09 512  
[ ]minisat-2.2.0_1.darw..>2021-01-02 20:49 45K 
[ ]minisat-2.2.0_1.darw..>2021-01-02 20:49 512  
[ ]minisat-2.2.0_1.darw..>2021-11-23 17:43 41K 
[ ]minisat-2.2.0_1.darw..>2021-11-23 17:43 512  
[ ]minisat-2.2.0_1.darw..>2022-01-12 13:47 44K 
[ ]minisat-2.2.0_1.darw..>2022-01-12 13:47 512  
[ ]minisat-2.2.0_1.darw..>2023-03-06 17:12 42K 
[ ]minisat-2.2.0_1.darw..>2023-03-06 17:12 512  
[ ]minisat-2.2.0_1.darw..>2022-12-25 10:51 44K 
[ ]minisat-2.2.0_1.darw..>2022-12-25 10:51 512  
[ ]minisat-2.2.0_1.darw..>2024-01-22 13:16 42K 
[ ]minisat-2.2.0_1.darw..>2024-01-22 13:16 512  
[ ]minisat-2.2.0_1.darw..>2023-12-24 04:27 45K 
[ ]minisat-2.2.0_1.darw..>2023-12-24 04:27 512  
[ ]minisat-2.2.0_1.darw..>2025-03-16 02:09 43K 
[ ]minisat-2.2.0_1.darw..>2025-03-16 02:09 512  
[ ]minisat-2.2.0_1.darw..>2024-10-08 04:58 44K 
[ ]minisat-2.2.0_1.darw..>2024-10-08 04:58 512  
Apache/2.4 Server at fra.de.packages.macports.org Port 80