- From: Michael[tm] Smith <mike@w3.org>
- Date: Fri, 29 Jun 2012 13:41:15 +0900
- To: Jaime Iniesta <jaimeiniesta@gmail.com>
- Cc: Nicholas Bamber <nicholas@periapt.co.uk>, www-validator@w3.org
Jaime Iniesta <jaimeiniesta@gmail.com>, 2012-06-28 23:56 +0200: > 2012/6/28 Nicholas Bamber <nicholas@periapt.co.uk>: > > Unfortunately the HTML5 bit has not been packaged. There is a bug report > > for that at http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=631274 . > > But it can be installed from source, I guess? Yeah, but see my previous message to Nicholas: I've made some pre-built jars that should obviate the need for you to build from the sources if you don't want to. --Mike -- Michael[tm] Smith http://people.w3.org/mike
Received on Friday, 29 June 2012 04:41:19 UTC