|
test-sources
|
plugins/coq-thirdparty: init + tests (#282)
|
2023-03-22 15:00:50 +01:00 |
|
default.nix
|
tests/plugins: refactor (#235)
|
2023-03-22 07:42:02 +01:00 |
|
fetch-tests.nix
|
tests/plugins: refactor (#235)
|
2023-03-22 07:42:02 +01:00 |
|
test-derivation.nix
|
tests/plugins: refactor (#235)
|
2023-03-22 07:42:02 +01:00 |
