You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Rather than open a fourth issue reporting trouble installing Dracula under a current DrRacket, I'll just add this comment to say installation also fails in DrRacket 8.6 under Linux. As in the error logs given here, test-info.scm cannot be found (nor can schema-gui.rkt).
I have a clear recollection of finding Dracula very helpful, the last time I tried to learn enough ACL2 to use it for my own work, so I hope that it can be restored to functionality.
What version of Racket are you using?
I am using Racket 8.1
What program did you run?
I ran this command:
raco pkg install dracula
and
raco setup
according to this link
What should have happened?
It should have installed the package. Instead
it just says package installation failed.
Error logs
Here is the error when I run the first command.
Here is the error when I run the second command.
Related:
I was told to transfer this here
The text was updated successfully, but these errors were encountered: