Created
February 20, 2019 14:55
-
-
Save GrahamcOfBorg/d7cca3b31f9b5e161564ff9cf5b85c57 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
aarch64-linux framac | |
x86_64-linux framac | |
x86_64-darwin framac | |
i686-linux framac | |
aarch64-linux why3 | |
x86_64-darwin why3 | |
x86_64-linux why3 | |
i686-linux why3 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment