You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Michael Raitza 32fa0d93b3 x plane: Add ortho4XP scenery update script to x-plane-env 2 weeks ago
carl Initial commit 2 years ago
factor-lang factor-lang: Remove unused patches 1 year ago
googletest Initial commit 2 years ago
goredo goredo: 1.14.0 -> 1.17.0 8 months ago
l3pp Initial commit 2 years ago
ledger-tools update ledger tools 2 years ago
mathsat Initial commit 2 years ago
pdfchain Initial commit 2 years ago
storm-checker Initial commit 2 years ago
x-plane x plane: Add ortho4XP scenery update script to x-plane-env 2 weeks ago
z3 Initial commit 2 years ago
default.nix x-plane updates 3 weeks ago
flake.lock x-plane updates 3 weeks ago
flake.nix x-plane updates 3 weeks ago
foxit-src-extractor-env.nix Initial commit 2 years ago
foxitreader.nix Initial commit 2 years ago
lp_solve_java.nix Add prism model checker 2 years ago
ortho4xp.nix x-plane updates 3 weeks ago
pharo.nix Initial commit 2 years ago
prism.nix Add prism model checker 2 years ago
qtinstaller.nix Initial commit 2 years ago
tea.nix tea: Fix derivation 1 year ago
xplane.nix Initial commit 2 years ago