Created
March 26, 2020 10:58
-
-
Save GrahamcOfBorg/5460ee21abd2741ee213cf7282b8316e 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
x86_64-linux glasgow | |
i686-linux python38Packages.nmigen-boards | |
x86_64-linux maude | |
x86_64-linux python37Packages.nmigen-soc | |
x86_64-darwin yices | |
x86_64-linux python37Packages.glasgow | |
i686-linux python37Packages.nmigen-soc | |
x86_64-darwin tamarin-prover | |
aarch64-linux glasgow | |
x86_64-darwin python37Packages.nmigen-boards | |
x86_64-linux bluespec | |
i686-linux glasgow | |
x86_64-linux python38Packages.nmigen-boards | |
i686-linux maude | |
x86_64-linux python38Packages.nmigen-soc | |
i686-linux python37Packages.nmigen | |
i686-linux python38Packages.nmigen | |
aarch64-linux python37Packages.nmigen-soc | |
i686-linux tamarin-prover | |
x86_64-darwin python38Packages.nmigen-boards | |
aarch64-linux python37Packages.nmigen-boards | |
x86_64-darwin python37Packages.glasgow | |
aarch64-linux python38Packages.nmigen | |
aarch64-linux python37Packages.glasgow | |
x86_64-linux python37Packages.nmigen | |
aarch64-linux python37Packages.nmigen | |
aarch64-linux python38Packages.nmigen-boards | |
x86_64-darwin maude | |
x86_64-linux python38Packages.nmigen | |
aarch64-linux python38Packages.nmigen-soc | |
aarch64-linux yices | |
x86_64-linux libpoly | |
x86_64-darwin python38Packages.nmigen | |
i686-linux yices | |
aarch64-linux libpoly | |
x86_64-linux python37Packages.nmigen-boards | |
x86_64-darwin python37Packages.nmigen | |
i686-linux python37Packages.glasgow | |
aarch64-linux maude | |
i686-linux python37Packages.nmigen-boards | |
i686-linux python38Packages.nmigen-soc | |
x86_64-darwin glasgow | |
x86_64-darwin python38Packages.nmigen-soc | |
x86_64-linux yices | |
x86_64-darwin python37Packages.nmigen-soc | |
i686-linux libpoly | |
x86_64-linux tamarin-prover | |
x86_64-darwin libpoly |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment