Distfile availability status for math/isabelle
Maintainer: beyert@cs.ucr.edu
Status codes:
- numeric values represent RFC 2616 status codes
- NXDOMAIN means that the hostname could not be resolved
- network timeouts result in code 500
It is possible that a failed check could work now. Status codes between 500-599 are transient errors and the status you see represents the period of time when the distfile was checked.
Ports that set DEPRECATED, FETCH_CMD, FETCH_ENV, FETCH_BEFORE_ARGS, FETCH_AFTER_ARGS, or have a do-fetch: target are simply skipped.
All the tables have clickable headers that sort the table by the clicked column.
show bad only, cvsweb, other ports from this maintainer| URL | Checked | Last OK | Status |
|---|---|---|---|
| http://isabelle.in.tum.de | 2012-05-24, 11:59:08 | 200 | |
| http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/Isabelle2009-2_library.tar.gz | 2012-05-24, 11:13:46 | 2011-01-30, 19:20:01 | 404 |
| http://mirror.cse.unsw.edu.au/pub/isabelle/dist/Isabelle2009-2.tar.gz | 2012-05-24, 12:20:59 | 2011-01-31, 03:55:00 | 404 |
| http://isabelle.in.tum.de/dist/Isabelle2009-2.tar.gz | 2012-05-24, 12:54:37 | 2011-01-30, 19:20:01 | 404 |
| http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/Isabelle2009-2.tar.gz | 2012-05-24, 13:07:11 | 2011-01-30, 19:20:01 | 404 |
| http://isabelle.in.tum.de/dist/Isabelle2009-2_library.tar.gz | 2012-05-24, 10:50:14 | 2011-01-30, 19:20:01 | 404 |
| http://mirror.cse.unsw.edu.au/pub/isabelle/dist/Isabelle2009-2_library.tar.gz | 2012-05-24, 12:40:01 | 2011-01-31, 03:54:50 | 404 |