Index of /sites/archive.debian.org/debian/pool/main/d/divine/

../
divine_0.7.2-5.diff.gz                             31-Mar-2001 18:12                2621
divine_0.7.2-5.dsc                                 31-Mar-2001 18:12                 641
divine_0.7.2-5_arm.deb                             13-Apr-2001 20:12               16240
divine_0.7.2-5_i386.deb                            31-Mar-2001 18:12               16028
divine_0.7.2.orig.tar.gz                           12-Apr-2000 18:54               16193
divine_0.8-4.diff.gz                               29-Sep-2006 10:32                4419
divine_0.8-4.dsc                                   29-Sep-2006 10:32                 581
divine_0.8-4_amd64.deb                             29-Sep-2006 10:32               17330
divine_0.8-4_arm.deb                               29-Sep-2006 12:17               16924
divine_0.8-4_i386.deb                              29-Sep-2006 18:17               16770
divine_0.8.orig.tar.gz                             25-Jan-2004 08:32               16640