Commit Graph

1 Commits

Author SHA1 Message Date
Jerry James
281c774afd Version 2.2
- Add -pervasives and -no-curl patches
- Use local Unicode tables instead of downloading
- Build documentation with odoc
- Add a %check script
2020-12-08 14:39:00 -07:00