5 Commits

Author	SHA1	Message	Date
Jerry James	e66368bcbb	Version 1.5.3.	2021-08-11 10:18:53 -06:00
Jerry James	3dc21764eb	Version 1.5.2.	2020-12-02 08:31:44 -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