The latest version of aern2-real is 0.2.16.1-0.
exe:aern2-generate-netlog-elm
Dependencies
- aern2-mp lib:aern2-mp >=0.1 && <0.2
- aern2-real lib:aern2-real >=0
- base lib:base >=4 && <5
- elm-bridge lib:elm-bridge >=0.3 && <0.5
- mixed-types-num lib:mixed-types-num >=0.3.1 && <0.4
Reverse dependencies
None.