Index of /by-release/atomic/debian/m/minisat2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minisat2_070721-2.patch-basis2008-06-17 13:18 9  
[   ]minisat2_070721-3.patch-basis2008-06-18 23:16 9  
[   ]minisat2_070721-5.patch-basis2008-09-08 01:10 9  
[   ]minisat2_070721-6.patch-basis2008-11-01 14:15 9  
[   ]minisat2_070721-7.patch-basis2009-12-29 17:22 9  
[   ]minisat2_070721-7.patch.bz22009-12-29 17:22 2.3K 
[   ]minisat2_070721-8.patch-basis2009-12-29 17:22 9  
[   ]minisat2_070721-8.patch.bz22009-12-29 17:22 476  
[   ]minisat2_1:2.2.0-1.patch-basis2010-07-25 10:33 9  
[   ]minisat2_1:2.2.0-1.patch.bz22010-07-25 10:33 52K 
[   ]minisat2_1:2.2.0-2.patch-basis2010-07-26 10:39 10  
[   ]minisat2_1:2.2.0-2.patch.bz22010-07-26 10:39 5.1K 
[   ]minisat2_1:2.2.0-3.patch-basis2011-01-21 06:57 10  
[   ]minisat2_1:2.2.0-3.patch.bz22011-01-21 06:57 54K 
[   ]minisat2_1:2.2.1-1.patch-basis2011-03-29 19:45 10  
[   ]minisat2_1:2.2.1-1.patch.bz22011-03-29 19:45 56K 
[   ]minisat2_1:2.2.1-2.patch-basis2011-06-13 17:55 10  
[   ]minisat2_1:2.2.1-2.patch.bz22011-06-13 17:55 736  
[   ]minisat2_1:2.2.1-3.patch-basis2011-09-04 04:55 10  
[   ]minisat2_1:2.2.1-3.patch.bz22011-09-04 04:55 2.7K 
[   ]minisat2_1:2.2.1-4.patch-basis2013-07-13 04:07 10  
[   ]minisat2_1:2.2.1-4.patch.bz22013-07-13 04:07 5.0K 
[   ]minisat2_1:2.2.1-5.patch-basis2014-07-30 17:16 10  
[   ]minisat2_1:2.2.1-5.patch.bz22014-07-30 17:16 6.1K 
[   ]minisat2_1:2.2.1-6.patch-basis2024-02-20 17:09 10  
[   ]minisat2_1:2.2.1-6.patch.bz22024-02-20 17:09 1.6K 
[   ]minisat2_1:2.2.1-7.patch-basis2024-02-22 16:07 10  
[   ]minisat2_1:2.2.1-7.patch.bz22024-02-22 16:07 1.3K 
[   ]minisat2_1:2.2.1-8.patch-basis2024-02-26 22:47 10  
[   ]minisat2_1:2.2.1-8.patch.bz22024-02-26 22:47 470  
[   ]patches.xml2024-02-26 23:08 2.9K 

Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443