| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| why_2.34.orig.tar.gz | 3725831 | 2014-Apr-30 06:49 |
| why_2.34-2_i386.deb | 4889582 | 2014-Aug-04 10:00 |
| why_2.34-2_armhf.deb | 4710244 | 2014-Aug-04 09:55 |
| why_2.34-2_armel.deb | 4788312 | 2014-Aug-04 09:55 |
| why_2.34-2_amd64.deb | 5054120 | 2014-Aug-04 08:45 |
| why_2.34-2.dsc | 2366 | 2014-Aug-04 08:45 |
| why_2.34-2.debian.tar.xz | 10512 | 2014-Aug-04 08:45 |
| why-examples_2.34-2_all.deb | 143132 | 2014-Aug-04 08:45 |
| libwhy-coq_2.34-2_all.deb | 244858 | 2014-Aug-04 08:45 |