23 Commits (master)
 

Author SHA1 Message Date
Michael Raitza fcceae4016 goredo: 1.13.0 -> 1.14.0 2 days ago
Michael Raitza fa01f05a1e goredo: 1.8.0 -> 1.13.0 3 days ago
Michael Raitza 8ccda5592c goredo: 1.4.1 -> 1.8.0 3 months ago
Michael Raitza b6fac8ec10 flake.lock: Update nixpkgs to 21.05 3 months ago
Michael Raitza 713abfa764 goredo: Add checkPhase 4 months ago
Michael Raitza 8f1dfb16f4 factor-lang: Remove unused patches 4 months ago
Michael Raitza d8c58b12e5 goredo: Use pre-packaged tarball and buildGoModule; update to 1.4.1 4 months ago
Michael Raitza f9f817e189 goredo: 0.12.3 -> 1.0.0 8 months ago
Michael Raitza 744471cd3b goredo: Init at 0.12.3 8 months ago
Michael Raitza 350afd8736 Also provide packages directly for added convenience 9 months ago
Michael Raitza 27d1bc7852 tea: Fix derivation 9 months ago
Michael Raitza 5909bb456a toliss-A321: 1.1 -> 1.2 9 months ago
Michael Raitza 86fc7ba89a tea: Init at 0.6.0 9 months ago
Michael Raitza 2d3bfa5832 Add prism model checker 9 months ago
Michael Raitza d579a46c16 factor-lang: Update derivation and build with clang 10 months ago
Michael Raitza d5adb9f392 Add factor-lang from pdconfig 10 months ago
Michael Raitza 56a686a071 Fix overlay definition 10 months ago
Michael Raitza 8f92d6eb5b Make this an overlay flake 10 months ago
Michael Raitza a7479419d3 Remove outdated stuff 10 months ago
Michael Raitza 8363410b8b x-plane fix plugins; add toLissA321 10 months ago
Michael Raitza 4104ab089b update ledger tools 10 months ago
Michael Raitza 5569cb32d4 Add x-plane-env derivation and addons 11 months ago
Michael Raitza c43b10825b Initial commit 11 months ago