CHANGES (p.gpr.1.3.1.doc.CHANGES)

Up – Package index » gpr » CHANGES

1.3.1 (2017-08-05)

Fixed incorrect threads dependency in OPAM package

1.3.0 (2017-07-30)

gpr
- CHANGES
- LICENSE
- README
- Library gpr
  - Gpr
- Sources

1.3.0 (2017-07-30)

Switched to jbuilder and topkg