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.
|
2 weeks ago | |
---|---|---|
carl | 2 years ago | |
factor-lang | 2 years ago | |
googletest | 2 years ago | |
goredo | 1 year ago | |
l3pp | 2 years ago | |
ledger-tools | 2 years ago | |
mathsat | 2 years ago | |
pdfchain | 2 years ago | |
storm-checker | 2 years ago | |
x-plane | 2 weeks ago | |
z3 | 2 years ago | |
default.nix | 3 months ago | |
flake.lock | 6 months ago | |
flake.nix | 10 months ago | |
foxit-src-extractor-env.nix | 2 years ago | |
foxitreader.nix | 2 years ago | |
lp_solve_java.nix | 2 years ago | |
ortho4xp.nix | 10 months ago | |
pharo.nix | 2 years ago | |
prism.nix | 2 years ago | |
qtinstaller.nix | 2 years ago | |
tea.nix | 2 years ago |