| Report created on Tue Feb 9 12:37:05 2010. | back to main menu |
| CVSweb page | math/proofgeneral |
|---|---|
| FreshPorts page | math/proofgeneral |
| categories | math elisp |
| description | A generic interface for proof assistants |
| package name | proofgeneral-xemacs-3.7.1_2 |
| URL | http://proofgeneral.inf.ed.ac.uk |
| maintainer | timbob@bigpond.com |
| Distfile Survey page | math/proofgeneral |
None.
| build environment | error logs | packages | |||
|---|---|---|---|---|---|
| logname | error type | date | latest package | upload date | |
| amd64-6-full | proofgeneral-xemacs-3.7.1_1 | 2010-02-03 22:42:00 | |||
| amd64-6-latest | |||||
| amd64-7-full | proofgeneral-xemacs-3.7.1_1 | 2010-01-22 20:00:00 | |||
| amd64-7-latest | |||||
| amd64-8-full | proofgeneral-xemacs-3.7.1_1 | 2010-01-21 10:58:00 | |||
| amd64-8-latest | |||||
| i386-6-full | proofgeneral-xemacs-3.7.1_1 | 2010-01-22 19:48:00 | |||
| i386-6-latest | |||||
| i386-7-full | proofgeneral-xemacs-3.7.1_1 | 2010-01-21 02:32:00 | |||
| i386-7-latest | |||||
| i386-8-full | proofgeneral-xemacs-3.7.1_2 | depend_package | _Feb__7_00:00:06_UTC_2010 | proofgeneral-xemacs-3.7.1_1 | 2010-01-20 03:51:00 |
| i386-8-latest | |||||
| i386-9-full | proofgeneral-xemacs-3.7.1_1 | 2010-01-19 06:18:00 | |||
| i386-9-latest | |||||
| ia64-7-full | |||||
| ia64-7-latest | |||||
| ia64-8-latest | |||||
| sparc64-6-full | proofgeneral-xemacs-3.7.1 | 2009-03-14 02:07:00 | |||
| sparc64-6-latest | |||||
| sparc64-7-full | proofgeneral-xemacs-3.7.1_1 | 2009-11-28 03:32:00 | |||
| sparc64-7-latest | |||||
| sparc64-8-full | proofgeneral-xemacs-3.7_1 | 2008-08-15 00:00:00 | |||
| sparc64-8-latest | |||||
| unique build errors: 1 | |||||
| Package legend: | failed to build | ok but out-of-date | ok and up-to-date |