Created
February 1, 2020 11:38
-
-
Save GrahamcOfBorg/e08d4e66478a1919b5f601f3dcda5919 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| i686-linux coq_8_11 | |
| aarch64-linux coq_8_10 | |
| x86_64-linux coq_8_10 | |
| aarch64-linux coq_8_11 | |
| x86_64-darwin ocaml-top | |
| i686-linux coq_8_10 | |
| i686-linux ocaml-top | |
| x86_64-linux coq_8_11 | |
| aarch64-linux ocaml-top | |
| x86_64-linux ocaml-top |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment