[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.6
Owner:           cce


Package Description
Provides the Dracula language level for ACL2 emulation.
Release Notes
8.6: Removed the need for check-properties in the doublecheck teachpack and generate-report in the testing teachpack. 
-------

Go to 

http://planet.plt-scheme.org/display.ss?package=dracula.plt&owner=cce

for more information.