| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| proofgeneral_3.7-4.dsc | 1742 | 2010-Oct-11 20:48 |
| proofgeneral-minlog_3.7-4_all.deb | 20122 | 2010-Oct-11 20:48 |
| proofgeneral_3.7-4.diff.gz | 24613 | 2010-Oct-11 20:48 |
| proofgeneral-coq_3.7-4_all.deb | 72482 | 2010-Oct-11 20:48 |
| proofgeneral-doc_3.7-4_all.deb | 90200 | 2010-Oct-11 20:48 |
| proofgeneral-misc_3.7-4_all.deb | 142188 | 2010-Oct-11 20:48 |
| proofgeneral_3.7-4_all.deb | 482392 | 2010-Oct-11 20:48 |
| proofgeneral_3.7.orig.tar.gz | 1982146 | 2008-Mar-18 23:47 |