| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| coq-libs_8.0pl3-2ubuntu1_all.deb | 3.6 MiB | 2007-Mar-23 14:03 |
| coq7-libs_8.0pl3-2ubuntu1_all.deb | 3.6 MiB | 2007-Mar-23 14:03 |
| coq_8.0pl2-4_hppa.deb | 7.0 MiB | 2005-Dec-09 23:25 |
| coq_8.0pl3-2ubuntu1.diff.gz | 16.1 KiB | 2007-Mar-23 12:03 |
| coq_8.0pl3-2ubuntu1.dsc | 1.1 KiB | 2007-Mar-23 12:03 |
| coq_8.0pl3-2ubuntu1_amd64.deb | 6.3 MiB | 2007-Mar-23 14:03 |
| coq_8.0pl3-2ubuntu1_i386.deb | 5.9 MiB | 2007-Mar-23 14:03 |
| coq_8.0pl3-2ubuntu1_ia64.deb | 3.0 MiB | 2007-Mar-23 14:03 |
| coq_8.0pl3-2ubuntu1_powerpc.deb | 6.7 MiB | 2007-Mar-23 14:03 |
| coq_8.0pl3-2ubuntu1_sparc.deb | 6.8 MiB | 2007-Mar-23 14:03 |
| coq_8.0pl3.orig.tar.gz | 2.2 MiB | 2006-Jun-15 17:59 |
| coqide_8.0pl2-4_hppa.deb | 4.6 MiB | 2005-Dec-09 23:25 |
| coqide_8.0pl3-2ubuntu1_amd64.deb | 3.5 MiB | 2007-Mar-23 14:03 |
| coqide_8.0pl3-2ubuntu1_i386.deb | 3.3 MiB | 2007-Mar-23 14:03 |
| coqide_8.0pl3-2ubuntu1_ia64.deb | 1.3 MiB | 2007-Mar-23 14:03 |
| coqide_8.0pl3-2ubuntu1_powerpc.deb | 3.8 MiB | 2007-Mar-23 14:03 |
| coqide_8.0pl3-2ubuntu1_sparc.deb | 3.8 MiB | 2007-Mar-23 14:03 |
