4 Commits

Author	SHA1	Message	Date
Jerry James	eddf62309e	Version 1.5.2.	2020-12-02 10:04:23 -07:00
Jerry James	1db73ee5d5	Version 1.5.1. Drop upstreamed odoc-1.5.0-ocaml411.patch.	2020-08-05 11:02:25 -06:00
Jerry James	267f0f58aa	Version 1.5.0. Drop all patches.	2020-02-07 15:30:49 -07:00
Jerry James	c147e33c80	Initial import.	2020-01-14 09:17:20 -07:00