Commit Graph

18 Commits (master)

Author SHA1 Message Date
Michael Raitza 9d875224a7 xplane-12: Add X-World Asia Scenery 2022-12-21 21:19:43 +01:00
Michael Raitza 64a92fe1b6 X-Plane addon: Add X-World Europe 2022-10-09 17:40:33 +02:00
Michael Raitza dc8c79519a X-Plane addon: Add X-World Vegetation library 2022-10-09 14:03:04 +02:00
Michael Raitza d353c2b134 generalise x-plane-env wrapper and init xPlane12Env
Drop unused old xplane.nix build script
2022-10-02 19:02:44 +02:00
Michael Raitza 7fe59dee18 x-plane: init ortho4XPWrapper 2022-06-12 20:03:18 +02:00
Michael Raitza 04b4442abb x-plane updates 2022-06-08 14:08:35 +02:00
Michael Raitza 744471cd3b goredo: Init at 0.12.3
Implementation of DJB redo in Go
2021-01-17 19:33:22 +01:00
Michael Raitza 86fc7ba89a tea: Init at 0.6.0 2020-12-18 21:54:32 +01:00
Michael Raitza 2d3bfa5832 Add prism model checker 2020-12-07 23:10:33 +01:00
Michael Raitza d579a46c16 factor-lang: Update derivation and build with clang 2020-12-06 18:03:38 +01:00
Michael Raitza d5adb9f392 Add factor-lang from pdconfig 2020-12-06 13:31:05 +01:00
Michael Raitza 56a686a071 Fix overlay definition 2020-12-06 13:30:10 +01:00
Michael Raitza 8f92d6eb5b Make this an overlay flake 2020-12-06 13:09:02 +01:00
Michael Raitza a7479419d3 Remove outdated stuff 2020-12-06 13:01:43 +01:00
Michael Raitza 8363410b8b x-plane fix plugins; add toLissA321 2020-12-01 23:13:30 +01:00
Michael Raitza 4104ab089b update ledger tools 2020-12-01 23:13:21 +01:00
Michael Raitza 5569cb32d4 Add x-plane-env derivation and addons 2020-12-01 23:13:00 +01:00
Michael Raitza c43b10825b Initial commit 2020-10-18 14:27:19 +02:00