| name | size | date |
|---|---|---|
| why_2.34-2_arm64.deb | 9.99M | 2014-10-07 02:59:37 |
| why_2.34-2_ppc64el.deb | 9.99M | 2014-09-18 00:59:23 |
| why_2.34-2+b1_s390x.deb | 10.05M | 2014-09-02 00:13:19 |
| why_2.34-2_mips.deb | 9.63M | 2014-08-04 15:56:58 |
| why_2.34-2_mipsel.deb | 10.38M | 2014-08-04 11:10:48 |
| why_2.34-2_kfreebsd-i386.deb | 4.65M | 2014-08-04 10:05:25 |
| why_2.34-2_i386.deb | 4.66M | 2014-08-04 10:00:24 |
| why_2.34-2_kfreebsd-amd64.deb | 4.91M | 2014-08-04 09:55:17 |
| why_2.34-2_armel.deb | 4.57M | 2014-08-04 09:55:14 |
| why_2.34-2_armhf.deb | 4.49M | 2014-08-04 09:55:14 |
| why_2.34-2_powerpc.deb | 4.14M | 2014-08-04 09:45:13 |
| libwhy-coq_2.34-2_all.deb | 239.1K | 2014-08-04 08:45:03 |
| why-examples_2.34-2_all.deb | 139.8K | 2014-08-04 08:45:03 |
| why_2.34-2.debian.tar.xz | 10.3K | 2014-08-04 08:45:03 |
| why_2.34-2.dsc | 2.3K | 2014-08-04 08:45:03 |
| why_2.34-2_amd64.deb | 4.82M | 2014-08-04 08:45:03 |
| why_2.34.orig.tar.gz | 3.55M | 2014-04-30 06:49:50 |
| why_2.30+dfsg-5+b1_kfreebsd-amd64.deb | 8.19M | 2012-05-17 01:48:30 |
| why_2.30+dfsg-5_armel.deb | 11.17M | 2012-05-16 23:47:56 |
| why_2.30+dfsg-5+b1_mips.deb | 15.89M | 2012-05-16 19:34:54 |
| why_2.30+dfsg-5+b1_kfreebsd-i386.deb | 7.11M | 2012-05-16 18:49:07 |
| why_2.30+dfsg-5+b1_armhf.deb | 15.89M | 2012-05-16 18:35:51 |
| why_2.30+dfsg-5_sparc.deb | 7.73M | 2012-05-16 17:52:13 |
| why_2.30+dfsg-5+b1_powerpc.deb | 7.83M | 2012-05-16 17:20:22 |
| why_2.30+dfsg-5+b1_mipsel.deb | 15.90M | 2012-05-16 16:50:10 |
| why_2.30+dfsg-5+b1_ia64.deb | 15.90M | 2012-05-16 16:38:46 |
| why_2.30+dfsg-5+b1_s390.deb | 15.91M | 2012-05-16 16:05:21 |
| why_2.30+dfsg-5_s390x.deb | 15.91M | 2012-05-16 16:05:08 |
| why_2.30+dfsg-5+b1_i386.deb | 7.13M | 2012-05-16 15:50:39 |
| why_2.30+dfsg-5+b1_amd64.deb | 8.19M | 2012-05-16 15:21:50 |
| libwhy-coq_2.30+dfsg-5_all.deb | 407.5K | 2012-05-16 11:22:10 |
| why-examples_2.30+dfsg-5_all.deb | 189.9K | 2012-05-16 11:22:10 |
| why_2.30+dfsg-5.debian.tar.gz | 11.1K | 2012-05-16 11:22:10 |
| why_2.30+dfsg-5.dsc | 1.9K | 2012-05-16 11:22:10 |
| why_2.30+dfsg.orig.tar.gz | 3.08M | 2012-01-03 15:50:36 |
| why_2.26+dfsg-2+squeeze1_armel.deb | 13.91M | 2011-03-14 21:41:24 |
| why_2.26+dfsg-2+squeeze1_powerpc.deb | 8.27M | 2011-03-14 18:05:08 |
| why_2.26+dfsg-2+squeeze1_sparc.deb | 8.22M | 2011-03-14 09:11:18 |
| why_2.26+dfsg-2+squeeze1_i386.deb | 7.30M | 2011-03-14 09:11:10 |
| why_2.26+dfsg-2+squeeze1_kfreebsd-i386.deb | 7.28M | 2011-03-14 05:20:36 |
| why_2.26+dfsg-2+squeeze1_kfreebsd-amd64.deb | 8.62M | 2011-03-14 05:03:46 |
| why_2.26+dfsg-2+squeeze1_mipsel.deb | 13.91M | 2011-03-14 00:24:30 |
| why_2.26+dfsg-2+squeeze1_mips.deb | 13.91M | 2011-03-14 00:24:23 |
| why_2.26+dfsg-2+squeeze1_ia64.deb | 13.89M | 2011-03-14 00:24:16 |
| why_2.26+dfsg-2+squeeze1_s390.deb | 13.90M | 2011-03-13 22:06:37 |
| libwhy-coq_2.26+dfsg-2+squeeze1_all.deb | 501.4K | 2011-03-13 19:58:21 |
| why-examples_2.26+dfsg-2+squeeze1_all.deb | 179.8K | 2011-03-13 19:58:21 |
| why_2.26+dfsg-2+squeeze1.debian.tar.gz | 11.0K | 2011-03-13 19:58:21 |
| why_2.26+dfsg-2+squeeze1.dsc | 1.9K | 2011-03-13 19:58:21 |
| why_2.26+dfsg-2+squeeze1_amd64.deb | 8.17M | 2011-03-13 19:58:21 |
| why_2.26+dfsg.orig.tar.gz | 2.40M | 2010-06-01 22:20:26 |
| why_2.13-2_powerpc.deb | 5.14M | 2008-09-18 15:47:30 |
| why_2.13-2_mipsel.deb | 9.65M | 2008-09-18 15:47:29 |
| why_2.13-2_mips.deb | 9.65M | 2008-09-18 15:47:28 |
| why_2.13-2_alpha.deb | 9.65M | 2008-09-18 15:47:27 |
| why_2.13-2_ia64.deb | 9.65M | 2008-09-18 12:32:13 |
| why_2.13-2_hppa.deb | 9.66M | 2008-09-18 12:32:12 |
| why_2.13-2_s390.deb | 9.64M | 2008-09-18 12:17:39 |
| why_2.13-2_sparc.deb | 5.09M | 2008-09-18 09:02:09 |
| why_2.13-2_armel.deb | 9.64M | 2008-09-18 07:32:02 |
| why_2.13-2_arm.deb | 9.66M | 2008-09-18 07:02:04 |
| why_2.13-2_amd64.deb | 4.83M | 2008-09-18 06:47:04 |
| why_2.13-2.diff.gz | 5.7K | 2008-09-17 21:17:28 |
| why_2.13-2.dsc | 1.3K | 2008-09-17 21:17:28 |
| why_2.13-2_i386.deb | 4.40M | 2008-09-17 21:17:28 |
| why_2.13.orig.tar.gz | 1.79M | 2008-05-29 07:48:50 |