4 Commits

Author	SHA1	Message	Date
Jerry James	c71598703a	Version 2.3. Drop upstreamed -pervasives patch.	2021-02-20 21:42:39 -07:00
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
Andy Li	6b0115b8c2	update to 2.1	2019-10-30 15:28:22 +08:00
Andy Li	b93730c489	initial import (#1533731)	2018-01-17 09:34:59 +08:00