Index of /pool/universe/m/minisat2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minisat-dbgsym_2.2.1-8build1_s390x.ddeb2024-04-02 05:56 202K 
[   ]minisat-dbgsym_2.2.1-8build1_riscv64.ddeb2024-04-02 01:47 172K 
[   ]minisat-dbgsym_2.2.1-8build1_ppc64el.ddeb2024-04-02 02:40 209K 
[   ]minisat-dbgsym_2.2.1-8build1_armhf.ddeb2024-04-01 21:59 202K 
[   ]minisat-dbgsym_2.2.1-8build1_arm64.ddeb2024-04-02 11:43 196K 
[   ]minisat-dbgsym_2.2.1-8build1_amd64.ddeb2024-04-01 11:13 198K 
[   ]minisat-dbgsym_2.2.1-5build2_s390x.ddeb2020-03-23 00:43 247K 
[   ]minisat-dbgsym_2.2.1-5build2_riscv64.ddeb2020-04-18 19:10 201K 
[   ]minisat-dbgsym_2.2.1-5build2_ppc64el.ddeb2020-03-22 23:58 247K 
[   ]minisat-dbgsym_2.2.1-5build2_armhf.ddeb2020-03-23 00:19 233K 
[   ]minisat-dbgsym_2.2.1-5build2_arm64.ddeb2020-03-23 00:19 240K 
[   ]minisat-dbgsym_2.2.1-5build2_amd64.ddeb2020-03-22 19:29 243K 
[   ]minisat-dbgsym_2.2.1-5build1_s390x.ddeb2018-04-05 08:47 176K 
[   ]minisat-dbgsym_2.2.1-5build1_ppc64el.ddeb2018-04-05 08:49 188K 
[   ]minisat-dbgsym_2.2.1-5build1_i386.ddeb2018-04-05 08:48 161K 
[   ]minisat-dbgsym_2.2.1-5build1_armhf.ddeb2018-04-05 08:53 162K 
[   ]minisat-dbgsym_2.2.1-5build1_arm64.ddeb2018-04-05 08:53 167K 
[   ]minisat-dbgsym_2.2.1-5build1_amd64.ddeb2018-04-05 08:48 172K 
[   ]minisat-dbgsym_2.2.1-5_s390x.ddeb2015-12-05 02:53 109K 
[   ]minisat-dbgsym_2.2.1-5_ppc64el.ddeb2014-07-30 17:20 141K 
[   ]minisat-dbgsym_2.2.1-5_powerpc.ddeb2014-07-30 17:57 115K 
[   ]minisat-dbgsym_2.2.1-5_i386.ddeb2015-02-17 04:38 118K 
[   ]minisat-dbgsym_2.2.1-5_armhf.ddeb2014-07-30 17:15 120K 
[   ]minisat-dbgsym_2.2.1-5_arm64.ddeb2014-07-30 17:45 125K 
[   ]minisat-dbgsym_2.2.1-5_amd64.ddeb2015-02-17 04:37 124K 

Apache/2.4.29 (Ubuntu) Server at ddebs.ubuntu.com Port 80