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