The latest version of eq is 4.3-1.
lib:eq
Modules
Dependencies
- base lib:base (<4.6 || >=4.7) && >=4 && <5
- groupoids lib:groupoids >=3.0 && <3.1
- semigroupoids lib:semigroupoids >=3.0 && <3.1
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- syb-extras lib:syb-extras