Index of /ubuntu-old-releases/ubuntu/pool/universe/d/divine/


../
divine_0.8-2.diff.gz                               26-Jul-2004 23:40                2751
divine_0.8-2.dsc                                   26-Jul-2004 23:40                 578
divine_0.8-2_amd64.deb                             18-Aug-2004 17:30               15384
divine_0.8-2_i386.deb                              13-Aug-2004 18:20               14862
divine_0.8-2_powerpc.deb                           27-Jul-2004 21:45               16756
divine_0.8-3.diff.gz                               02-Jan-2005 03:18                4165
divine_0.8-3.dsc                                   02-Jan-2005 03:18                 578
divine_0.8-3_amd64.deb                             02-Jan-2005 10:50               16954
divine_0.8-3_hppa.deb                              05-Jul-2005 08:35               17246
divine_0.8-3_i386.deb                              02-Jan-2005 10:45               16288
divine_0.8-3_ia64.deb                              02-Jan-2005 10:50               19152
divine_0.8-3_powerpc.deb                           02-Jan-2005 10:50               18296
divine_0.8-3_sparc.deb                             06-Feb-2005 15:05               16424
divine_0.8-4.diff.gz                               08-Nov-2006 08:04                4419
divine_0.8-4.dsc                                   08-Nov-2006 08:04                 581
divine_0.8-4_amd64.deb                             09-Nov-2006 17:04               17410
divine_0.8-4_hppa.deb                              04-Oct-2007 11:03               17584
divine_0.8-4_i386.deb                              09-Nov-2006 03:04               16786
divine_0.8-4_ia64.deb                              09-Nov-2006 21:04               19792
divine_0.8-4_lpia.deb                              25-Aug-2007 21:03               16856
divine_0.8-4_powerpc.deb                           09-Nov-2006 14:03               19074
divine_0.8-4_sparc.deb                             09-Nov-2006 22:04               16988
divine_0.8.orig.tar.gz                             26-Jul-2004 23:40               16640