1 files changed, 0 insertions, 126 deletions
diff --git a/raw-wiki-dump/BinaryPackages b/raw-wiki-dump/BinaryPackages
deleted file mode 100644
index 7920461..0000000
--- a/raw-wiki-dump/BinaryPackages
+++ /dev/null
@@ -1,126 +0,0 @@
-[[PageOutline]]
-
-= Binary Packages for Cryptech Software and Firmware =
-
-The Cryptech Project maintains APT and Homebrew repositories
-containing packaged software for the Cryptech Alpha board for Debian
-and Ubuntu Linux and for Mac OS X.  The binary packages also include
-pre-compiled images for the Alpha Board's Artix-7 FPGA, Cortex M4 ARM
-CPU, and AVR ATtiny828 MCU.
-
-== How to get APT packages for Debian Stretch, Debian Buster, Ubuntu Xenial, or Ubuntu Bionic ==
-
-* Fetch and validate the repository key.  Presumably you're security
-  concious (otherwise, why are you installing this stuff?), so you may
-  want to pay attention to what `gpg --check-sig` says here.
-
-  {{{
-  $ id=37A8E93F5D7E7B9A
-  $ wget https://apt.cryptech.is/apt-gpg-key.gpg
-  $ gpg --recv-key $id
-  $ gpg --check-sig $id
-  }}}
-
-* Install the repository key.  We used to use `apt-key(8)` for this,
-  these days the cool kids use the `/etc/apt/trusted.gpg.d/` directory:
-
-  {{{
-  $ sudo chown root:root apt-gpg-key.gpg
-  $ sudo mv apt-gpg-key.gpg /etc/apt/trusted.gpg.d/cryptech.gpg
-  }}}
-
-* Configure apt to use the repository.  You need to add a couple of
-  entries to `/etc/apt/source.list.d/`; which entries you need to add
-  depends on which distribution you're running.
-  * For Debian Stretch, do:
-    {{{
-    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list http://apt.cryptech.is/sources.stretch.list
-    }}}
-  * For Debian Buster, do:
-    {{{
-    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list http://apt.cryptech.is/sources.buster.list
-    }}}
-  * For Ubuntu Xenial, do:
-    {{{
-    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list http://apt.cryptech.is/sources.xenial.list
-    }}}
-  * For Ubuntu Bionic, do:
-    {{{
-    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list http://apt.cryptech.is/sources.bionic.list
-    }}}
-
-
-* Update the package index.
-
-  {{{
-  $ sudo apt-get update
-  }}}
-
-* Install the `cryptech-alpha` package.
-
-  {{{
-  $ sudo apt-get install cryptech-alpha
-  }}}
-
-== Updating APT packages ==
-
-Once you've performed the steps above you should be able to upgrade to newer
-version of the code using the normal APT upgrade process:
-
-{{{
-$ sudo apt-get update
-$ sudo apt-get upgrade
-}}}
-
-== How to get Homebrew packages for Mac OS X ==
-
-* Fetch and validate the repository key.  Presumably you're security
-  concious (otherwise, why are you installing this stuff?), so you may
-  want to pay attention to what `gpg --check-sig` says here.
-
-  {{{
-  $ id=37A8E93F5D7E7B9A
-  $ gpg --recv-key $id
-  $ gpg --check-sig $id
-  }}}
-
-* Configure Homebrew to use the repository.
-
-  {{{
-  $ brew tap cryptech/sw https://brew.cryptech.is/tap
-  }}}
-
-* Update the package index.
-
-  {{{
-  $ brew update
-  }}}
-
-* Check the commit signature on the cryptech-alpha package formula.
-  This is optional (Homebrew doesn't care whether you do this), but if
-  you want to know whether the formula was signed by the Cryptech
-  project, this is how to check.
-
-  {{{
-  $ brew log --max-count=1 --show-signature cryptech-alpha
-  }}}
-
-* Install the `cryptech-alpha` package.  At the moment, this is only
-  available as a Homebrew source package due to licensing issues in
-  the MacOS Xcode SDK, so the installation will probably take several
-  minutes, as some of the libraries are a bit slow to compile (sorry...).
-
-  {{{
-  $ brew install cryptech-alpha
-  }}}
-
-== Updating Homebrew packages ==
-
-Once you've performed the steps above you should be able to upgrade to newer
-version of the code using the normal Homebrew upgrade process:
-
-{{{
-$ brew update
-$ brew upgrade
-$ brew cleanup
-}}}