The latest version of hol is 1.4-0.
bench:hol-profile
Dependencies
- base lib:base >=4.0 && <5.0
- bytestring lib:bytestring >=0.9 && <0.10
- containers lib:containers >=0.5 && <0.6
- filepath lib:filepath >=1.3 && <1.4
- parsec lib:parsec >=3.1 && <3.2
- pretty lib:pretty >=1.1 && <1.2
- process lib:process >=1.2 && <1.3
- text lib:text >=0.11 && <0.12
- transformers lib:transformers >=0.3 && <0.4
Reverse dependencies
None.