[plt-planet-announce] Updated PLaneT package: cce/dracula.plt for 4.x

From: PLaneT (planet at plt-scheme.org)
Date: Wed Sep 30 15:32:19 EDT 2009

This announces the availability of an updated package from PLaneT:

Name:            dracula.plt
Package version: 8.4
Owner:           cce

Package Description
Provides the Dracula language level for ACL2 emulation.
Release Notes
8.4: Updated for compatibility with PLT Scheme 4.2.2. Also extended backwards compatibility to PLT Scheme 4.2.

Go to 


for more information.

Posted on the planet-announce mailing list.