Michael Raitza 32fa0d93b3 x plane: Add ortho4XP scenery update script to x-plane-env		2022-06-09 18:00:44 +02:00
carl	Initial commit	2020-10-18 14:27:19 +02:00
factor-lang	factor-lang: Remove unused patches	2021-05-10 12:58:43 +02:00
googletest	Initial commit	2020-10-18 14:27:19 +02:00
goredo	goredo: 1.14.0 -> 1.17.0	2021-10-22 16:52:56 +02:00
l3pp	Initial commit	2020-10-18 14:27:19 +02:00
ledger-tools	update ledger tools	2020-12-01 23:13:21 +01:00
mathsat	Initial commit	2020-10-18 14:27:19 +02:00
pdfchain	Initial commit	2020-10-18 14:27:19 +02:00
storm-checker	Initial commit	2020-10-18 14:27:19 +02:00
x-plane	x plane: Add ortho4XP scenery update script to x-plane-env	2022-06-09 18:00:44 +02:00
z3	Initial commit	2020-10-18 14:27:19 +02:00
default.nix	x-plane updates	2022-06-08 14:08:35 +02:00
flake.lock	x-plane updates	2022-06-08 14:08:35 +02:00
flake.nix	x-plane updates	2022-06-08 14:08:35 +02:00
foxit-src-extractor-env.nix	Initial commit	2020-10-18 14:27:19 +02:00
foxitreader.nix	Initial commit	2020-10-18 14:27:19 +02:00
lp_solve_java.nix	Add prism model checker	2020-12-07 23:10:33 +01:00
ortho4xp.nix	x-plane updates	2022-06-08 14:08:35 +02:00
pharo.nix	Initial commit	2020-10-18 14:27:19 +02:00
prism.nix	Add prism model checker	2020-12-07 23:10:33 +01:00
qtinstaller.nix	Initial commit	2020-10-18 14:27:19 +02:00
tea.nix	tea: Fix derivation	2021-01-03 13:22:39 +01:00
xplane.nix	Initial commit	2020-10-18 14:27:19 +02:00