|
585836fdfa
|
Move sotest-producer sources URL
|
2020-04-04 14:25:32 +05:30 |
|
|
437365e059
|
sotest-producer: 0.1.3 -> 0.2.0
|
2020-03-31 23:10:32 +05:30 |
|
|
a61c3532e8
|
Build more packages using upstream build system
- Implement support for "ports"
- Update Nixpkgs to use Genode 20.02
- Remove packaging of forked Genode
|
2020-03-02 19:17:14 +01:00 |
|
|
8be4745bd5
|
Update Sotest-producer
This fixes the test count in test logs.
|
2020-01-24 14:46:51 +01:00 |
|
|
1ecc11d078
|
Add sotest-producer package
|
2020-01-22 13:03:31 +01:00 |
|