Created
November 25, 2019 15:02
-
-
Save GrahamcOfBorg/df558154e1f4d518186a2e48e24f804b 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 coq_8_7 | |
| x86_64-linux coq_8_7 | |
| i686-linux coq_8_5 | |
| x86_64-darwin compcert | |
| x86_64-darwin coq_8_5 | |
| aarch64-linux satallax | |
| aarch64-linux coq_8_10 | |
| i686-linux coq_8_7 | |
| i686-linux satallax | |
| i686-linux coq_8_9 | |
| i686-linux coq_8_8 | |
| x86_64-linux satallax | |
| x86_64-darwin coq_8_7 | |
| x86_64-linux why3 | |
| x86_64-darwin coq_8_9 | |
| x86_64-linux framac | |
| aarch64-linux why3 | |
| x86_64-linux coqPackages.contribs.containers | |
| i686-linux coq_8_6 | |
| x86_64-linux coq_8_6 | |
| x86_64-linux coq_8_10 | |
| x86_64-linux coq_8_5 | |
| x86_64-darwin coq_8_8 | |
| x86_64-darwin why3 | |
| x86_64-linux compcert | |
| x86_64-linux coqPackages.contribs.zorns-lemma | |
| i686-linux coq_8_10 | |
| aarch64-linux framac | |
| x86_64-linux coq_8_9 | |
| i686-linux why3 | |
| i686-linux framac | |
| x86_64-linux coq_8_8 | |
| aarch64-linux coq_8_6 | |
| x86_64-darwin coq_8_6 | |
| x86_64-darwin coq_8_10 | |
| x86_64-darwin framac | |
| aarch64-linux coq_8_8 | |
| aarch64-linux coq_8_5 | |
| aarch64-linux coq_8_9 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment