Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

OCaml download instructions are insecure #140

Closed
jfbastien opened this issue Oct 15, 2015 · 1 comment
Closed

OCaml download instructions are insecure #140

jfbastien opened this issue Oct 15, 2015 · 1 comment
Milestone
Meta

Comments

@jfbastien
Copy link
Member

README currently says to get OCaml from source at http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.2.tar.gz which is http, and doesn't have an https equivalent.

The newer instructions from ocaml.org to get the source are here: http://ocaml.org/releases/svn.html
The only https solution is through github... Which is automatically sync'd with the insecure svn repo.

Security people everywhere are sad.
@sunfishcode sunfishcode modified the milestone: Meta Oct 23, 2015
@jfbastien jfbastien mentioned this issue Oct 26, 2015
Merged
@jfbastien
Copy link
Member Author

Fixed by #154.

Connicpu pushed a commit to Connicpu/wasm-spec that referenced this issue Jun 7, 2020
@binji
Test that drop instructions work w/on memory/table (WebAssembly#140)
ffdbb6e 
This was fixed in the interpreter in the last PR, but only fixed the
messages in various assertions. This commit adds a new explicit test for
this.
ngzhian pushed a commit to ngzhian/spec that referenced this issue Nov 4, 2021
@arunetm
Merge pull request WebAssembly#140 from alexcrichton/tweak-tests
84b527f 
Update some of the test assertions in `simd_lane.wast`
dhil pushed a commit to dhil/webassembly-spec that referenced this issue Mar 2, 2023
@aheejin
Fix links in README.md (WebAssembly#140)
2906531 
Fix broken links in README.md and rewrap some lines. Fixes WebAssembly#139.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Meta
Development

No branches or pull requests
2 participants
@jfbastien @sunfishcode