Commit Graph

24 Commits

Author SHA1 Message Date
Jerry James 32d989760c Version 2.8.2. 2021-01-21 16:22:45 -07:00
Jerry James 36bff69e46 Version 2.8.1. 2021-01-14 20:31:36 -07:00
Jerry James 6e96dffe9b Version 2.8.0. Drop upstreamed patch from pull request 3757. 2021-01-13 15:40:32 -07:00
Jerry James 33574a9cc8 Version 2.7.1.
- Csexp is no longer vendored in.
- Drop upstreamed patches for issue 3736 and pull request 3739.
- Fix configuration with patch from pull request 3757.
2020-09-14 15:07:32 -06:00
Jerry James ce5c02c2a0 Version 2.7.0. Drop upstreamed patch for issue 3671. 2020-08-14 13:45:23 -06:00
Jerry James 80e921d901 New version 2.6.2. 2020-08-03 15:49:44 -06:00
Jerry James 3c27d8efa9 New version 2.6.1. 2020-07-02 16:46:41 -06:00
Jerry James 1a90f14efc New version 2.6.0. 2020-06-06 15:56:09 -06:00
Jerry James 672b2ed9cd New version 2.5.1. 2020-04-19 21:52:43 -06:00
Jerry James 308383c7bd Version 2.5.0 2020-04-10 10:37:25 -06:00
Jerry James 134b5e568d New version 2.4.0.
Add bootstrap conditional for builds without ocaml-menhir.
2020-03-06 11:01:02 -07:00
Jerry James 384b7e5c5e New version 2.3.1 (bz 1805578). 2020-02-20 20:56:10 -07:00
Jerry James acad1c2836 New version 2.3.0 (bz 1803374). 2020-02-17 21:30:57 -07:00
Jerry James 0fa0d4878c New version 2.2.0 (bz 1742638) 2020-02-07 10:27:36 -07:00
Ben Rosser 849682db3e Update to latest upstream release, 2.1.2. 2020-01-10 15:56:54 -05:00
Ben Rosser 358fca60b3 Update sources file; upload dune 2.1.0. 2020-01-10 15:28:35 -05:00
Richard W.M. Jones 5b72f4d47a New version 1.11.0 (also required for camomile 1.0.2). 2019-08-08 16:21:06 +01:00
Andy Li 391b15504a Updated to latest upstream release (#1715394). 2019-06-16 01:47:57 +08:00
Andy Li d1b193a3a8 add source 2019-05-16 16:55:03 +08:00
Andy Li 0afa631907 update to 1.9.1 2019-04-11 18:43:28 +08:00
Andy Li 6a5a36b0b3 Update to 1.9.0. 2019-04-10 11:57:51 +08:00
Andy Li a1a02d530f Updated to latest upstream release (#1686836). 2019-03-13 02:37:43 +08:00
Andy Li b2bdbf6204 Updated to latest upstream release (#1686466). 2019-03-08 11:35:20 +08:00
Andy Li dc7b2e57aa Initial import. 2019-03-05 09:52:44 +08:00