carl
|
Initial commit
|
2020-10-18 14:27:19 +02: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
|
x-plane fix plugins; add toLissA321
|
2020-12-01 23:13:30 +01:00 |
z3
|
Initial commit
|
2020-10-18 14:27:19 +02:00 |
default.nix
|
Make this an overlay flake
|
2020-12-06 13:09:02 +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 |
pharo.nix
|
Initial commit
|
2020-10-18 14:27:19 +02:00 |
qtinstaller.nix
|
Initial commit
|
2020-10-18 14:27:19 +02:00 |
xplane.nix
|
Initial commit
|
2020-10-18 14:27:19 +02:00 |