24 Commits (master)
 

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