> http://www-2.cs.cmu.edu/~kroening/dbox/dkimap4-2.39.tgz ok > http://www-2.cs.cmu.edu/~twelf/dist/twelf-1-4.tar.gz ok