The latest version of Proper is 0.5.2.0-0.
lib:Proper
Modules
Dependencies
- base lib:base >=4.5 && <4.6
- containers lib:containers >=0
Reverse dependencies
Direct only. Not exhaustive.
- FirstOrderTheory lib:FirstOrderTheory
- acme-everything lib:acme-everything