[Vm-dev] Re: Issue 78 in cog: CoqVM segfaults on Ubutu 11.10 amd64
cog at googlecode.com
cog at googlecode.com
Thu Aug 8 11:36:12 UTC 2013
Comment #5 on issue 78 by guillermopolito at gmail.com: CoqVM segfaults on
Ubutu 11.10 amd64
http://code.google.com/p/cog/issues/detail?id=78
Mirrored in
https://pharo.fogbugz.com/default.asp?pre=preMultiSearch&pg=pgList&pgBack=pgSearch&search=2&searchFor=11358
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
More information about the Vm-dev
mailing list