Page 21 of ORG’s full report on their observations of the 2007 elections (held for various purposes across the UK) says that SBCL was used for e-Counting in South Bucks. That’s pretty much the only positive thing I’ve found so far. The report just makes me want to weep.
Of course the usual suspects also appear: Windows Server 2003, .Net 2.0, Oracle, Red Hat, Ubuntu (twice!), Apache, Tomcat, Ruby on Rails, Firefox 2.0, Sun JRE.