subprocess4>=0.1.1

[all]
resource
coq-tools[test]

[test]
resource
pytest
pytest-doctestplus
