|
carl
|
Initial commit
|
2020-10-18 14:27:19 +02:00 |
|
factor-lang
|
factor-lang: Remove unused patches
|
2021-05-10 12:58:43 +02:00 |
|
googletest
|
Initial commit
|
2020-10-18 14:27:19 +02:00 |
|
goredo
|
goredo: 1.14.0 -> 1.17.0
|
2021-10-22 16:52:56 +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: init ortho4XPWrapper
|
2022-06-12 20:03:18 +02:00 |
|
z3
|
Initial commit
|
2020-10-18 14:27:19 +02:00 |
|
default.nix
|
x-plane: init ortho4XPWrapper
|
2022-06-12 20:03:18 +02:00 |
|
flake.lock
|
x-plane updates
|
2022-06-08 14:08:35 +02:00 |
|
flake.nix
|
x-plane updates
|
2022-06-08 14:08:35 +02: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 |
|
ortho4xp.nix
|
x-plane updates
|
2022-06-08 14:08:35 +02: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: Fix derivation
|
2021-01-03 13:22:39 +01:00 |
|
xplane.nix
|
Initial commit
|
2020-10-18 14:27:19 +02:00 |
Michael Raitza
7fe59dee18