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 0c87b9bcbb goredo: 1.14.0 -> 1.17.0 6 days ago
carl Initial commit 1 year ago
factor-lang factor-lang: Remove unused patches 6 months ago
googletest Initial commit 1 year ago
goredo goredo: 1.14.0 -> 1.17.0 6 days ago
l3pp Initial commit 1 year ago
ledger-tools update ledger tools 11 months ago
mathsat Initial commit 1 year ago
pdfchain Initial commit 1 year ago
storm-checker Initial commit 1 year ago
x-plane toliss-A321: 1.1 -> 1.2 10 months ago
z3 Initial commit 1 year ago
default.nix goredo: Init at 0.12.3 9 months ago
flake.lock flake.lock: Update nixpkgs to 21.05 4 months ago
flake.nix Also provide packages directly for added convenience 10 months ago
foxit-src-extractor-env.nix Initial commit 1 year ago
foxitreader.nix Initial commit 1 year ago
lp_solve_java.nix Add prism model checker 11 months ago
pharo.nix Initial commit 1 year ago
prism.nix Add prism model checker 11 months ago
qtinstaller.nix Initial commit 1 year ago
tea.nix tea: Fix derivation 10 months ago
xplane.nix Initial commit 1 year ago