spacefrogg
/
spacefrogg-overlay
1
0
Fork 0
Code Pull Requests Releases Activity
12 Commits
1 Branch
0 Tags
174 KiB
Nix 96.5%
Shell 3%
CMake 0.5%
 
 
 
Go to file
Michael Raitza 5909bb456a toliss-A321: 1.1 -> 1.2 2021-01-03 12:32:02 +01:00
carl Initial commit 2020-10-18 14:27:19 +02:00
factor-lang factor-lang: Update derivation and build with clang 2020-12-06 18:03:38 +01:00
googletest Initial commit 2020-10-18 14:27:19 +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 toliss-A321: 1.1 -> 1.2 2021-01-03 12:32:02 +01:00
z3 Initial commit 2020-10-18 14:27:19 +02:00
default.nix tea: Init at 0.6.0 2020-12-18 21:54:32 +01:00
flake.nix Make this an overlay flake 2020-12-06 13:09:02 +01: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
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: Init at 0.6.0 2020-12-18 21:54:32 +01:00
xplane.nix Initial commit 2020-10-18 14:27:19 +02:00