[plt-planet-announce] Updated PLaneT package: cce/dracula.plt for 4.x
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
http://planet.plt-scheme.org/display.ss?package=dracula.plt&owner=cce
for more information.