{"pages":[{"page_name":"Running-F*-from-a-docker-image","title":"Running F* from a docker image","summary":null,"action":"edited","sha":"37c18aad17a2a3e7513f0f95ff524d087006e495","html_url":"/FStarLang/FStar/wiki/Running-F%2A-from-a-docker-image"}]}
{"actor":{"display_login":"catalin-hritcu"}}