Skip to content

Instantly share code, notes, and snippets.

@GrahamcOfBorg
Created August 6, 2022 05:46
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save GrahamcOfBorg/3686d486b81493f8c44e4d27bb3a00f5 to your computer and use it in GitHub Desktop.
Save GrahamcOfBorg/3686d486b81493f8c44e4d27bb3a00f5 to your computer and use it in GitHub Desktop.
aarch64-linux agdaPackages.functional-linear-algebra
aarch64-linux lbdb
x86_64-linux aerc
x86_64-linux emacs-nox
aarch64-darwin notmuch
aarch64-linux rtags
aarch64-darwin cscope
x86_64-darwin agdaPackages.cubical
x86_64-darwin easycrypt
aarch64-linux afew
aarch64-darwin agdaPackages.agda-categories
aarch64-linux haskellPackages.notmuch
x86_64-linux lbdb
aarch64-darwin framac
aarch64-linux python39Packages.notmuch2
x86_64-darwin emacs
aarch64-darwin emacsMacport
aarch64-darwin python39Packages.notifymuch
aarch64-darwin emacs28-nox
x86_64-linux cask
aarch64-darwin python310Packages.notmuch2
aarch64-linux agdaPackages.agdarsec
aarch64-linux emacs28
x86_64-darwin emacs-nox
x86_64-linux tests.nixos-functions.nixos-test
x86_64-darwin cscope
x86_64-darwin python39Packages.notmuch
x86_64-linux gcl
x86_64-linux cscope
x86_64-linux haskellPackages.Agda
x86_64-linux rtags
x86_64-darwin agdaPackages.agda-prelude
x86_64-linux agdaPackages.agda-categories
aarch64-darwin python39Packages.notmuch2
aarch64-darwin agdaPackages.cubical
aarch64-linux cask
aarch64-linux easycrypt
aarch64-darwin agdaPackages.agdarsec
aarch64-linux tuntox
aarch64-darwin easycrypt
x86_64-linux pycflow2dot
aarch64-darwin agdaPackages.agda-prelude
aarch64-linux gcl_2_6_13_pre
x86_64-darwin python39Packages.pycflow2dot
aarch64-linux idutils
x86_64-darwin neomutt
x86_64-linux nixos-install-tools
aarch64-darwin python39Packages.notmuch
x86_64-linux python39Packages.notifymuch
x86_64-darwin emacsMacport
x86_64-linux notmuch-addrlookup
aarch64-darwin python310Packages.pycflow2dot
x86_64-linux python310Packages.pycflow2dot
x86_64-linux mu
x86_64-darwin python39Packages.notifymuch
aarch64-darwin python39Packages.pycflow2dot
aarch64-darwin muchsync
x86_64-darwin agdaPackages.agda-categories
aarch64-linux agdaPackages.standard-library
x86_64-linux gcl_2_6_13_pre
aarch64-linux pycflow2dot
aarch64-darwin haskellPackages.blagda
aarch64-linux alot
aarch64-darwin auctex
x86_64-darwin lieer
aarch64-linux python39Packages.pycflow2dot
aarch64-linux meli
aarch64-linux mu
x86_64-linux idutils
aarch64-darwin lbdb
aarch64-linux supercollider_scel
x86_64-darwin mujmap
aarch64-linux cflow
aarch64-linux python310Packages.notifymuch
x86_64-darwin why3
aarch64-linux nixos-install-tools
x86_64-darwin agdaPackages.standard-library
x86_64-darwin framac
x86_64-linux python310Packages.notifymuch
x86_64-linux python39Packages.notmuch
aarch64-linux agdaPackages.agda-prelude
aarch64-linux emacs28-nox
aarch64-darwin aerc
x86_64-darwin python39Packages.notmuch2
aarch64-darwin cflow
aarch64-linux neomutt
aarch64-linux lieer
x86_64-darwin python310Packages.pycflow2dot
aarch64-linux notmuch-addrlookup
x86_64-linux mozart2
x86_64-darwin python310Packages.notmuch2
aarch64-darwin pycflow2dot
x86_64-linux agdaPackages.functional-linear-algebra
x86_64-linux astroid
x86_64-linux haskellPackages.notmuch
x86_64-darwin notmuch-addrlookup
aarch64-darwin agdaPackages.standard-library
x86_64-darwin agdaPackages.agdarsec
x86_64-linux agdaPackages.agdarsec
x86_64-darwin auctex
aarch64-darwin rtags
x86_64-linux agdaPackages.agda-prelude
x86_64-linux python39Packages.pycflow2dot
aarch64-darwin mujmap
aarch64-linux mujmap
x86_64-linux emacs28
x86_64-darwin haskellPackages.blagda
aarch64-linux python39Packages.notifymuch
x86_64-darwin python310Packages.notifymuch
x86_64-linux tuntox
aarch64-darwin agdaPackages.functional-linear-algebra
x86_64-linux emacs
x86_64-darwin cask
aarch64-darwin why3
aarch64-linux gcl
x86_64-darwin notmuch
x86_64-linux haskellPackages.blagda
x86_64-darwin pycflow2dot
x86_64-darwin rtags
aarch64-linux python39Packages.notmuch
aarch64-darwin mu
x86_64-darwin tuntox
aarch64-darwin afew
aarch64-linux notmuch
aarch64-darwin haskellPackages.notmuch
x86_64-linux lieer
aarch64-darwin notmuch-addrlookup
x86_64-darwin emacs28-nox
aarch64-darwin emacs28
x86_64-darwin haskellPackages.Agda
x86_64-linux alot
x86_64-linux afew
aarch64-linux aerc
x86_64-darwin lbdb
x86_64-darwin mu
aarch64-linux framac
x86_64-linux supercollider_scel
x86_64-linux python39Packages.notmuch2
x86_64-linux neomutt
x86_64-linux why3
aarch64-linux why3
aarch64-linux agdaPackages.cubical
aarch64-darwin neomutt
aarch64-darwin haskellPackages.Agda
x86_64-linux framac
x86_64-darwin agdaPackages.functional-linear-algebra
x86_64-darwin afew
aarch64-darwin tuntox
aarch64-linux cscope
x86_64-darwin cflow
x86_64-linux agdaPackages.agda
x86_64-linux python310Packages.notmuch2
aarch64-darwin emacs
aarch64-linux emacs-nox
x86_64-linux meli
aarch64-darwin python310Packages.notifymuch
aarch64-linux python310Packages.pycflow2dot
x86_64-linux muchsync
x86_64-darwin emacs28
x86_64-linux agda
aarch64-linux agdaPackages.agda-categories
x86_64-linux notmuch
x86_64-linux emacs28-nox
x86_64-linux agdaPackages.cubical
aarch64-darwin lieer
aarch64-linux haskellPackages.blagda
aarch64-linux astroid
x86_64-linux easycrypt
aarch64-darwin cask
x86_64-linux python310Packages.notmuch
x86_64-linux mujmap
aarch64-darwin python310Packages.notmuch
x86_64-linux i3status-rust
aarch64-linux auctex
aarch64-linux haskellPackages.Agda
x86_64-darwin aerc
aarch64-linux python310Packages.notmuch2
aarch64-linux muchsync
aarch64-linux i3status-rust
aarch64-darwin emacs-nox
x86_64-darwin python310Packages.notmuch
aarch64-linux emacs
x86_64-linux cflow
x86_64-darwin haskellPackages.notmuch
x86_64-darwin muchsync
x86_64-linux agdaPackages.standard-library
aarch64-linux python310Packages.notmuch
x86_64-linux auctex
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment