Skip to main content
PRL Project


This page contains Nuprl VMs in ova format and information on how to use them with VirtualBox or VMWare Player.



CoqPRLcav2018

CoqPRLcav2018
   md5sum:   2d7ca93caf2fa6ba575c9def81e84a99
   sha1sum:   4c1c97f2db231e8135b61a96f649b5225c2ab5a8
For more info see the github repository.



Version as of 2015-06-19

nuprl2015-lite   md5sum:   ac69ebe430bc6480b83fb6a57ae0d66b
nuprl2015   md5sum:   6eb4ac2093ed2c8ff6588b37331152c7
patchlist0  See FAQ: Patching a VM
NUPRL5-EDD-restart-43-0edd43.lsp
README