| Parent directory/ | - | - |
| ladr4-apps_0.0.200806a-1_i386.deb | 324K | 04-Jul-2008 11:06 |
| ladr4-apps_0.0.200811a-1ubuntu1_i386.deb | 327K | 19-Feb-2009 06:06 |
| ladr4-apps_0.0.200902a-2.1_i386.deb | 321K | 01-May-2012 07:35 |
| ladr4-apps_0.0.200902a-2_i386.deb | 343K | 18-May-2009 14:04 |
| libladr-dev_0.0.200806a-1_i386.deb | 335K | 04-Jul-2008 11:06 |
| libladr-dev_0.0.200811a-1ubuntu1_i386.deb | 344K | 19-Feb-2009 06:06 |
| libladr-dev_0.0.200902a-2.1_i386.deb | 356K | 01-May-2012 07:35 |
| libladr-dev_0.0.200902a-2_i386.deb | 368K | 18-May-2009 14:04 |
| libladr4_0.0.200806a-1_i386.deb | 206K | 04-Jul-2008 11:06 |
| libladr4_0.0.200811a-1ubuntu1_i386.deb | 213K | 19-Feb-2009 06:06 |
| libladr4_0.0.200902a-2.1_i386.deb | 221K | 01-May-2012 07:35 |
| libladr4_0.0.200902a-2_i386.deb | 240K | 18-May-2009 14:04 |
| prover9_0.0.200806a-1_i386.deb | 109K | 04-Jul-2008 11:06 |
| prover9_0.0.200811a-1ubuntu1_i386.deb | 114K | 19-Feb-2009 06:06 |
| prover9_0.0.200902a-2.1_i386.deb | 98K | 01-May-2012 07:35 |
| prover9_0.0.200902a-2_i386.deb | 119K | 18-May-2009 14:04 |